The Theory of Form Logic

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

FREITAG, Wolfgang, Alexandra ZINKE, 2013. The Theory of Form Logic. In: Logic and Logical Philosophy. 21(4). ISSN 1425-3305

@article{Freitag2013Theor-24450, title={The Theory of Form Logic}, year={2013}, doi={10.12775/LLP.2012.017}, number={4}, volume={21}, issn={1425-3305}, journal={Logic and Logical Philosophy}, author={Freitag, Wolfgang and Zinke, Alexandra} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/24450"> <dc:rights>deposit-license</dc:rights> <dc:creator>Zinke, Alexandra</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-09-20T08:03:40Z</dc:date> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/24450"/> <dc:contributor>Freitag, Wolfgang</dc:contributor> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dcterms:abstract xml:lang="eng">We investigate a construction schema for first-order logical sys- tems, called "form logic". Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different "logical forms". Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased syntax rules for combining terms into formulas. We develop a generic syntax and semantics for such systems and provide a completeness proof for them. To illustrate the idea of form logic, and the possibilities it facilitates, we discuss three particular systems, one of which is the form-logical reconstruction of standard first-order predicate logic.</dcterms:abstract> <dc:creator>Freitag, Wolfgang</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-09-20T08:03:40Z</dcterms:available> <dcterms:issued>2013</dcterms:issued> <dcterms:title>The Theory of Form Logic</dcterms:title> <dcterms:bibliographicCitation>Logic and Logical Philosophy ; 21 (2012), 4. - S. 363-389</dcterms:bibliographicCitation> <dc:language>eng</dc:language> <dc:contributor>Zinke, Alexandra</dc:contributor> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto