PhilosophyIdeas
.com Database |
Current Total Ideas:
22,149
|
home
|
back
Combining Texts
Ideas for 'fragments/reports', 'On the Basis of Morality' 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
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]