Philosophical Logic

Philosophy Talk 126d 1 tweets

Think about the art you’ve enjoyed in your life: the novels, the television, the music, the poetry, the sculpture, the paintings—the list goes on. Now try to imagine a scenario in which none of this art had ever been made. What would we lose in a...

2

saattrupdan/phd

GitHub 126d 1 tweets

My PhD thesis. Contribute to saattrupdan/phd development by creating an account on GitHub.

5

Open Positions – Milano Logic Group

Filosofia.unimi.it 244d 3 tweets

2

The chromatic number of the plane is at least 5 -- a human-verifiable proof

arXiv.org 127d 1 tweets

We present a new proof of the known fact that the chromatic number of the plane is at least 5. The main difference of this proof is that it can be verified manually without the help of the computer.

4

The Modal Logic of Potential Infinity: Branching Versus Convergent Possibilities

Erkenntnis 194d 2 tweets

Modal logic provides an elegant way to understand the notion of potential infinity. This raises the question of what the right modal logic is for reasoning about potential infinity. In this article I identify a choice point in determining the right...

6

In a striking move, State Department plans to label 3 large human rights groups as anti-Semitic - Jewish Telegraphic Agency

Jewish Telegraphic Agency 128d 3 tweets

A State Department statement will claim that Human Rights Watch, Amnesty International and Oxfam back the boycott Israel movement. The groups deny the claims.

Philosophical Logic Now is a good time to reaffirm anti-zionism. Support BDS and continue to fight for a Free Palestine! 🇵🇸 127d

2

Essential vs. Accidental Properties (Stanford Encyclopedia of Philosophy)

Plato.stanford.edu 127d 2 tweets

Philosophical Logic "Essential vs. Accidental Properties", revised entry at the #SEP. 127d

2

What is first-order logic with Dedekind-finite sets of variables?

MathOverflow 127d 1 tweets

The usual set up of first-order logic is with an infinite reservoir of variables which we can use in formulas. This is one of the annoying reasons why we need to put $\aleph_0$ into the cardinal

2

Publication: “A Case Study in Formalizing Contingent a priori Claims”

Landon D. C. Elkind - Landon D. C. Elkind 127d 1 tweets

Good news, everyone: an article has been published in Res Philosophica! The abstract is below: “A Case Study in Formalizing Contingent a priori Claims” Some philosophers, like Kripke, W…

2

Baire property and Axiom of Choice

arXiv.org 586d 1 tweets

We show that (1) If ZF is consistent then the following theory is consistent "ZF + DC(omega_{1}) + Every set of reals has Baire property" and (2) If ZF is consistent then the following theory is consistent "ZFC + `every projective set of reals...

3

Between system-loyal vigilantism and system-oppositional violence

Threewayfight.blogspot.com 128d 1 tweets

Guest post by Devin Zane Shaw Editor's note: Devin Zane Shaw argues here that Donald Trump’s attempt to mobilize far right vigilantism migh...

3

Mathematical Intuitionism

Cambridge Core 128d 1 tweets

Cambridge Core - Philosophy of Science - Mathematical Intuitionism

2

A new proof of the Barwise extension theorem, and the universal finite sequence, Barcelona Set Theory Seminar, 28 October 2020

Joel David Hamkins 128d 2 tweets

This will be a talk for the Barcelona Set Theory Seminar, 28 October 2020 4 pm CEST (3 pm UK). Contact Joan Bagaria [email protected] for the access link. Abstract. The Barwise extension theorem, asse…

2

What Does Kamala Harris Mean to South Asian Voters?

Bitch Media 130d 1 tweets

Having roots in Black America and India doesn’t necessarily translate to a progressive record.

1

On the Failures of Nonsense-Policing and Ordinary Language Philosophy

Sprachlogik.blogspot.com 129d 1 tweets

In this post I reflect on the failures of nonsense-policing and ordinary language philosophy, and the fact that notwithstanding these failur...

1

Philosophical Logic “On the Failures of Nonsense-Policing and Ordinary Language Philosophy”, at Sprachlogik. 129d

9

A New Map of All the Particles and Forces

Quanta Magazine 131d 6 tweets

We’ve created a new way to explore the fundamental constituents of the universe.

1

Philosophical Logic “A New Map of All the Particles and Forces”, at Quanta. 129d

1

Revisiting the Continuum Hypothesis

Blog.computationalcomplexity.org 129d 1 tweets

I have been thinking about CH lately for two reasons 1) I reread the article Hilbert's First Problem: The Continuum Hypothesis by Donald Mar...

1

Philosophical Logic “Revisiting the Continuum Hypothesis”, at computational complexity. 129d

1

Hugh Woodin, Kurt Godel, Dwayne `The Rock' Johnson, Robert De Niro, David Frum, Tom Selleck: Do I care what they think? Should I?

Blog.computationalcomplexity.org 129d 1 tweets

MATH: My last post on CH mentioned that Hugh Woodin used to think NOT(CH) but now thinks CH. In both cases his reasons have some math con...

1

Philosophical Logic “Hugh Woodin, Kurt Godel, Dwayne `The Rock' Johnson, Robert De Niro, David Frum, Tom Selleck: Do I care what they think? Should I?” —at Computational Complexity. 129d

1

Liberalism and Fascism: Partners in Crime - CounterPunch.org

CounterPunch - CounterPunch.org 129d 1 tweets

Time and again we hear that liberalism is the last bulwark against fascism. It represents a defense of the rule of law and democracy in the face of aberrant, malevolent demagogues intent on destroying a perfectly good system for their own gain. This...

1

Philosophical Logic On the connection between liberalism and fascism. 129d

95

Charges: Boogaloo Bois fired on Minneapolis police precinct, shouted 'Justice for Floyd'

Star Tribune 130d 29 tweets

Feds say Ivan Harrison Hunter helped burn and loot the Third Precinct building as part of a coordinated attack from the far-right group trying to ignite an American civil war.