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:
 Modal Logic from Kant to Possible Worlds Semantics

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic


Show Summary Details


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.