Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Diametros

Authors help

  1. 1 Gurczyński J.

Years help

  1. 1 2013

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  second-order logic
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

Przedmiotowe logiki fikcji. Część III: Teoria przedmiotów abstrakcyjnych E.N. Zalty

100%
Gurczyński J.
Diametros
|
2013
|
issue 35
21-48
PL
Artykuł przedstawia teorię przedmiotów abstrakcyjnych E. N. Zalty. Omawiane jest zastosowanie tej logiki do analiz fikcji. Od strony formalnej system jest intensjonalnym rachunkiem relacji drugiego rzędu opartym na standardowej negacyjno-implikacyjnej aksjomatyce rachunku zdań. Zalta wprowadza rozróżnienie na egzemplifikowanie i enkodowanie własności. Przedmioty realne jedynie egzemplifikują własności, a przedmioty abstrakcyjne zarówno enkodują, jak i egzemplifikują własności. Takie rozróżnienie pozwala ująć dwupoziomową strukturę uposażenia przedmiotów fikcyjnych. Wskazuje się również pewne niepożądane konsekwencje teorii związane z tym, że przedmioty fikcyjne uznaje się za abstrakcyjne. Wadą systemu jest również jego słaba moc dedukcyjna – wnioski w zasadzie nie wykraczają poza aksjomatykę systemu.
EN
This paper presents E. N. Zalta’s theory of abstract objects. It discusses the application of the theory of abstract objects to the analysis of fiction. From a formal point of view the system is an intensional second-order logic of relations based on the standard axiomatization of the propositional calculus. Zalta distinguishes exemplification and encoding of properties. Real objects exemplify properties, while abstract objects both encode and exemplify properties. This distinction makes it possible to apprehend the double structure of predication of fictional objects. It also points out some unwanted consequences of the theory, which are bound to the fact that fictional objects are conceived as abstract objects. Another defect of the system is its weak deductive power – the conclusions do not go beyond the system’s axiomatization.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.