Combining Texts
Ideas for
'Elements of Mind', 'Survival and Identity, with postscript' and 'Necessary Beings'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 ideas
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
19301
|
With a negative free logic, we can dispense with the Barcan formulae [Hale]
|
19297
|
The two Barcan principles are easily proved in fairly basic modal logic [Hale]
|