Barendregt, H. P., Dekker, W., Statman, R. (2013): Lambda Calculus with Types. Cambridge University Press.

Literatura A Alchourrón, C. E., Makinson, D.(1981): Hierarchies of Regulations and Their Logic. In: R. Hilpinen(ed.), New Studies in Deontic Logic, Dordrecht: Reidel, 125 148. Andrews, P. B.(1965): A Transfinite Type Theory with Type Variables. North-Holland. Asher, N. (1984): Meanings Don t Grow On Trees. Journal of Semantics 3(3): 229 247. B Barendregt, H. P., Dekker, W., Statman, R. (2013): Lambda Calculus with Types. Cambridge University Press. Bealer, G. (1982): Quality and Concept. Oxford: Clarendon Press. Beeson, M. (2004): Lambda Logic. In: D. Basin, M. Rusinowitch (eds.), Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4 8, 2004, Proceedings. Lecture Notes in Artificial Intelligence 3097, Springer, 460 474. van Benthem, J. (2011): The Dynamic World of Martin Stokhof. In: C. Dutilh Novaes, J. van der Does (eds.), Festschrift for Martin Stokhof. www.vddoes.net/martin/mf.html. Belnap, N.(2006): Prosentence, Revision, Truth, and Paradox. Philosophy and Phenomenological Research 73(3): 705 712. Bielik, L., Gahér, F. (2013): Využití pojmu zhoda v hyperintenzionálnej dedukcii. Organon F 20 (Supplementary Issue 2): 98 111. C Carnap, R. (1947/1958): Meaning and Necessity. (Second Edition). Chicago: The University of Chicago Press(Phoenic Edition). Castañeda, H. N. (1968): On the Logic of Attributions of Self-Knowledge to Others. The Journal of Philosophy 65(15): 439 456. Cmorej, P. (2001): Na pomezí logiky a filozofie. Bratislava: Veda. Cmorej, P.(2009): Analytické filozofické skúmania. Bratislava: Filozofický ústav SAV. Cmorej, P., Tichý, P.(1998): Komplexy. Organon F 5(2): 139 164, 5(3): 266 289.

294 Cresswell, M. J.(1975): Hyperintensional Logic. Studia Logica 34(1): 26 38. Cresswell, M. J.(1985): Structured Meanings. Cambridge (Mass): MIT Press, London: A Bradford Book. Crocco, G.(2006): Gödel on Concepts. History and Philosophy of Logic 27(2): 171 191. Curry, H. B., Feys, R.(1958): Combinatory Logic. Vol. I. Amsterdam: North Holland. D Dowty, D. R., Wall, R. E., Peters, S.(1992): Introduction to Montague Semantics. Dordrecht: Kluwer. Duží, M. (2003): Do We Have to Deal with Partiality?. Miscellanea Logica V: 45 76. Duží, M. (2013): From Simple to Ramified Hierarchy of Types. Organon F 20 (Supplementary Issue 2): 5 36. Duží, M. Jespersen, B.(2013): Procedural Isomorphism, Analytic Information and β-conversion by Value. Logic Journal of IGPL 21(2): 291 308. Duží, M., Jespersen, B., Materna, P. (2010): Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer Verlag. F Farmer, W. M. (1990): A Partial Functions Version of Church s Simple Theory of Types. The Journal of Symbolic Logic 55(3): 1269 1291. Feferman, S. (1995): Definedness. Erkenntnis 43(3): 295 320. Fintel, K. von(2006): Would You Believe It? The King of France is Back!(Presuppositions and Truth-Value Intuitions). In: M. Reimer, A. Bezuidenhout(eds.), Descriptions and Beyond, Oxford University Press, 315 341. Frege, G. (1879): Begriffsschrift, eine der arithmetischen nachgebildete Formalsprache des reinen Denken. Hall a/s: Verlag von Louis Nebert. Frege, G.(1892): Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophishe Kritik 100: 25 50. G Gahér, F.(2002): Anafora a pojmové postoje. In: S. Gáliková(ed.), Filozofia Ludwiga Wittgensteina, Bratislava: SAV, 130 155. Gahér, F., Bielik, L.(2013): Prečo len(nutné) pravdy ako predpoklady deduktívnych úsudkov? Organon F 20(Supplementary Issue 2): 75 97. Gentzen, G.(1934): Untersuchungen über das logische Schließen. I. Mathematische Zeitschrift 39(2): 176 210. Gentzen, G.(1935): Untersuchungen über das logische Schließen. II. Mathematische Zeitschrift 39(3): 405 431. Gentzen, G. (1936): Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112(1): 493 565.

