PhilosophyIdeas
.com Database |
Current Total Ideas:
22,126
|
home
|
back
Combining Texts
Ideas for 'works', 'Philosophy of Mathematics' and 'Two treatises'
expand these ideas
|
start again
| choose
another area
for these texts
display
all the ideas
for this combination of texts
2 ideas
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
18108
First-order logic is not decidable: there is no test of whether any formula is valid
[Bostock]
18109
The completeness of first-order logic implies its compactness
[Bostock]