Opis

• Tytuł:
  First-Order Modal Semantics and Existence Predicate
• Twórca:
  Michalczenia, Patryk
• Współtwórca:
  University of Wroclaw, Institute of Philosophy, Koszarowa 3, 51-149 Wrocław, Poland;
  patryk.michalczenia@wp.pl
• Opis:
  In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. We point to a gap in the work of Fitting and Mendelsohn concerning the relationship between the truth of \(\varphi\) and \(\varphi^{\varepsilon}\) in classes of varying- and constant-domain models. We introduce operations on models which allow us to fill the gap and provide a more general perspective on the issue. As a result we obtain a series of theorems describing the logical connection between the notion of truth of a formula with the existence predicate in constant-domain models and the notion of truth of a formula without the existence predicate in varying-domain models.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2022.11.07;
  2022.07.11
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3;
  51
• Temat i słowa kluczowe:
  first-order modal logic;
  constant-domain model;
  varying-domain model;
  existence predicate
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/44036 ;
  2449-836X;
  10.18778/0138-0680.2022.07
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe