Essays On Mathematical And Philosophical Logic

ISBN: 90-277-0879-7
Tekijät: Edited by Jaakko Hintikka, Ilkka Niiniluoto ja Esa Saarinen
Kustantaja: D. Reidel Publishing Company, 1979
Saatavuus: Kirjakaupoista

This is a collection of articles on logic based on the papers that were presented in the Fourth Scandinavian Logic Symposium and in the First Soviet-Finnish Logic Conference in Jyväskylkä Finland, June 29-July 6, 1976.

Contents:

Georg Kreisel: Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory

Dag Prawitz: Proofs and the Meaning and Completeness of the Logical Constants

V.A. Smirnov: Theory of Quantification and E-calculi

Lars Svenonius: Two KInds of EXtensions of Primitive Recursive Arithmetic

Dirk van Dalen and R. Statman: Equality in the Presence of Apartness

Veikko Rantala: Game-Theoretic Semantics and Back-and-Forth

Maaret Karttunen: Infinitary Languages and Generalized Partial Isomorphisms

Solomon Feferman: Generalizing Set-Theoretical Model Theory and an Analogue Theory on Admissible Sets

Juha Oikkonen: Hierarchies of Model Theoretic Definability - An Approach to Second Order Logics

Jussi Ketonen: Open Problems in the Theory of Ultrafilters

J.A. Makowsky: The Reals Cannot Be Characterized Topologically with Strictly Local Properties and Countability Axioms

M. Krynicki: On the Expressive Power of the Language Using the Henkin Quantifier

Jouko Väänänen: Remarks on Free Quantifier Variables

Dag Normann: Recursion in 3E and a Splitting Theorem

I.A. Lavrov: Retracts of Post's Numbering and Effectivization of Quantifiers

Jaakko Hintikka: Quantifiers in Natural Languages: Some Problems, I

Jen Erik Fenstad: Models for Natural Languages

Esa Saarinen: Backwards-Looking Operators in Tense Logic and in Natural Language

Bengt Hansson: Paradoxes in a Semantic Perspective

Vitali Tselishchev: HIntikka's Possible Worlds and Rigid Designators

A.A. Starchenko: On the Content Analysis of Two Normative Notions

Yu. Gladkich: Singular Terms, Existence and Truth: Some Remarks on a First Order Logic of Existence

David Miller: On Distance From the Truth as a True Distance

Ilkka Niiniluoto: Truthlikeness in First-Order Languages