Creating a second order diagrammatic logic

Peter Chapman, Gem Stapleton

Research output: Contribution to conferenceAbstract

Abstract

Many of the formal diagrammatic logics that have been developed are limited to be first order (typically monadic). This means that such logics cannot define commonly occurring concepts and, thus, are not as widely applicable as we might like. Suitably increasing their expressiveness will allow both the formalization of second order concepts and the study of such concepts from a new perspective. Our aim is to produce a second order diagrammatic logic and we present the initial ideas towards the development of such a logic.
Original languageEnglish
Pages298-300
Number of pages3
DOIs
Publication statusPublished - 1 Jan 2010
Event6th International Conference on the Theory and Application of Diagrams - Portland, Oregon, USA, 9-11 August, 2010
Duration: 9 Aug 2010 → …

Conference

Conference6th International Conference on the Theory and Application of Diagrams
Period9/08/10 → …

Fingerprint

Logic
Formalization
Expressiveness

Cite this

Chapman, P., & Stapleton, G. (2010). Creating a second order diagrammatic logic. 298-300. Abstract from 6th International Conference on the Theory and Application of Diagrams, . https://doi.org/10.1007/978-3-642-14600-8_34
Chapman, Peter ; Stapleton, Gem. / Creating a second order diagrammatic logic. Abstract from 6th International Conference on the Theory and Application of Diagrams, .3 p.
@conference{a11cd095282d4b808c86158d3c05bff9,
title = "Creating a second order diagrammatic logic",
abstract = "Many of the formal diagrammatic logics that have been developed are limited to be first order (typically monadic). This means that such logics cannot define commonly occurring concepts and, thus, are not as widely applicable as we might like. Suitably increasing their expressiveness will allow both the formalization of second order concepts and the study of such concepts from a new perspective. Our aim is to produce a second order diagrammatic logic and we present the initial ideas towards the development of such a logic.",
author = "Peter Chapman and Gem Stapleton",
year = "2010",
month = "1",
day = "1",
doi = "10.1007/978-3-642-14600-8_34",
language = "English",
pages = "298--300",
note = "6th International Conference on the Theory and Application of Diagrams ; Conference date: 09-08-2010",

}

Chapman, P & Stapleton, G 2010, 'Creating a second order diagrammatic logic' 6th International Conference on the Theory and Application of Diagrams, 9/08/10, pp. 298-300. https://doi.org/10.1007/978-3-642-14600-8_34

Creating a second order diagrammatic logic. / Chapman, Peter; Stapleton, Gem.

2010. 298-300 Abstract from 6th International Conference on the Theory and Application of Diagrams, .

Research output: Contribution to conferenceAbstract

TY - CONF

T1 - Creating a second order diagrammatic logic

AU - Chapman, Peter

AU - Stapleton, Gem

PY - 2010/1/1

Y1 - 2010/1/1

N2 - Many of the formal diagrammatic logics that have been developed are limited to be first order (typically monadic). This means that such logics cannot define commonly occurring concepts and, thus, are not as widely applicable as we might like. Suitably increasing their expressiveness will allow both the formalization of second order concepts and the study of such concepts from a new perspective. Our aim is to produce a second order diagrammatic logic and we present the initial ideas towards the development of such a logic.

AB - Many of the formal diagrammatic logics that have been developed are limited to be first order (typically monadic). This means that such logics cannot define commonly occurring concepts and, thus, are not as widely applicable as we might like. Suitably increasing their expressiveness will allow both the formalization of second order concepts and the study of such concepts from a new perspective. Our aim is to produce a second order diagrammatic logic and we present the initial ideas towards the development of such a logic.

U2 - 10.1007/978-3-642-14600-8_34

DO - 10.1007/978-3-642-14600-8_34

M3 - Abstract

SP - 298

EP - 300

ER -

Chapman P, Stapleton G. Creating a second order diagrammatic logic. 2010. Abstract from 6th International Conference on the Theory and Application of Diagrams, . https://doi.org/10.1007/978-3-642-14600-8_34