Konstrukce a důkazy

PEZLAR, Ivo. Konstrukce a důkazy. In Mladá filozofia: Povaha súčasnej filozofie a jej metódy, Bratislava, 21.-22.3.2013. 2013.

Základní údaje

• Originální název: Konstrukce a důkazy
• Název anglicky: Constructions and Proofs
• Autoři: PEZLAR, Ivo (203 Česká republika, garant, domácí).
• Vydání: Mladá filozofia: Povaha súčasnej filozofie a jej metódy, Bratislava, 21.-22.3.2013, 2013.

Další údaje

• Originální jazyk: čeština
• Typ výsledku: Prezentace na konferencích
• Obor: 60300 6.3 Philosophy, Ethics and Religion
• Stát vydavatele: Slovensko
• Utajení: není předmětem státního či obchodního tajemství
• Kód RIV: RIV/00216224:14210/13:00067954
• Organizační jednotka: Filozofická fakulta
• Klíčová slova česky: konstrukce; důkazy; intuicionistická logika; Brouwer; Heyting
• Klíčová slova anglicky: constructions; proofs; intuitionistic logic; Brouwer; Heyting
• Štítky: rivok

Anotace

Cílem příspěvku bude blíže prozkoumat koncept konstrukce, který se objevuje v moderních dějinách logiky, zejména ve spojitosti s intuicionistickou logikou. Rovněž bude prozkoumán vztah mezi konstrukcemi a důkazy pomocí dvou různých způsobů chápání konstrukce, a to konstrukce jako objekt a konstrukce jako procedura.

Anotace anglicky

In this paper we examine the concept of construction that surfaced in the modern history of logic, especially in connection with intuitionistic logic. Furthermore, the link between constructions and proofs will be spelled out utilizing two distinction notions: construction-as-object and construction-as-procedure.

Návaznosti

• MUNI/A/0795/2012, interní kód MU: Název: Filozofie přítomnosti

Investor: Masarykova univerzita, Filozofie přítomnosti, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty