Torkel Franzen torkel@sm.luth.se +46 920 491108 (work) +46 924 55456 (home) What I do at Lule University of Technology I teach programming courses (mostly using Java, to some extent Haskell, and formerly Prolog), and also spend a lot of time in front of the computer. Philosophical stuff and logic matters Provability and Truth, my PhD thesis (in philosophy), is available from university ...

Next: Introduction Assigning Meaning to Proofs: a semantic basis for problem solving environments Robert L. Constable Cornell University Ithaca, NY 14853 Abstract: According to Tarski's semantics, the denotation of a sentence in the classical predicate calculus with respect to a model is its truth value in that model. In this paper we associate with every sentence a set comprising evidence for ...

The Meanings of Logical Constants GILBERT HARMAN It seems to illuminate the meanings of logical constants to say how they contribute to the truth conditions of propositions containing them, as in the account of certain sentential connectives such as truth functions, the Frege-Tarski analysis of quantification, Kripke's semantics for modal operators in a quantified modal logic, and Davidson's ...

Satisfaction Peter Suber, Philosophy Department, Earlham College Recall that truth for I had to be defined separately for each of three kinds of wff of Hunter's language P (or truth-functional propositional logic, TFPL). The three kinds of wff were A, ~A, and A B. If we know what truth for I means for each of these three kinds of wff, then we can figure it out for any complex wff of language P ...