295 Girard, J. Y., Taylor, P., Lafont, Y. (1989): Proofs and Types. Cambridge University Press. Gödel, K. (1944): Russell s Mathematical Logic. In: P. A. Schilpp (ed.), The Philosophy of Bertrand Russell, Evanston, Chicago: Northwestern University, 125 153. H Henkin, L. (1950): Completeness in the Theory of Types. The Journal of Symbolic Logic 15: 81 91. Hilbert, D., Bernays, P. (1939/1970): Grundlagen der Mathematik. Heidelberg Berlin: Springer Verlag. Hindley, J. R., Seldin, J. P.(2008): Lambda-Calculus and Combinators, an Introduction. Cambridge University Press. Hintikka, J.(1962): Knowledge and Belief: An Introduction to the Logic of the Two Notions. Ithaca, New York: Cornell University Press. Hintikka, J.(1982): Temporal Discourse and Semantical Games. Linguistics and Philosophy 5(1): 3 22. Horák, A. (2002): The Normal Translational Algorithm in Transparent Intensional Logic for Czech. Disertační práce, Brno: Fakulta informatiky Masarykovy univerzity v Brně. CH Chisholm, R. M.(1963): Contrary-to-Duty Imperatives and Deontic Logic. Analysis 24: 33 36. Church, A.(1932): A Set of Postulates for the Foundation of Logic. The Annals of Mathematics 33(2): 56 68. Church, A.(1940): A Formulation of the Simple Theory of Types. The Journal of Symbolic Logic 5: 56 68. Church,A.(1951):AFormulationoftheLogicofSenseandDenotation.In:P.Henle,H.M.Kallen,S.Langer (eds.), Structure, Method and Meaning (Essays in Honor of Henry M. Sheffer), New York: Liberal Arts Press, 3 34. Church, A.(1954): Intensional Isomorphism and Identity of Belief. Philosophical Studies 5(5):65 73. Church, A.(1956): Introduction to Mathematical Logic. Princeton University Press. Church, A.(1976): A Comparison of Russell s Resolution of the Semantical Antinomies with that of Tarski. Journal of Symbolic Logic 41(4): 747 760. Church, A.(1984): Russell s Theory of Identity of Propositions. Philosophia Naturalis 21: 513 22. Church, A. (2009): Referee Reports on Fitch s A Definition of Value. In: J. Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press, 13 20. J Jespersen, B. (1999): On Seeking and Finding. In: T. Childers (ed.), Logica 98 Proceedings, Praha: AV ČR, 61 72. Jørgensen, J.(1938): Imperatives and Logic. Erkenntnis 7: 288 298.

296 K Kaplan, D.(1975): How to Russell a Frege-Church. The Journal of Philosophy 72(19): 716 729. Kleene, S.C.(1952): Introduction to Metamathematics. Amsterdam: North-Holland. Kolář, P., Svoboda, V. (1992): Ascribing An Action. From the Logical Point of View 1: 34-60. Kripke, S. A. (1972): Naming and Necessity. In: G. Harman, D. Davidson (eds.), Semantics of Natural Language, Dordrecht-Boston: D. Riedel Publishing Co., 253 355, 763 769. / Kripke, S.A. (1980): Naming and Necessity. Oxford: Basil Blackwell. Kripke, S.(1975): Outline of a Theory of Truth. The Journal of Philosophy 72(19): 690 716. Kripke, S. A.(1993): Identity and Necessity. In: A. W. Moore(ed.), Meaning and Reference, Oxford University Press, 162 191. Kuchyňka, P. (2005): Anatomie hodnoty: Návrh teoretické explikace pojmů dobra a zla. Diplomová práce, Brno: Filozofická fakulta Masarykovy univerzity. Kuchyňka, P. (2012): Pravidla, jazyk a logika. Dizertace, Brno: Masarykova univerzita. Kuchyňka, P., Raclavský, J.(2014): Pojmy a vědecké teorie. Brno: Masarykova univerzita. L Lappiere, S. (1992): A Functional Partial Semantics for Intensional Logic. Notre Dame Journal of Formal Logic 33(4): 517 541. Lepage, F.(1992): Partial Functions in Type Theory. Notre Dame Journal of Formal Logic 33(4): 493 516. Larson, R. K., Ludlow, Peter(1993): Interpreted Logical Forms. Synthèse 95(3): 305 355. Levesque, H.J.(1984): A Logic of Explicit and Implicit Belief. Proceedings of the Fourth National Conference on Artificial Intelligence(AAAI-84), Austin (TX), 198 202. Lewis, D. (1970): General Semantics. Synthèse 22(1 2): 18 67. Lewis, D. (1973): Counterfactuals. Oxford: Blackwell. Lewis, D. (1983): Languages and Language. In: Philosophical Papers Volume I, Oxford University Press, 163 188. M Maggs, B. M., Schwabe, E. J. (1976): Introduction to Intensional Logic. Unpublished ms. Marcus, R. B.(1962): Modalities and Intensional Languages. Synthèse 13(4): 303 322. Marcus, R. B. (1967): Essentialism in Modal Logic. Noûs 1(1):91 96. Martin-Löf, P.(1984): Intuitionistic Type Theory. Bibliopolis. Materna, P. (2013): Equivalence of Problems (An Attempt at an Explication of Problem). Axiomathes 23: 617 631. Materna, P.(2004): Conceptual Systems. Berlin: Logos.

