SEMANTICAL ANALYSIS OF MODAL LOGIC Cover Image

CONSIDERATII SEMANTICE ASUPRA LOGICII MODALE
SEMANTICAL ANALYSIS OF MODAL LOGIC

Author(s): Saul A. Kripke
Subject(s): Philosophy
Published by: Studia Universitatis Babes-Bolyai

Summary/Abstract: Această lucrare oferă o expunere a unor trăsături ale unei teorii semantice a logicilor modale.1 Pentru o anumită extensiune cuantificată a S5, această teorie a fost prezentată în ‘A Completeness Theorem in Modal Logic’2 si a fost rezumată în ‘Semantical Analysis of Modal Logic’3. Lucrarea de faţă se va concentra asupra unui aspect particular al teoriei – introducerea cuantificatorilor – si se va restrînge în principal la o metodă particulară de a atinge acest scop. Accentul lucrării va fi pur semantic si în consecinţă se va omite folosirea tablourilor semantice, care este esenţială pentru o prezentare completă a teoriei4. De asemenea, se va renunţa în mare parte la demonstraţii.

  • Issue Year: 52/2007
  • Issue No: 1-2
  • Page Range: 131-140
  • Page Count: 10
  • Language: Romanian
Toggle Accessibility Mode