Combining Texts
Ideas for
'fragments/reports', 'Necessary Beings' and 'Primitive Thisness and Primitive Identity'
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
19297
|
The two Barcan principles are easily proved in fairly basic modal logic [Hale]
|
19301
|
With a negative free logic, we can dispense with the Barcan formulae [Hale]
|