297 Materna, P., Štěpán, J.(2003): Filozofická logika: nová cesta?. Olomouc: Univerzita Palackého. Montague, R.(1974): Formal Philosophy. New Haven, London: Yale University Press. Moggi, E. (1988): The Partial Lambda-Calculus. PhD thesis, University of Edinburgh. Moschovakis, Y.(1994): Sense and Denotation as Algorithm and Value. In: J. Väänanen, J. Oikkonen(eds.), Logic Colloquium 90, Lecture Notes in Logic, vol. 2, Association for Symbolic Logic, 210 249. Muskens, R.(1995): Meaning and Partiality. Stanford: CSLI. N Negri, S., Plato, J. von, Ranta, A. (2001): Structural Proof Theory. Cambridge University Press. O Oddie, G., Tichý, P.(1982): The Logic of Ability, Freedom, and Responsibility. Studia Logica 41(2 3): 227 248. Oddie, G., Tichý, P. (1990): Resplicing Properties in the Supervenience Base. Philosophical Studies 58(3): 259 269. P Pezlar, I.(2013): Tichý s Two-Dimensional Conception of Inference. Organon F 20(Supplementary Issue 2): 54 65. Pezlar, I.(2014): Towards a More General Concept of Inference. Logica Universalis 8(1):61 81. Pezlar, I. (2015): Epistemická logika: úvod se zaměřením na studenty humanitních oborů. Nakladatelství Masarykova univerzita (MUNIpress): Brno. von Plato, J.(2012): Gentzen s Proof Systems: Byproducts in a Work of Genius. Bulletin of Symbolic Logic 18(3): 313 367. Prawitz, D.(2006): Natural Deduction: A Proof-Theoretical Study. Dover Publications. Plotkin, G. D. (1975): Call-by-Name and Call-by-Value and the λ-calculus. Theoretical Computer Science 1: 125 159. Priest, G.(1999): Semantic Closure, Descriptions and Non-Triviality. Journal of Philosophical Logic 28(6): 549 558. Q Quine, W. V. O. (1947): The Problem of Interpreting Modal Logic. The Journal of Symbolic Logic 12(2): 43 48. Quine, W. V. O.(1956): Quantifiers and Propositional Attitudes. The Journal of Philosophy 53(5): 177 187. Quine, W. V. O.(1960): Word and Object. Cambridge (Mass.): MIT Press.

298 R Raclavský, J. (2003): Executions vs. Constructions. In: Logica et Methodologica 7, Bratislava: Univerzita Komenského, 63 72. Raclavský,J. (2006):De Dicto/De Re andtichý sdevelopmentofthe Theory. (ms.) Raclavský, J. (2007): Defining Basic Kinds of Properties. In: T. Marvan, M. Zouhar (eds.), The World of Language and the World beyond Language, Bratislava: Filozofický ústav SAV, 69 107. Raclavský, J. (2008a): Explikace druhů pravdivosti. Sborník prací filozofické fakulty brněnské univerzity B 53(1): 89 99. Raclavský, J. (2008b): Conceptual Dependence of Verisimilitude Vindicated. Organon F 15(3): 369 382. Raclavský, J.(2009): Jména a deskripce: logicko-sémantická zkoumání. Olomouc: Nakladatelství Olomouc. Raclavský, J. (2009a): Lhářský paradox, význam a pravdivost. Filosofický časopis 57(3): 325 351. Raclavský, J.(2009b): Zobecněné kvantifikátory z pohledu Transparentní intenzionální logiky. In: L. Dostálová (et al.), Odkud a jak brát stále nové příklady? Elektronická databáze příkladů pro výuku logiky na VŠ, Plzeň: Vydavatelství Západočeské univerzity v Plzni, 103 116. Raclavský, J. (2010a): On Partiality and Tichý s Transparent Intensional Logic. Hungarian Philosophical Review 54(4): 120 128. Raclavský, J. (2010b): 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. Raclavský, J. (2010c): Co obnáší kontingentní existence individuí. Organon F 17(3): 374 387. Raclavský, J.(2011): Individua a jejich vlastnosti: studie z intenzionální metafyziky. Olomouc: Nakladatelství Olomouc. Raclavský, J. (2011a): Semantic Concept of Existential Presupposition. Human Affairs 21(3): 249 261. Raclavský, J. (2011b): Sémantika jmen ve fikci: obhajoba a rozvinutí Tichého koncepce. Organon F 18(1): 72 83. Raclavský, J. (2012a): Semantic Paradoxes and Transparent Intensional Logic. In: M. Peliš, V. Punčochář (eds.), The Logica Yearbook 2011, London: College Publications, 239 252. Raclavský, J.(2012b): Je Tichého logika logikou?(o vztahu logické analýzy a dedukce). Filosofický časopis 60(2): 245 254. Raclavský, J. (2012c): Základy explikace sémantických pojmů. Organon F 19(4): 488 505. Raclavský, J.(2012d): Kontextualismus vs. minimalismus a metodologické principy. Organon F 19(4): 227 238. Raclavský, J. (2012e): Důkazový asistent HOL a jeho logika. In: L. Dostálová (ed.), Organon VIII. Calculemus, Plzeň: Vydavatelství Západočeské univerzity v Plzni, 83 91. Raclavský, J. (2013a): Explikace a dedukce: od jednoduché k rozvětvené teorii typů. Organon F 20(Supplementary Issue 2): 37-53.

