Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

✍ Scribed by Åsa Hirvonen (editor); Juha Kontinen (editor); Roman Kossak (editor); Andrés Villaveces (editor)

• Publisher: De Gruyter
• Year: 2015
• Tongue: English
• Leaves: 438
• Series: Ontos Mathematical Logic; 5
• Category: Library

✦ Synopsis

In recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which range from historical scholarship to recent research in geometric model theory, squarely address this development. These articles also connect to the diverse work of Väänänen, whose ecumenical approach to logic reflects the unity of the discipline.

✦ Table of Contents

From the editor
Preface – Unity and Diversity of Logic
Contents
On the “Logic without Borders” Point of View
Arrow’s Theorem by Arrow Theory
How Big Should the Monster Model Be?
Modal Logic in the Modal Sense of Modality
Lindström’s Theorem for Positive Logics, a Topological View
Model Theory of Fields With Operators – a Survey
Some Aspects of the Ramsey Theory of Real Numbers
The Singular World of Singular Cardinals
Logical Nihilism
The Doxastic Interpretation of Team Semantics
The Size of a Formula as a Measure of Complexity
Notes on the History of Scope
Universal Structures with Forbidden Homomorphisms
Counting Measure and Forking in Finite Models
The Model Theory of Generic Cuts
On Natural Deduction in Dependence Logic
Infinitary Methods in Finite Model Theory
Saturating the Random Graph with an Independent Family of Small Range
Constructive Realism in Mathematics
The Twin Continua of Inductive Methods
A.E.C. with Not Too Many Models
Pursuing Logic without Borders
A Radio Interview with Jouko Väänänen