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

DOI: http://dx.doi.org/10.12775/LLP.2013.035

#### Abstract

#### Keywords

#### Full Text:

PDF#### 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.

ISSN: 2300-9802 (electronic version)