Papers

My Papers

Technical details:

My spreadsheets work on PC and Mac, to the best of my knowledge equally well with either MS Excel or Gnumeric software.
The latter is free software that can be downloaded here.
My spreadsheets work in special iteration mode, which has to be enabled.It is disabled by default to prevent circular references.
To enable iteration mode in Excel:
Tools - Options - Calculation - Calculation=manual, Iteration=ok, Maximum iterations=1
To enable iteration mode in Gnumeric:
Format - Workbook - Calculation, Recalculation=manual, Iteration=ok, maximum iterations=1
Please do not open any other spreadsheet in parallel with my worksheet.
You must press F9 on a PC or Command+Shift+F9 on a Mac each time you want to recalculate the cells.
 

Spreadsheets:

Understanding the basics

Modal Logic - K system

Modal Logic - T system

Modal Logic - S4 system

Tarski's style truth model     Kripke's counterexample

Arithmetic Translation of Truth Functions

Everything the kings says is true.

Liar paradox

Curry paradox - simplified model    Curry paradox - in Tarski's style

Buridan's proof of God's existence    

simple Yablo's paradox model    Yablo's paradox finite version

Popper's paradox

Series of times - A and B    Possible Worlds

Finite Automaton model of Wittgenstein's fireplace poker

The Ship of Theseus