Explore >> Select a destination

You are here

 richardzach.org
Epsilon theorems in intermediate logics - Richard Zach
| | openlogicproject.org
Many-valued logic in the OLP - Open Logic Project
10.5 parsecs away

Travel
| | We have four new chapters in the OLP. They contain draft material on many-valued logics. The Introduction explains their syntax and semantics in general terms. A chapter on three-valued logics disc...
| | www.logicmatters.net
On de Swart's Philosophical and Mathematical Logic - Logic Matters
11.9 parsecs away

Travel
| | I have mixed feelings about Harrie de Swart's Philosophical and Mathematical Logic (Springer, 2018). For this long book really is a strange mish-mash, supposedly aimed at philosophers. There are chapters (not very good) on e.g. the philosophy of language and "fallacies and unfair discussion methods", and e.g. a section on social choice theory. Then there [...]
| | www.brainific.com
Brainific present at CoG 2019 - Brainific
11.3 parsecs away

Travel
| |
| | unstableontology.com
Dequantifying first-order theories - Unstable Ontology
76.3 parsecs away

Travel
| (note: one may find the embedded LaTeX more readable on LessWrong) The Löwenheim-Skolem theorem implies, among other things, that any first-order theory whose symbols are countable, and which has an infinite model, has a countably infinite model. This means that, in attempting to refer to uncountably infinite structures (such as in set theory), one "may...