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

Transkript

1 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, 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): 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, van Benthem, J. (2011): The Dynamic World of Martin Stokhof. In: C. Dutilh Novaes, J. van der Does (eds.), Festschrift for Martin Stokhof. Belnap, N.(2006): Prosentence, Revision, Truth, and Paradox. Philosophy and Phenomenological Research 73(3): Bielik, L., Gahér, F. (2013): Využití pojmu zhoda v hyperintenzionálnej dedukcii. Organon F 20 (Supplementary Issue 2): 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): 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): , 5(3):

2 294 Cresswell, M. J.(1975): Hyperintensional Logic. Studia Logica 34(1): 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): 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: Duží, M. (2013): From Simple to Ramified Hierarchy of Types. Organon F 20 (Supplementary Issue 2): Duží, M. Jespersen, B.(2013): Procedural Isomorphism, Analytic Information and β-conversion by Value. Logic Journal of IGPL 21(2): 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): Feferman, S. (1995): Definedness. Erkenntnis 43(3): 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, 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: G Gahér, F.(2002): Anafora a pojmové postoje. In: S. Gáliková(ed.), Filozofia Ludwiga Wittgensteina, Bratislava: SAV, Gahér, F., Bielik, L.(2013): Prečo len(nutné) pravdy ako predpoklady deduktívnych úsudkov? Organon F 20(Supplementary Issue 2): Gentzen, G.(1934): Untersuchungen über das logische Schließen. I. Mathematische Zeitschrift 39(2): Gentzen, G.(1935): Untersuchungen über das logische Schließen. II. Mathematische Zeitschrift 39(3): Gentzen, G. (1936): Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112(1):

3 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, H Henkin, L. (1950): Completeness in the Theory of Types. The Journal of Symbolic Logic 15: 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): 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: Church, A.(1932): A Set of Postulates for the Foundation of Logic. The Annals of Mathematics 33(2): Church, A.(1940): A Formulation of the Simple Theory of Types. The Journal of Symbolic Logic 5: 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, Church, A.(1954): Intensional Isomorphism and Identity of Belief. Philosophical Studies 5(5): 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): Church, A.(1984): Russell s Theory of Identity of Propositions. Philosophia Naturalis 21: 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, J Jespersen, B. (1999): On Seeking and Finding. In: T. Childers (ed.), Logica 98 Proceedings, Praha: AV ČR, Jørgensen, J.(1938): Imperatives and Logic. Erkenntnis 7:

4 296 K Kaplan, D.(1975): How to Russell a Frege-Church. The Journal of Philosophy 72(19): 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: Kripke, S. A. (1972): Naming and Necessity. In: G. Harman, D. Davidson (eds.), Semantics of Natural Language, Dordrecht-Boston: D. Riedel Publishing Co., , / 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): Kripke, S. A.(1993): Identity and Necessity. In: A. W. Moore(ed.), Meaning and Reference, Oxford University Press, 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): Lepage, F.(1992): Partial Functions in Type Theory. Notre Dame Journal of Formal Logic 33(4): Larson, R. K., Ludlow, Peter(1993): Interpreted Logical Forms. Synthèse 95(3): Levesque, H.J.(1984): A Logic of Explicit and Implicit Belief. Proceedings of the Fourth National Conference on Artificial Intelligence(AAAI-84), Austin (TX), Lewis, D. (1970): General Semantics. Synthèse 22(1 2): Lewis, D. (1973): Counterfactuals. Oxford: Blackwell. Lewis, D. (1983): Languages and Language. In: Philosophical Papers Volume I, Oxford University Press, 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): Marcus, R. B. (1967): Essentialism in Modal Logic. Noûs 1(1): Martin-Löf, P.(1984): Intuitionistic Type Theory. Bibliopolis. Materna, P. (2013): Equivalence of Problems (An Attempt at an Explication of Problem). Axiomathes 23: Materna, P.(2004): Conceptual Systems. Berlin: Logos.

5 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, 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): Oddie, G., Tichý, P. (1990): Resplicing Properties in the Supervenience Base. Philosophical Studies 58(3): P Pezlar, I.(2013): Tichý s Two-Dimensional Conception of Inference. Organon F 20(Supplementary Issue 2): Pezlar, I.(2014): Towards a More General Concept of Inference. Logica Universalis 8(1): 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): 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: Priest, G.(1999): Semantic Closure, Descriptions and Non-Triviality. Journal of Philosophical Logic 28(6): Q Quine, W. V. O. (1947): The Problem of Interpreting Modal Logic. The Journal of Symbolic Logic 12(2): Quine, W. V. O.(1956): Quantifiers and Propositional Attitudes. The Journal of Philosophy 53(5): Quine, W. V. O.(1960): Word and Object. Cambridge (Mass.): MIT Press.

