Description

• Title:
  Expressive Power of the Positional Operator R: a Case Study in Modal Logic and Modal Philosophy
• Creator:
  Jarmużek, Tomasz;
  Tkaczyk, Marcin
• Description:
  Theories of modal notions belong to subjects of permanent study for logicians as well as all philosophers. We describe some fundamental ideas concerning kinds of modal expressions. Then we deliver a concise introduction to basic concepts of modal logic with connectives M of possibility and L of necessity. We describe typical normal modal logic as sets of theorems as well as by means of relational semantics. In the focal points we present some important outcomes in the field of positional logic containing the operator R, with special emphasis on systems MR and MRQ. We show how relational semantics of typical modal logic may be reconstructed within positional logic MRQ with one binary predicate, and therefore normal modal logics turn out to be algebraically proper parts of positional logic or theories based on it. Some philosophical questions and insights are being raised on the ground of those formal research.;
  Praca została poświęcona zagadnieniu operatora realizacji stosowanemu w logice pozycyjnej. Po krótkim przeglądzie podstawowych systemów logiki modalnej, jej semantyki oraz filozoficznych interpretacji operatorów modalnych, prezentujemy podstawowe fakty na temat logiki pozycyjnej i operatora realizacji. Następnie pokazujemy, w jaki sposób można zredukować modalności zdefiniowane przez wybrane systemy logiki modalnej do odpowiednich teorii logiki pozycyjnej MRQ. Za możliwość tej redukcji odpowiada operator realizacji R oraz siła wyrazu, która za nim stoi. Przykłady takiej redukcji skłaniają do przyjęcia filozoficznego wniosku, iż operator realizacji może być traktowany jako pewna meta-modalność.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2019 Ruch Filozoficzny
• Date:
  2019.06.22
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Ruch Filozoficzny; Vol. 75 No. 2 (2019): The issue dedicated to Professor Urszula Żegleń on the occassion of her jubilee celebrations; 93-107;
  Ruch Filozoficzny; Tom 75 Nr 2 (2019): Numer dedykowany Profesor Urszuli Żegleń z okazji jej jubileuszu; 93-107;
  2545-3173;
  0035-9599
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/RF/article/view/RF.2019.022/17756
• Subject:
  siła wyrazu;
  logika modalna;
  logika pozycyjna;
  możliwe światy;
  operator realizacji;
  redukcja;
  expressive power;
  modal logic;
  positional logic;
  possible worlds;
  realization operator;
  reduction
• Identifier: https://apcz.umk.pl/RF/article/view/RF.2019.022
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text