299 Raclavský, J. (2013b): Co jsou Russellovy propoziční funkce. Filosofický časopis, 61(mimořádné číslo 2: 109 146. Raclavský, J.(2013c): Fitchův paradox poznatelnosti a rozvětvená teorie typů. Organon F 20(Supplementary Issue 1): 144 165. Raclavský, J. (2014a): Explicating Truth in Transparent Intensional Logic. In: R. Ciuni, H. Wansing, C. Willkomen (eds.), Recent Trends in Philosophical Logic 41, Springer Verlag, 167 177. Raclavský, J. (2014b): On Interaction of Semantics and Deduction in Transparent Intensional Logic (Is Tichý s Logic a Logic?). Logic and Logical Philosophy 23(1): 57 68. Raclavský, J. (2014c): 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. Raclavský, J. (2014d): Constructional vs. Denotational Conception of Aboutness. Organon F 21(2): 219 236. Raclavský, J.(2014e): Tichý s Possible Worlds. Organon F 21(4): 471 491. Raclavský, J.(2014f): Mstivá forma Fitchova paradoxu a její odmítnutí v rámci typování znalosti. Organon F 21(Supplementary Issue): 138 154. Raclavský, J.(2014g): Two Standard and Two Modal Squares of Opposition.(submitted). Raclavský, J. (2015a): 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, Campinas: CLE-Unicamp, (vtisku). Raclavský, J., Kuchyňka, P.(2011): Conceptual and Derivation Systems. Logic and Logical Philosophy 20(1 2): 159 174. Richard, M. (2001): Seeking a Centaur, Adoring Adonis: Intensional Transitives and Empty Terms. Midwest Studies In Philosophy 25(1): 103 127. Ross, A. (1941): Imperatives and Logic. Theoria 7: 53 71. Russell, B. (1903): The Principles of Mathematics. W.W. Norton & Company. Russell, B.(1905): On Denoting. Mind 14(56): 479 493. Russell, B.(1908): Mathematical Logic as Based on the Theory of Types. American Journal of Mathematics 30(3): 222 262. S Schönfinkel, M. (1924): Über die Bausteine der mathematischen Logik. Mathematische Annalen 92:305 316. / Schönfinkel, M. (1967): On the Building Blocks of Mathematical Logic. In: J. v. Heijenoort, From Frege To Gödel: A Source Book in Mathematical Logic, 1879 1931. Harvard University Press, 355 366. Scott, D., Strachey, Ch.(1971): Toward a Mathematical Semantics for Computer Languages. Oxford Programming Research Group Technical Monograph. PRG-6. Strawson, P.F.(1950): On Referring. Mind 59(235): 320 344.

300 Strawson, P.F.(1952): Introduction to Logical Theory. London: Methuen. Šebela, K.(2013): Pavel Tichý a teorie dedukce. Organon F 20(Supplementary Issue 2): 66 74. T Tarski, A. (1933/1956): The Concept of Truth in Formalized Languages. In: J. H. Woodger (ed.), Logic, Semantics and Metamathematics, Clarendon Press, 152 278. Tarski, A. (1936/1983): On the Concept of Logical Consequence. In: Logic, Semantics, Metamathematics. 2nd. ed., Indianapolis: Hackett, 409 420. Tichý, J., Tichý, P. (1999): On Inference. In: T. Childers (ed.), The Logica Yearbook 1998, Praha: Filosofia, 73 85. Tichý, P.(1968): Smysl a procedura. Filosofický časopis 16: 222 232. Tichý, P.(1969): Intensions in Terms of Turing Machines. Studia Logica 26: 7 52. Tichý, P.(1971): An Approach to Intensional Analysis. Noûs 5(3): 273 297. Tichý, P.(1973): On De Dicto Modalities in Quantified S5. Journal of Philosophical Logic 2(3): 387 392. Tichý, P.(1976): Introduction to Intensional Logic. Nepublikovaný ms. Tichý, P.(1978): Two Kinds of Intensional Logic. Epistemologia 1: 143 164. Tichý, P.(1978a): De Dicto and De Re. Philosophia 8(1): 1 16. Tichý, P.(1978b): Questions, Answers, and Logic. American Philosophical Quarterly 15(4): 275 284. Tichý, P.(1978c): A New Theory of Subjunctive Conditionals. Synthèse 37(3): 433 457. Tichý, P.(1979): Existence and God. The Journal of Philosophy 76(8): 403 420. Tichý, P.(1980): The Logic of Temporal Discourse. Linguistics and Philosophy 3(3): 343 369. Tichý, P.(1980a): The Semantics of Episodic Verbs. Theoretical Linguistics 7(3): 264 296. Tichý, P.(1980b): The Transiency of Truth. Theoria 46(2 3): 165 182. Tichý, P.(1982): Foundations of Partial Type Theory. Reports on Mathematical Logic 14: 57 72. Tichý, P., Oddie, G.(1983): Ability and Freedom. American Philosophical Quarterly 20(2): 135 147. Tichý, P.(1984): Subjunctive Conditionals: Two Parameters vs. Three. Philosophical Studies 45(2): 1 13. Tichý, P.(1986): Constructions. Philosophy of Science 53(4): 514 534. Tichý, P.(1986a): Indiscernibility of Identicals. Studia Logica 45(3): 257 273. Tichý, P.(1986b): Two Fallacies in Formal Semantics. In: M. Frické(ed.), Essays in Honour of Bob Durrant, Dunedin: Otago University Philosophy Department, 156 177. Tichý, P.(1988): The Foundations of Frege s Logic. Walter de Gruyter. Tichý, P.(1994): The Analysis of Natural Language. From the Logical Point of View 3(2): 42 80.

301 Tichý, P. (1994a): Cracking the Natural Language Code. From the Logical Point of View 3: 6 19. Tichý, P. (1995): Constructions as the Subject Matter of Mathematics, In: W. Depauli-Schimanovich, E. Köhler, F. Stadler (eds.), The Foundational Debate (Complexity and Constructivity in Mathematics and Physics), Kluwer Academic Publishers, 175 185. Tichý, P.(2004): Pavel Tichý s Collected Papers in Logic and Philosophy. V. Svoboda, B. Jespersen, C. Cheyne (eds.), Dunedin: University of Otago Publisher, Prague: Filosofia. Tichý, P. (2007): On Describing. Organon F 14(4): 423 469. Thomason, R. H. (1980): A Model Theory for Propositional Attitudes. Linguistics and Philosophy 4(1): 47 70. W Whitehead, A. N., Russell, B.(1910 1913): Principia Mathematica. Cambridge University Press. von Wright, G. H.(1951): Deontic Logic. Mind 60: 1 15. Z Zalta, E. N. (1988): A Comparision of Two Intensional Logics. Linguistics and Philosophy 11(1): 59 89. Zlatuška, J.(1986): Data Bases and the Lambda Calculus. In: Proc. IFIP 86 World Computer Congress, Dublin, 97 104. Zouhar, M. (2009): Linguistic Knowledge, Semantics, and Ideal Speakers (Some Remarks on the Methodology of Natural Language Semantics). Epistemologia 33(1): 41 64.