On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)

• Authors: Raclavský Jiří
• Languages of publication: EN

Abstracts

EN

It is sometimes objected that Tichý’s logic is not a logic because it underestimates deduction, providing only logical analyses of expressions. I argue that this opinion is wrong. First of all, to detect valid arguments, which are formulated in a language, there needs to be logical analysis to ascertain which semantical entities (Tichý’s so-called constructions) are involved. Entailment is defined as an extralinguistic affair relating those constructions. The validity of an argument, composed of propositional constructions, stems from the properties of the constructions. Such properties are displayed by the derivation rules of Tichý’s system of deduction.

Keywords

EN

logical analysis; deduction; entailment; Transparent Intensional Logic

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2014
• Volume: 23
• Issue: 1
• Pages: 57–68

Dates

published

2014-03-01

online

2013-10-05

Contributors

author

Raclavský Jiří

• Department of Philosophy, Faculty of Arts, Masaryk University, Arne Nováka 1, 602 00, Brno, the Czech Republic

References

• Duží, M., B. Jespersen and P. Materna, Procedural Semantics for Hyperintensional Logic. Foundations and Applications of Transparent Intensional Logic, Springer Verlag, 2010.
• Materna, P., and J. Štěpán, Philosophical Logic. A New Way? (in Czech), Olomouc: Univerzita Palackého, 2000.
• Oddie G., and P. Tichý, “The logic of ability, freedom, and responsibility”, Studia Logica, 41 (1982), 2–3: 227–248. DOI: 10.1007/BF00370346
• Raclavský, J., “Conceptual dependence of verisimilitude vindicated”, Organon F, 15 (2008), 3, 369–382.
• Raclavský, J., Names and Descriptions: Logico-Semantical Investigations (in Czech). Olomouc: Nakladatelství Olomouc, 2009.
• Raclavský, J., “Is logico-semantical analysis of natural language a translation?”, pp. 229–244 in Philosophy of Language and Linguistics, Volume I: The Formal Turn, P. Stalmaszczyk (ed.),. Frankfurt am Main: Ontos Verlag, 2010. DOI: 10.1515/9783110330472.229
• Raclavský, J., and P. Kuchyňka, “Conceptual and derivation systems”, Logic and Logical Philosophy, 20 (2011), 1–2: 159–174. DOI: 10.12775/LLP.2011.008
• Šebela, K., Pavel Tichý’s Philosophy of Logic (in Czech), Olomouc: Univerzita Palackého v Olomouci, (2006).
• Štěpán, J., Language, Logic, Philosophy (in Czech), Olomouc: Univerzita Palackého, 2002.
• Tichý, P., Introduction to Intensional Logic, unpublished ms (1976).
• Tichý, P., “The foundations of partial type theory”, Reports on Mathematical Logic, 14 (1982): 57–72.
• Tichý, P., “Indiscernibility of identicals”, Studia Logica, 45 (1986), 3: 257–273. DOI: 10.1007/BF00375897
• Tichý, P., The Foundations of Frege’s logic, Walter de Gruyter, 1988.
• Tichý, P., Pavel Tichý’s Collected Papers in Logic and Philosophy, V. Svoboda, B. Jespersen and C. Cheyne (eds.), Dunedin: University of Otago Publisher, Prague: Filosofia, 2004.
• Tichý, J., and P. Tichý, “On inference”, pp. 73–85 in The Logica Yearbook 1998, T. Childers (ed.), Praha: Filosofia, 1999.

Identifiers

DOI

10.12775/LLP.2013.035