Pedro Lemos

About me

My research interests are primarily in semantics for tense-modal languages, the problem of future contingents, (indicative and counterfactual) conditionals, and extends to whatever overlaps between these topics and Metaphysics, Philosophy of Language, Logic, and Formal Semantics.

Papers, or drafts, or unclear thoughts that might go nowhere

• The Fading Light of Contingency: On Tense, Modals, and Assessment-sensitivity (Ph.D. Thesis)

• Diamonds don't shine forever

• Conditionals, Hindsight, and Relativist semantics

• On Epstein's 'Reflections on temporal and modal logic'

• Supertruth-makers

  A `supervaluations meet truthmakers' sort of thing

• Where is non-classicality in a theory of meaning?

• A Turing Machine for Exponential Function

Talks

• Conditionals, Retrospective Judgments, and Relative-truth.

  • Presented in Ninth Principia International Symposium: Possible Worlds and their Applications in Philosophy and the Sciences, 2015, Florianópolis, 2015.

Awards

• 'Nota 10 Fellowship', 2009

  • A one-year fellowship awarded annually by FAPERJ (Rio de Janeiro State funding agency), to a Ph.D./M.A student enrolled in a graduate program ranked 5 or above by CAPES (Brazilian national funding agency)

• $4.17 awarded for a full description of a single-tape Turing Machine which computes the exponentiation function f(x,y)=x^y (as advertised in Epstein & Carnielli (2008): Computability. Computable Functions Logic and the Foundations of Mathematics. Wadsworth & Brooks/Cole Mathematics Series; p.82)

Miscellaneous

• https://github.com/jez/tsim > An implementation of my Turing Machine for exponentiation, by Jacob Zimmerman