Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)
  • Home
  • /
  • On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)
  1. Home /
  2. Archives /
  3. Vol. 23 No. 1 (2014): March /
  4. Articles

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

Authors

  • Jiří Raclavský Masaryk University, Brno

DOI:

https://doi.org/10.12775/LLP.2013.035

Keywords

logical analysis, deduction, entailment, Transparent Intensional Logic

Abstract

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.

Author Biography

Jiří Raclavský, Masaryk University, Brno

Department of Philosophy, Faculty of Arts

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.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2013-10-05

How to Cite

1.
RACLAVSKÝ, Jiří. On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý’s logic a logic?). Logic and Logical Philosophy. Online. 5 October 2013. Vol. 23, no. 1, p. 57–68. [Accessed 5 July 2025]. DOI 10.12775/LLP.2013.035.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 23 No. 1 (2014): March

Section

Articles

Stats

Number of views and downloads: 605
Number of citations: 1

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

logical analysis, deduction, entailment, Transparent Intensional Logic
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop