| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - 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 meaning and 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. (en)
- 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 je problém hyperintenzionálních identit (rovnostranný trojúhelník=rovnoúhlý trojúhelník), který je plauzibilně řešen až Tichým v jeho Transparentní intenzionální logice.
- 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 je problém hyperintenzionálních identit (rovnostranný trojúhelník=rovnoúhlý trojúhelník), který je plauzibilně řešen až Tichým v jeho Transparentní intenzionální logice. (cs)
|
| Title
| - Modalities of Identities and the Case of Venus (en)
- Modality identity a případ Venuše
- Modality identity a případ Venuše (cs)
|
| skos:prefLabel
| - Modalities of Identities and the Case of Venus (en)
- Modality identity a případ Venuše
- Modality identity a případ Venuše (cs)
|
| skos:notation
| - RIV/00216224:14210/00:00011281!RIV08-GA0-14210___
|
| http://linked.open.../vavai/riv/strany
| |
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...iv/cisloPeriodika
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14210/00:00011281
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - modality; identity; identical statements; Frege; Quine; Kripke; Barcan Marcus; Tichý (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| |
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...vavai/riv/projekt
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...v/svazekPeriodika
| |
| http://linked.open...iv/tvurceVysledku
| |
| issn
| |
| number of pages
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)