PhilosophyIdeas
.com Database |
Current Total Ideas:
22,126
|
home
|
back
Combining Texts
Ideas for 'Parmenides', 'works' and 'Foundations without Foundationalism'
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 / B. Logical Consequence / 4. Semantic Consequence |=
13626
Semantic consequence is ineffective in second-order logic
[Shapiro]
13637
If a logic is incomplete, its semantic consequence relation is not effective
[Shapiro]