進んでいこう

出典：フリー百科事典
論理的に可能な命題1つは、論理的な矛盾を与えることなく主張することができます。これがあれば世界のためにいくつかの一貫した方法では、下の命題を真であるとされている命題を論理的に可能であると言うことです。したがって、"空です"（および他のすべての実際には真の命題）論理的に可能である青：そこは、世界のための世界を実際にされているが、すなわち真であるような、方法がいくつかの論理的に首尾一貫した方法が存在します。しかし、世界のために、この"方法"になるには、世界が実際にされているようにする必要がないことだけを論理的に一貫性が求められる。ですから、例えば、偽の命題の空も、論理的に可能である限り、我々ができる緑のです（我々は実際のようだ）は、空、緑はいくつかの論理的に一貫した世界を想像する。哲学者の一般的様相論理の仮定法の可能性を広範なソートする論理的可能性を検討します。
論理的な可能性を仮定法の可能性を、他の種から区別される必要があります。たとえば、論理的には、宇宙の物理的な法律のため、実際に何か違うことができる可能性があります。場合は、その後多くのことを我々は、通常、考慮することであるが証明を論理的に可能なことは不可能に：たとえば、旅行が可能かもしれない速度よりも速い光やブラックホールから逃れることは不可能ではありません。多くの哲学者、そして、これらのシナリオを論理的に可能ですがnomologically不可能（不可能な自然の実際の法律の下）が開催している。
これらの命題は、論理的に不可能な命題、すなわち、可能性がある任意の宇宙でどのような状況の下に該当することができませんでした命題ので、正式な矛盾があると対比されます。ながら、それを論理的に空に緑色にすることが可能ですが、論理的に可能な正方形のためではない形で循環される[1]物理法則のいくつかの組み合わせも知られている矛盾の結果に。たとえば、特定の宇宙の物理法則の時間を介して、その後のエネルギー保存の法則は不変ですが宇宙で保持します。これは、数学的に証明することができますネーターの定理の帰結である。したがって、その物理法則は時間と宇宙の変化しないとは、エネルギーの保全は発生しません論理的には不可能です。
心の論理的可能性をこのような理解では、他の論理療法との観点で定義される可能性があります：のために、論理的に不可能はfalseにするためにそれは本当される場合は、論理的に不可能である場合は、論理的に不可能な命題論理が必要ですのためにはfalseにするためには、また、論理的に可能な事実である場合は、論理的に可能であり、論理的に臨時。