What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference (konference)
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F13%3A00068078" target="_blank" >RIV/00216224:14210/13:00068078 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference (konference)
Original language description
Our main aim is to examine various shapes that inference steps took in the not so distant past. In particular, we focus on similarities that can be found in the works of Frege (1879), Tichý (1988) and de Queiroz, de Oliveira and Gabbay (2011). Their general approach to logical inference constitutes quite distinct school of thought which may be roughly dubbed as two-dimensional conception of inference (deduction). Frege himself, however, never explicitly used the term two-dimensional inference, unlike Tichý and de Queiroz, de Oliveira and Gabbay, who view him as their main source of inspiration.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů