The Development of Modern Logic
Haaparanta, Leila Professor, Department of Philosophy, University of Tampere, Finland
Print publication date: 2009 (this edition)
Published to Oxford Scholarship Online: September 2009
Print ISBN-13: 978-0-19-513731-6




10 Set Theory, Model Theory, and Computability Theory
doi:10.1093/acprof:oso/9780195137316.003.0032

Wilfrid Hodges
Abstract: This chapter surveys set theory, model theory, and computability theory: how they first emerged from the foundations of mathematics, and how they have developed since. There are any amounts of mathematical technicalities in the background, but the chapter highlights those themes that have some philosophical resonance.

Keywords: mathematics, set theory, model theory, computability theory, logic,

You have access to the abstract for this item.     You have access to the full text for this item.


 
Privacy Policy and Legal Notice © Oxford University Press, . All rights reserved.
Quick Search Form

Contents
 
scroll up fast
scroll up
 
scroll down
scroll down fast
Full Book Contents
Preface
1 Introduction
2 Late Medieval Logic
3 Logic and Philosophy of Logic from Humanism to Kant
4. The Mathematical Origins of Nineteenth-Century Algebra of Logic
5 Gottlob Frege and the Interplay between Logic and Mathematics
6 The Logic Question During the First Half of the Nineteenth Century
7 The Relations between Logic and Philosophy, 1874–1931
8 A Century of Judgment and Inference, 1837–1936: Some Strands in the Development of Logic
9 The Development of Mathematical Logic from Russell to Tarski, 1900–1935
10 Set Theory, Model Theory, and Computability Theory
11 Proof Theory of Classical and Intuitionistic Logic
12 Modal Logic from Kant to Possible Worlds Semantics
13 Logic and Semantics in the Twentieth Century
14. The Philosophy of Alternative Logics
15 Philosophy of Inductive Logic: The Bayesian Perspective
16 Logic and Linguistics in the Twentieth Century
17 Logic and Artificial Intelligence
18 Indian Logic
Index
 
Return to top of list
SUBSCRIBER