6 298 R Raclavský, J. (2003): Executions vs. Constructions. In: Logica et Methodologica 7, Bratislava: Univerzita Komenského, 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, Raclavský, J. (2008a): Explikace druhů pravdivosti. Sborník prací filozofické fakulty brněnské univerzity B 53(1): Raclavský, J. (2008b): Conceptual Dependence of Verisimilitude Vindicated. Organon F 15(3): 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): 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, Raclavský, J. (2010a): On Partiality and Tichý s Transparent Intensional Logic. Hungarian Philosophical Review 54(4): 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, Raclavský, J. (2010c): Co obnáší kontingentní existence individuí. Organon F 17(3): 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): Raclavský, J. (2011b): Sémantika jmen ve fikci: obhajoba a rozvinutí Tichého koncepce. Organon F 18(1): Raclavský, J. (2012a): Semantic Paradoxes and Transparent Intensional Logic. In: M. Peliš, V. Punčochář (eds.), The Logica Yearbook 2011, London: College Publications, Raclavský, J.(2012b): Je Tichého logika logikou?(o vztahu logické analýzy a dedukce). Filosofický časopis 60(2): Raclavský, J. (2012c): Základy explikace sémantických pojmů. Organon F 19(4): Raclavský, J.(2012d): Kontextualismus vs. minimalismus a metodologické principy. Organon F 19(4): 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, Raclavský, J. (2013a): Explikace a dedukce: od jednoduché k rozvětvené teorii typů. Organon F 20(Supplementary Issue 2):

7 299 Raclavský, J. (2013b): Co jsou Russellovy propoziční funkce. Filosofický časopis, 61(mimořádné číslo 2: Raclavský, J.(2013c): Fitchův paradox poznatelnosti a rozvětvená teorie typů. Organon F 20(Supplementary Issue 1): 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, 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): 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, Raclavský, J. (2014d): Constructional vs. Denotational Conception of Aboutness. Organon F 21(2): Raclavský, J.(2014e): Tichý s Possible Worlds. Organon F 21(4): Raclavský, J.(2014f): Mstivá forma Fitchova paradoxu a její odmítnutí v rámci typování znalosti. Organon F 21(Supplementary Issue): 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): Richard, M. (2001): Seeking a Centaur, Adoring Adonis: Intensional Transitives and Empty Terms. Midwest Studies In Philosophy 25(1): Ross, A. (1941): Imperatives and Logic. Theoria 7: Russell, B. (1903): The Principles of Mathematics. W.W. Norton & Company. Russell, B.(1905): On Denoting. Mind 14(56): Russell, B.(1908): Mathematical Logic as Based on the Theory of Types. American Journal of Mathematics 30(3): S Schönfinkel, M. (1924): Über die Bausteine der mathematischen Logik. Mathematische Annalen 92: / 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, Harvard University Press, 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):

8 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): T Tarski, A. (1933/1956): The Concept of Truth in Formalized Languages. In: J. H. Woodger (ed.), Logic, Semantics and Metamathematics, Clarendon Press, Tarski, A. (1936/1983): On the Concept of Logical Consequence. In: Logic, Semantics, Metamathematics. 2nd. ed., Indianapolis: Hackett, Tichý, J., Tichý, P. (1999): On Inference. In: T. Childers (ed.), The Logica Yearbook 1998, Praha: Filosofia, Tichý, P.(1968): Smysl a procedura. Filosofický časopis 16: Tichý, P.(1969): Intensions in Terms of Turing Machines. Studia Logica 26: Tichý, P.(1971): An Approach to Intensional Analysis. Noûs 5(3): Tichý, P.(1973): On De Dicto Modalities in Quantified S5. Journal of Philosophical Logic 2(3): Tichý, P.(1976): Introduction to Intensional Logic. Nepublikovaný ms. Tichý, P.(1978): Two Kinds of Intensional Logic. Epistemologia 1: Tichý, P.(1978a): De Dicto and De Re. Philosophia 8(1): Tichý, P.(1978b): Questions, Answers, and Logic. American Philosophical Quarterly 15(4): Tichý, P.(1978c): A New Theory of Subjunctive Conditionals. Synthèse 37(3): Tichý, P.(1979): Existence and God. The Journal of Philosophy 76(8): Tichý, P.(1980): The Logic of Temporal Discourse. Linguistics and Philosophy 3(3): Tichý, P.(1980a): The Semantics of Episodic Verbs. Theoretical Linguistics 7(3): Tichý, P.(1980b): The Transiency of Truth. Theoria 46(2 3): Tichý, P.(1982): Foundations of Partial Type Theory. Reports on Mathematical Logic 14: Tichý, P., Oddie, G.(1983): Ability and Freedom. American Philosophical Quarterly 20(2): Tichý, P.(1984): Subjunctive Conditionals: Two Parameters vs. Three. Philosophical Studies 45(2): Tichý, P.(1986): Constructions. Philosophy of Science 53(4): Tichý, P.(1986a): Indiscernibility of Identicals. Studia Logica 45(3): Tichý, P.(1986b): Two Fallacies in Formal Semantics. In: M. Frické(ed.), Essays in Honour of Bob Durrant, Dunedin: Otago University Philosophy Department, 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):

9 301 Tichý, P. (1994a): Cracking the Natural Language Code. From the Logical Point of View 3: 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, 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): Thomason, R. H. (1980): A Model Theory for Propositional Attitudes. Linguistics and Philosophy 4(1): W Whitehead, A. N., Russell, B.( ): Principia Mathematica. Cambridge University Press. von Wright, G. H.(1951): Deontic Logic. Mind 60: Z Zalta, E. N. (1988): A Comparision of Two Intensional Logics. Linguistics and Philosophy 11(1): Zlatuška, J.(1986): Data Bases and the Lambda Calculus. In: Proc. IFIP 86 World Computer Congress, Dublin, Zouhar, M. (2009): Linguistic Knowledge, Semantics, and Ideal Speakers (Some Remarks on the Methodology of Natural Language Semantics). Epistemologia 33(1):