Naslov
Agents, intensions, and paraconsistency

Autori
Kovač, Srećko

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Handbook of the 2nd World Congress and School on Universal Logic / Béziau, Jean-Yves ; He, Huacan ; Costa-Leite, Alexandre ; Zhong, Yixin ; Ma, Yingcang - Xi'an, 2007

Skup
2nd World Congress and School on Universal Logic

Mjesto i datum
Xi’an, Kina, 16.08.2007. - 22.08.2007

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
clusters; hierarchical structure; lattice; paraconsistency; social agents

Sažetak
We focus on some structurally similar patterns of paraconsistent reasoning, such as Jaskowski's discussive logic and local reasoning of Fagin and Halpern. We show that such logics are based on similar tree-like structures that result from the sequencing of quantifiers over possible worlds, sets of possible worlds, sets of sets of possible worlds, and so on (the logic of branching time is a special case). Agents can be regarded as interacting or non-interacting groups or societies that include other agents as their subsets or members. A fine-tuning of paraconsistent reasoning by introducing intensional terms is sketched. Explosiveness of ``conjoined contradictions'' can be relativized with respect to the de dicto and de re sense of beliefs.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA