more from this thinker     |     more from this text

Single Idea 13660

[filed under theme 5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic ]

Full Idea

Tharp (1975) suggested that compactness, semantic effectiveness, and the Löwenheim-Skolem properties are consequences of features one would want a logic to have.

Gist of Idea

Maybe compactness, semantic effectiveness, and the Löwenheim-Skolem properties are desirable

Source

Stewart Shapiro (Foundations without Foundationalism [1991], 6.5)

Book Ref

Shapiro,Stewart: 'Foundations without Foundationalism' [OUP 1991], p.159

A Reaction

I like this proposal, though Shapiro is strongly against. We keep extending our logic so that we can prove new things, but why should we assume that we can prove everything? That's just what Gödel suggests that we should give up on.

Related Ideas

Idea 13658 Downward Löwenheim-Skolem: each satisfiable countable set always has countable models [Shapiro]

Idea 13659 Upward Löwenheim-Skolem: each infinite model has infinite models of all sizes [Shapiro]

Idea 13661 A language is 'semantically effective' if its logical truths are recursively enumerable [Shapiro]

The 23 ideas with the same theme [logic where variables only refer to objects]:

22873 Liberalism should improve the system, and not just ameliorate it [Dewey]
21495 Theoretical and practical politics are both concerned with the best lives for individuals [Russell]
18956 Asserting first-order validity implicitly involves second-order reference to classes [Putnam]
10767 Elementary logic is complete, but cannot capture mathematics [Tharp]
13840 First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking]
13844 A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking]
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]
10478 Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
19315 In quantified language the components of complex sentences may not be sentences [Kirkham]
17788 First-order logic only has its main theorems because it is so weak [Mayberry]
13624 The 'triumph' of first-order logic may be related to logicism and the Hilbert programme, which failed [Shapiro]
13660 Maybe compactness, semantic effectiveness, and the Löwenheim-Skolem properties are desirable [Shapiro]
13662 First-order logic was an afterthought in the development of modern logic [Shapiro]
13673 The notion of finitude is actually built into first-order languages [Shapiro]
10588 First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro]
10897 A first-order 'sentence' is a formula with no free variables [Zalabardo]
10986 Not all validity is captured in first-order logic [Read]
13534 In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS]
13535 First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS]
20100 Classical liberalism seeks freedom of opinion, of private life, of expression, and of property [Micklethwait/Wooldridge]
21122 Liberal Nationalism says welfare states and democracy needed a shared sense of nationality [Shorten]
22609 Philosophers accepted first-order logic, because they took science to be descriptive, not explanatory [Ingthorsson]