Vyčerpávají aktuální entity všechny možné objekty?

BĚLOHRAD, Radim. Vyčerpávají aktuální entity všechny možné objekty? Organon F. Bratislava: Filozofický ústav SAV, 2002, roč. 9, č. 4, s. 359-384, 25 s. ISSN 1335-0668.

Základní údaje

Originální název

Vyčerpávají aktuální entity všechny možné objekty?

Název anglicky

Do Actual Entities Exhaust All Possible Objects?

Autoři

BĚLOHRAD, Radim ORCID

Vydání

Organon F, Bratislava, Filozofický ústav SAV, 2002, 1335-0668

---

Další údaje

Typ výsledku

Článek v odborném periodiku

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Označené pro přenos do RIV

Ne

Organizační jednotka

Filozofická fakulta

Klíčová slova česky

modální logika, možné světy, individua, flexibilní domény, Transparentní inteznzionální logika, vlastní jména

Klíčová slova anglicky

modal logic, possible worlds, individuals, flexible domains, Transparent Intensional Logic, proper names

Štítky

modální logika, možné světy, univerzum individuí, vlastní jména

Příznaky

Recenzováno

---

Anotace

V originále

Tato esej předkládá srovnání modálních teorií s proměnlivým a konstantním univerzem individuí. Tzv. "nejjednodušší predikátová modální logika" představuje druhý zmíněný typ. Tato koncepce však má značně kontroverzní důsledky: skutečnost, že všechny objekty existují nutně, a skutečnost, že každém možnému objektu odpovídá některý aktuální. Kripkeho modely eliminují tyto nedostatky, neboť postulují možné světy s proměnlivým univerzem individuí. Zastánci TIL se vrací k teorii s konstantním univerzem a snaží se vysvětlit, co vede Kripkovy následovníky k přijetí proměnlivých domén, a odvysvětlit údajné problémy konstantního univerza. Tato práce si klade za cíl vyjasnit postoj proponentů TIL a ukázat, že jejich argumenty pro konstatní univerzum individuí nejsou zcela uspokojivé kvůli roli, jakou hrají v jejich koncepci vlastní jména.

Anglicky

This essay presents a comparison of modal theories with flexible and constant domain of individuals. What's called "the simplest quantified modal logic" represents the latter type. However, it has some controversial conseqences: the fact that all objects of discourse exist necessarily, and the fact that to every merely possible object there corresponds and actual one. These drawbacks are eliminated by the Kripke models, which postulate possible worlds with a flexible domain of objects. Proponents of TIL return to the theory with the constant domain and attempt to elucidate what mistakes lead Kripke's followers to the endorsement of models with the flexible domain, and explain away the alleged problems of the constatn domain. This work aims at clarifying the character of the attitude of TIL proponents and showing that the arguments for accepting the constant domain they provide are not completely satisfactory due to the role proper names play in their theory.