Schlagwort: Logik

"Logics" are not logic.

We misunderstand logic if we think there are "logics" among which we could somehow choose. There is reasoning. Specific formal systems may or may not adequately capture aspects of correct reasoning. But there is no neutral place outside logic from which to decide what "logic" to adopt.

Allan Stairs rephrasing Kripke against Putnam

Innocent question.

What's your background?

$teacher

Confirmation is mere consistency.

I see no problem in saying that a white chair is confirming the rule that all swans are black.

Blackburn et al.

And there it is, a modal equivalent of the Lersch Dilemma.

Power Bisimulation.

The important property of a game is not how many decisions the different players can make during it, but rather which outcomes they can enforce.