Jiri Raclavsky * logic

On-line papers

logic

(2024): Completeness in Partial Type Theory. Journal of Logic and Computation, Oxford University Press, 34(1): 1-32. https://doi.org/10.1093/logcom/exac089 (with Petr Kuchyňka).
(2024): Two Cases of Deduction with Non-referring Descriptions. Electronic Proceedings In Theoretical Computer Science (415), Sydney: Open Publ, Assocopen Publ Assoc. 48-65. DOI: 10.4204/EPTCS.415.8.
(2022): The Rule of Existential Generalisation and Explicit Substitution. Logic and Logical Philosophy, 31 (1): 105-141. 10.12775/LLP.2021.011
(2022): Puzzles of Existential Generalisation from Type-theoretic Perspective. In: A. Indrzejczak, M. Zawidzki (eds.): 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022) EPTCS 358, pp. 68-83, DOI: 10.4204/EPTCS.358.6
(2019): Explicitní/implicitní přesvědčenía derivační systémy [Explicit/Implicit Belief and Derivation Systems]. Filosofický časopis 67(1): 89-120. (with I. Pezlar)
(2018): Existential Import and Relations of Categorical and Modal Categorical Statements. Logic and Logical Philosophy 27(3): 271-300. DOI: 10.12775/llp.2017.026 X
(2017): Two Standard and Two Modal Squares of Opposition. In: J.-Y. Béziau, G. Basti (eds.), The Square of Opposition: A Cornerstone of Thought, Cham: Birkhäuser, 119-142. DOI: 10.1007/978-3-319-45062-9_8 (Springer on-line version)
(2014): On Interaction of Semantics and Deduction in Transparent Intensional Logic (Is Tichý's Logic a Logic?). Logic and Logical Philosophy 23(1): 57-68. DOI: 10.12775/llp.2013.035 X
(2013): Co jsou Russellovy propoziční funkce [What Russell's Propositional Functions Are]. Filosofický časopis, 61(mimořádné číslo 2): 109-146.
(2013): Explikace a dedukce: od jednoduché k rozvětvené teorii typů [Explication and Deduction: from Simple to Ramified Theory of Types]. Organon F 20(Supplementary Issue 2): 37-53. X
(2012): On the Czech Logic in the 20th Century. In: A. Schumann (ed.), Logic in Central and Eastern Europe. Lanham (USA): University Press of America, 229-243. (more on Amazon)
(2012): Je Tichého logika logikou? (O vztahu logické analýzy a dedukce) [Is Tichý's Logic a Logic? On the Relation of Logical Analysis and Deduction]. Filosofický časopis 60(2): 245-254.
(2011): Conceptual and Derivation Systems. Logic and Logical Philosophy 20(1-2): 159-174. (with P. Kuchyňka) DOI: 10.12775/llp.2011.008 X
(2011): Semantic Concept of Existential Presupposition. Human Affairs 21(3): 249-261. DOI: 10.2478/s13374-011-0026-4
(2010): On Partiality and Tichý's Transparent Intensional Logic. Hungarian Philosophical Review (Magyar Filozófiai Szemle) 54(4): 120-128. X
(2008): Introduction to Pavel Tichý's Philosophy and Logic. In: B. Horyna (ed.), Philosophical Wonderings, Olomouc: Nakladatelství Olomouc, 43-50.

epistemic and
semantic paradoxes

(2018): The Typing Approach to Church-Fitch's Knowability Paradox and its Revenge Form, Prolegomena 17(1): 31-49. DOI: 10.26362/20180202
(2017): Russellian Typing Knowledge and Fitch's Paradox of Knowability, In: J.-Y. Béziau, I.M.L. D'Ottaviano, A. Costa-Leite (eds.), Aftermath of the Logical Paradise (Colecao CLE 41), Campinas: CLE-Unicamp, 401-423.
(2014): Explicating Truth in Transparent Intensional Logic. In: R. Ciuni, H. Wansing, C. Willkomen (eds.), Recent Trends in Philosophical Logic, 41, Springer Verlag, 167-177. DOI: 10.1007/978-3-319-06080-4_12 (Springer on-line version)
(2014): The Barber Paradox: On its Paradoxicality and its Relationship to Russell's Paradox. Prolegomena 13(2): 269-278. X
(2013): Fitchův paradox poznatelnosti a rozvětvená teorie typů [Fitch's Knowability Paradox and Ramified Theory of Types]. Organon F 20(Supplementary Issue 1): 144-165. X
(2012): Základy explikace sémantických pojmů [Foundations of Eplication of Semantics Notions]. Organon F 19(4): 488-505. X
(2012): Semantic Paradoxes and Transparent Intensional Logic. In: M. Peliš, V. Punčochář (eds.),The Logica Yearbook 2011, London: College Publications, 239-252.
(2009): Lhářský paradox, význam a pravdivost [Liar Paradox, Meaning and Truth]. Filosofický časopis 57(3): 325-351.

semantics of
natural language

(2017): Modal Argument against Nominal Description Theory. Kriterion - Journal of Philosophy 31(1): 77-100; https://doi.org/10.1515/krt-2017-310106
(2014): Tichý's Possible Worlds. Organon F 21(4): 471-491. X
(2014): A Model of Language in a Synchronic and Diachronic Sense. In: P. Stalmaszczyk (ed.), Issues in Philosophy of Language and Linguistic (Lodz Studies in English and General Linguistic 2), Lodz: Lodz University Press, 109-123.
(2014): Constructional vs. Denotational Conception of Aboutness. Organon F 21(2): 219-236. X
(2011): Sémantika jmen ve fikci: obhajoba a rozvinutí Tichého koncepce [Semantics of Names in Fiction: A Defence and Extension of Tichý's Theory]. Organon F 18(1): 72-83. X
(2010): Is Logical Analysis of Natural Language a Translation?. In: P. Stalmaszczyk (ed.), Philosophy of Language and Linguistics Volume I: The Formal Turn, Frankfurt am Main: Ontos Verlag, 229-243.
(2009): Structured Language Meanings and Structured Possible Worlds. In: V.A. Munz, K. Puhl, J. Wang (eds.), Language and the World. Wien: Austrian Ludwig Wittgenstein Society, 349-350.
(2006): Co je sémantika [What a Semantics Is]. Filosofický časopis 54(2): 267-279.
(2000): Denotace a reference v hudbě [Denotation and Reference in Music, cf. Musical Work and Its Semantics). In: P. Cmorej (ed.), Denotácia, referencia a význam, 93-100.

varia

(2017): Abstract and Concrete Individuals and Projection. Organon F 24(Supplementary Issue): 74-88.
(2010): Co obnáší kontingentní existence individuí [What is Contingent Existence of Individuals?]. Organon F 17(3): 374-387. X
(2008): Reformulating Tichý's Conception of Bare Individuals. Organon F 15(2): 143-167. X
(2008): Holá individua nejsou bez vlastností [Bare Individuals are not without Properties]. In: M. Zouhar (ed.), Jednotliviny, všeobecniny, významy, Bratislava: Filozofický ústav SAV, 158-172.
(2008): Conceptual Dependence of Verisimilitude Vindicated. A Farewell to Miller's Argument. Organon F 15(3): 369-382. X
(2007): Conceptual Dependence of Verisimilitude (Against Miller's Translation Invariance Demand). Organon F 14(3): 334-353. X
(2007): Defining Basic Kinds of Properties. In: T. Marvan, M. Zouhar (eds.), The World of Language and the World beyond Language (A Festschrift for Pavel Cmorej), Bratislava: Filozofický ústav SAV, 69-107.
(2000): Model skladby na základě pojmu funkce [The Model of Composition on the Basis of the Concept of Function]. In: J. Haluška (ed.), Ambiguity and Music, Bratislava: Seminar Mathematics and Music, 122-129.

prof. Jiří Raclavský, Ph.D.

On-line papers

logic

epistemic and semantic paradoxes

semantics of natural language

varia

epistemic and
semantic paradoxes

semantics of
natural language