Modality identity a případ Venuše

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F00%3A00011281" target="_blank" >RIV/00216224:14210/00:00011281 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Modality identity a případ Venuše

Popis výsledku v původním jazyce

Frege ve své proslulé stati Über Sinn und Bedeutung otevřel problém vět o identitě (a=a, a=b), který se proslul zvláště pro příklad propozičních postojů k větám jako Venuše=Venuše, Venuše=Jitřenka (Fregeho problém); pro jejich analýzu vytvořil koncepty významu a smyslu. Po Fregeho mnozí zkusili tento smysl nějak formálně modelovat, obvyklé se stalo chápat jej jako funkci z možných světů, tj. intenzi. Quine se stal známý útokem na logiku používající záhadné intenze (Quineův problém), na což řada modálních logiků (zejm. Barcan Marcus) ihned reagovala obhajobou a kritikou Quinea. Kripke při rozvíjení své slavné teorie jmen znovu zapochyboval nad stávajícími řešeními v Identity and Necessity; i Kripkeho problém je lehce řešitelný. Co však zbylo otevřeno jeproblém hyperintenzionálních identit (rovnostranný trojúhelník=rovnostranný trojúhelník), který je plauzibilně řešen až Tichým v jeho Transparentní intenzionální logice.

Název v anglickém jazyce

Modalities of Identities and the Case of Venus

Popis výsledku anglicky

In his famous Über Sinn und Bedeutung Frege opened a problem of sentences about identities (a=a, a=b) which become popular for propositional attitudes towards sentence like Venus=Venus, Venus=Morning Star; for their analysis construed notions of meaningand sense. After him many tried to develop this sense formally, most commonly it is considered as function from possible worlds (an intension). Quine did not understand these mysterious intensions (Quines problem) but many modal logicians (especially Barcan Marcus) reacted by defence and critique of Quines position. When developing his theory of singular terms Kripke disbelieved common solutions of the problem in his Identity and Necessity (Kripkes puuzle is easily solvable). What remained was the problem of hyperintensional identities (equilateral triangle=equiangular triangle) which is plausibly solved in Tichýs transparent intensional logic.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

<a href="/cs/project/GA401%2F99%2F0006" target="_blank" >GA401/99/0006: Role konstrukcí v ´transparentní intensionální logice ´</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2000

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

ProFil

ISSN

1212-9097

e-ISSN

—

Svazek periodika

1

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

21

Strana od-do

1-20

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—