This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n13http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/resource/domain/vavai/subjekt/
n7http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14210%2F13%3A00069439%21RIV14-MSM-14210___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14210%2F13%3A00069439%21RIV14-MSM-14210___
rdf:type
n7:Vysledek skos:Concept
dcterms: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.
dcterms:title
Tichý’s Two-Dimensional Conception of Inference Tichý’s Two-Dimensional Conception of Inference
skos:prefLabel
Tichý’s Two-Dimensional Conception of Inference Tichý’s Two-Dimensional Conception of Inference
skos:notation
RIV/00216224:14210/13:00069439!RIV14-MSM-14210___
n7:predkladatel
n8:orjk%3A14210
n3:aktivita
n17:S
n3:aktivity
S
n3:cisloPeriodika
Supplementary Issue 2
n3:dodaniDat
n5:2014
n3:domaciTvurceVysledku
n16:2675870
n3:druhVysledku
n15:J
n3:duvernostUdaju
n6:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
111068
n3:idVysledku
RIV/00216224:14210/13:00069439
n3:jazykVysledku
n12:eng
n3:klicovaSlova
deduction; Frege; Gentzen; indirect proofs; Tichý; TIL; two-dimensional inference
n3:klicoveSlovo
n4:two-dimensional%20inference n4:indirect%20proofs n4:deduction n4:Frege n4:Gentzen n4:TIL n4:Tich%C3%BD
n3:kodStatuVydavatele
SK - Slovenská republika
n3:kontrolniKodProRIV
[A67BD38A9C40]
n3:nazevZdroje
Organon F : filozofický časopis
n3:obor
n10:AA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n5:2013
n3:svazekPeriodika
roč. 20
n3:tvurceVysledku
Pezlar, Ivo
n3:wos
000324280300004
s:issn
1335-0668
s:numberOfPages
12
n13:organizacniJednotka
14210