Chapter

Modal Logic from Kant to Possible Worlds Semantics

Tapio Korte, Ari Maunu and Tuomo Aho

in The Development of Modern Logic

Published in print June 2009 | ISBN: 9780195137316
Published online September 2009 | e-ISBN: 9780199867912 | DOI: http://dx.doi.org/10.1093/acprof:oso/9780195137316.003.0035
 Modal Logic from Kant to Possible Worlds Semantics

Show Summary Details

Preview

This chapter begins with a discussion of Kant's theory of judgment-forms. It argues that it is not true in Kant's logic that assertoric or apodeictic judgments imply problematic ones, in the manner in which necessity and truth imply possibility in even the weakest systems of modern modal logic. The chapter then discusses theories of judgment-form after Kant, the theory of quantification, Frege's Begriffsschrift, C. I. Lewis and the beginnings of modern modal logic, the proof-theoretic approach to modal logic, possible world semantics, correspondence theory, and modality and quantification.

Keywords: judgment-forms; Frege; modal logic; possible world semantics; correspondence theory; modality; quantification

Chapter.  20482 words.  Illustrated.

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.