現代の標準的な論理学では、「SはP、かつ、Sは非P」の場合、Sは存在しないとされます。Sが存在し記述が真の前提なら矛盾になりますが、仮説形成においては矛盾があれば仮説が却下されるだけで、「任意の命題が導出可能」にはなりません。 これが地の文でなく…