About: Tichý’s Two-Dimensional Conception of Inference

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Tichý’s Two-Dimensional Conception of Inference Goto Sponge Distinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	In this paper we revisit Pavel Tichý's novel distinction between one-dimensional and two-dimensional conception of inference, which he presented in his book Foundations of Frege's Logic (1988), and later in On Inference (1999), which was prepared from his manuscript by his co-author Jindra Tichý. We shall focus our inquiry not only on the motivation behind the introduction of this non-classical concept of inference, but also on further inspection of selected Tichý's arguments, which we see as the most compelling or simply most effective in providing support for his two-dimensional account of inference. Main attention will be given to exposing the failure of one dimensional theory of inference in its explanation of indirect (reductio ad absurdum) proofs. Lastly, we discuss shortly the link between two-dimensional inference and deduction apparatus of Tichý's Transparent Intensional Logic. In this paper we revisit Pavel Tichý's novel distinction between one-dimensional and two-dimensional conception of inference, which he presented in his book Foundations of Frege's Logic (1988), and later in On Inference (1999), which was prepared from his manuscript by his co-author Jindra Tichý. We shall focus our inquiry not only on the motivation behind the introduction of this non-classical concept of inference, but also on further inspection of selected Tichý's arguments, which we see as the most compelling or simply most effective in providing support for his two-dimensional account of inference. Main attention will be given to exposing the failure of one dimensional theory of inference in its explanation of indirect (reductio ad absurdum) proofs. Lastly, we discuss shortly the link between two-dimensional inference and deduction apparatus of Tichý's Transparent Intensional Logic. (en)
Title	Tichý’s Two-Dimensional Conception of Inference Tichý’s Two-Dimensional Conception of Inference (en)
skos:prefLabel	Tichý’s Two-Dimensional Conception of Inference Tichý’s Two-Dimensional Conception of Inference (en)
skos:notation	RIV/00216224:14210/13:00069439!RIV14-MSM-14210___
http://linked.open...avai/riv/aktivita	S
http://linked.open...avai/riv/aktivity	S
http://linked.open...iv/cisloPeriodika	Supplementary Issue 2
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Pezlar, Ivo
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Filozofická fakulta
http://linked.open...dnocenehoVysledku	111068
http://linked.open...ai/riv/idVysledku	RIV/00216224:14210/13:00069439
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	deduction; Frege; Gentzen; indirect proofs; Tichý; TIL; two-dimensional inference (en)
http://linked.open.../riv/klicoveSlovo	TIL Gentzen indirect proofs two-dimensional inference Frege Tichý deduction
http://linked.open...odStatuVydavatele	SK - Slovenská republika
http://linked.open...ontrolniKodProRIV	[A67BD38A9C40]
http://linked.open...i/riv/nazevZdroje	Organon F : filozofický časopis
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...UplatneniVysledku	2013
http://linked.open...v/svazekPeriodika	roč. 20
http://linked.open...iv/tvurceVysledku	Pezlar, Ivo
http://linked.open...ain/vavai/riv/wos	000324280300004
issn	1335-0668
number of pages	12 (xsd:int)
http://localhost/t...ganizacniJednotka	14210

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 110 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software