Questions tagged [logic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
2answers
67 views

When was compactness theorem for propositional logic first proven?

Compactness for first-order predicate logic was first proven as a corollary of (Gödel 1930). Does anyone know a reference for the first proof of the compactness of propositional logic? Some proofs ...
4
votes
0answers
76 views

Kreisel on “set” as a coherent idea

In his paper Two notes on the foundations of set-theory, Kreisel begins: Recall that, naively, sets present themselves in a number of distinct contexts. [...] One may therefore doubt whether any ...
9
votes
1answer
837 views

How many important logicians did NOT receive doctoral degrees?

I can think of three. Saul Kripke quite famously could only be begrudged to finish his undergraduate degree at Harvard before being hired as a full professor. Donald Martin (the set theorist of Martin'...
7
votes
1answer
229 views

Why is the existential quantifier symbol ∃ a backwards “E”?

Peano introduced a number of logical symbols still used today: $∨$ (from Latin vel) $∧$ (inverted $∨$) $∃$ This inversion of Latin letters as symbols (and inversion of symbols to signify their '...
4
votes
4answers
195 views

Where does the material implication come from, if not from George Boole?

I looked through both of George Boole's treatises (1 and 2), but there is nothing like implication as I have seen it, with $F \rightarrow F = T$ $F \rightarrow T = T$ $T \rightarrow F = F$ $T \...
1
vote
1answer
32 views

Where can I find sources for Gergonne's research on the fundamental relations among classes?

Alfred Tarski writes The whole of the old traditional logic...can almost entirely be reduced to the theory of the fundamental relations among classes, that is, to a small fragment of the entire ...
1
vote
1answer
85 views

Could someone explain Vives logical notation?

I'm doing a project on the history of George Boole and wanted some background on how notation has changed through the ages, however do not understand Vives logical notation. Wondering if someone could ...
6
votes
1answer
210 views

How did people realize they could do logic with electronics?

How did people realize they could do logic with electronics? Are there anecdotes of the first realizations? I'm wondering about the first "eureka" moments.
8
votes
2answers
484 views

How much did scholasticism contribute to logic and mathematics?

I occasionally encounter mentions suggesting that late middle ages weren't as barren intellectually as commonly believed. For example, Occam and Scotus are credited with developing modal and ...