What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference (konference)

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference (konference)

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference (konference)

Popis výsledku anglicky

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.

Druh

O - Ostatní výsledky

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2013

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů