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): A Formulation of the Logic of Sense and Denotation. 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 and Tichý’s Development of the 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, (v tisku). 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.
