PhilosophyIdeas
.com Database |
Current Total Ideas:
22,204
|
home
|
back
Combining Texts
Ideas for 'works', 'Necessary Beings' and 'The Structure of Empirical Knowledge'
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]