Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition

DSpace Repository

Show simple item record

dc.contributor.author Schroeder-Heister, Peter
dc.date.accessioned 2022-08-17T10:33:54Z
dc.date.available 2022-08-17T10:33:54Z
dc.date.issued 2012
dc.identifier.isbn 978-3-0343-0537-2
dc.identifier.uri http://hdl.handle.net/10900/130973
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309731 de_DE
dc.identifier.uri http://dx.doi.org/10.15496/publikation-72333
dc.description.abstract Within a framework of clausal definitions of atoms, four forms of judgement are distinguished: Direct and indirect assertion, and direct and indirect denial. Whereas direct assertion and direct denial are established by directly applying a definitional clause (“definitional closure”), indirect assertion and indirect denial result from showing that all possible premisses of the opposite judgement can be refuted (“definitional reflection”). The deductive relationships between these four forms of judgement correspond to those represented in the square of opposition, if direct assertion and direct denial are placed in the A and E corners, and indirect assertion and indirect denial in the I and O corners of the square. en
dc.language.iso en de_DE
dc.publisher Universität Tübingen de_DE
dc.rights cc_by-nc-nd de_DE
dc.rights ubt-podno de_DE
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/de/deed.de de_DE
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/de/deed.en en
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=de de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=en en
dc.subject.classification Logik , Logisches Quadrat , Negation de_DE
dc.subject.ddc 004 de_DE
dc.subject.ddc 100 de_DE
dc.subject.other Beweistheoretische Semantik de_DE
dc.subject.other Definitorische Reflexion de_DE
dc.subject.other Square of Opposition en
dc.subject.other Negation en
dc.subject.other Logic en
dc.subject.other Proof-theoretic Semantics en
dc.subject.other Definitional Reflection en
dc.title Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition en
dc.type Article de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE
utue.publikation.source Jean-Yves Béziau and Gillman Payette (eds.), The Square of Opposition: A General Framework for Cognition. Bern: Peter Lang 2012, pp. 323-349 de_DE
utue.publikation.noppn yes de_DE

Dateien:

This item appears in the following Collection(s)

Show simple item record

cc_by-nc-nd Except where otherwise noted, this item's license is described as cc_by-nc-nd