Blogs about: Philosophical Logic
Featured Blog
Rigid Designation
Imagine the following set up. There are two tribes, A and B, who up until now have never met. It turns out that tribe A speaks English as we speak it now. However, tribe B speaks English* – a la… more →
Possibly Philosophy
Truth as an operator and as a predicate
— 3 comments
Andrew wrote 1 month ago: Suppose we add to the propositional calculus a new unary operator, T, whose truth table is just the … more →
Rigid Designation
— 5 comments
Andrew wrote 1 month ago: Imagine the following set up. There are two tribes, A and B, who up until now have never met. It tur … more →
Precisifications
Andrew wrote 3 months ago: I’ve been wondering just how much content there is to the claim that vagueness is truth on som … more →
Truth Functionality
— 6 comments
Andrew wrote 7 months ago: I’ve been thinking a lot about giving intended models to non-classical logics recently, and th … more →
Field on Restall's Paradox
— 6 comments
Andrew wrote 7 months ago: I’ve been casually reading Field’s “Saving Truth from Paradox” for some time … more →
Cardinality and the intuitive notion of size
— 1 comment
Andrew wrote 11 months ago: According to mathematicians two sets have the same size iff they can be put in one-one correspondenc … more →
The Sorites paradox and non-standard models of arithmetic
— 7 comments
Andrew wrote 11 months ago: A standard Sorites paradox might run as follows: 1 is small. For every n, if n is small then n+1 is … more →
Composition as identity, part II
— 3 comments
Andrew wrote 12 months ago: Aside from Leibniz’s law, there are various other constraints identity must obey. For example, … more →
Indeterminacy and knowledge
— 12 comments
Andrew wrote 1 year ago: What do people think of this principle: determinate implication preserves indeterminacy? Formally1: … more →
Is second order logic really first order?
Andrew wrote 1 year ago: Nowadays, I guess, a lot more people are sympathetic to the idea that second order logic is real log … more →
When do two objects touch?
— 28 comments
Andrew wrote 1 year ago: I’ve been reading through Casati and Varzi’s “Parts and Places” recently. It … more →
Is the axiom of choice a logical truth?
— 3 comments
Andrew wrote 1 year ago: I actually think there are a bunch of related statements which we might think of as expressing choic … more →
Which things occupy the set role?
— 7 comments
Andrew wrote 1 year ago: Question: out of everything there is, which of those things are sets? A standard (platonist) answer … more →
A question about modal logic
Andrew wrote 1 year ago: Say that a class of Kripke frames, , is compact just in case, for every set of propositional modal f … more →
Higher Order Vagueness and Sharp Boundaries
— 4 comments
Andrew wrote 1 year ago: One of the driving intuitions that motivates the rejection of bivalence, in the context of vagueness … more →
XKCD on Gödel...
— 3 comments
Andrew wrote 1 year ago: They eventually resolved this self-reference, but Cantor's 'everything-in-the-fetish-book-tw … more →
Counterexamples to Modus Ponens?
— 10 comments
Andrew wrote 1 year ago: Moritz has a very interesting post on McGee’s counterexample to modus ponens. One thing that c … more →
The Paradox of Rational Believability
— 6 comments
Andrew wrote 1 year ago: A while back I considered a weakening of Fitch’s paradox for knowability, to true belief inste … more →
Logic for Philosophy
— 6 comments
Andrew wrote 1 year ago: I’ve just stumbled across this this very promising draft book from Ted Sider. I was reading th … more →
