Combining Texts
Ideas for
'Lectures on the History of Philosophy', 'Nature and Utility of Religion' 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]
|