126
BIBLIOGRAFIA
Ajdukiewicz K., [1931], O znaczeniu wyrażeń, Księga Pamiątkowa Polskiego
Towarzystwa Filozoficznego we Lwowie, s. 31–77, przedruk [w:], Ajdukiewicz [1960], s. 102–136.
Ajdukiewicz K., [1935], Die syntaktische Konnexitat, „Studia Philosophica”, I, s. 1–27.
Przekład polski O spójności syntaktycznej, [w:], Ajdukiewicz [1960], s. 222–242.
Ajdukiewicz K., [1960], Język i poznanie, t1, PWN, Warszawa. Arystoteles, Analityki pierwsze, [w:], Arystoteles, Dzieła wszystkie, t1. Arystoteles, O dowodach sofistycznych, [w:], Arystoteles, Dzieła wszystkie, t1. Arystoteles, Topiki, [w:], Arystoteles, Dzieła wszystkie, t1.
Arystoteles, Dzieła wszystkie, t1, przekład K. Leśniaka, PWN, Warszawa 1990.
Barwise J., Cooper R., [1981], Generalized Quantifiers and Natural Language,
„Linguistics and Philosophy”, 4, s. 159–219.
Belnap N. D., [1962], Tonk, Plonk and Plink, „Analysis”, 22, s. 130–134.
Benthem J. van, [1983], Determiners and Logic, „Linguistics and Philosophy”, 6, s.
447478.
Benthem J. van, [1984], Questions about Quantifiers, „The Journal of Symbolic Logic”,
49, s. 443466.
Benthem J. van, [1985], Essays in Logical Semantics, D. Reidel, Dordrecht.
Buszkowski W., [1989], Logiczne podstawy gramatyk kategorialnych Ajdukiewicza–
Lambeka, PWN, Warszawa.
Byrd M., [1989], Russell, Logicism, and the Choice of Logical Constants, „Notre Dame
Journal of Formal Logic”, 30, s. 343361.
Carnap R., [1937], Logical Syntax of Language, Harcourt and Kegan, New York.
Przekład B. Stanosz: Logiczna składnia języka, PWN, Warszawa, 1995.
Carnap R., [1942], Introduction to Semantics, Harvard University Press, Cambridge,
Mass.
Carnap R., [1950], Logical Foundations of Probability, Routlege and Kegan Paul,
London.
Carnap R., [1957], Meaning and Necessity, University of Chicago Press, Chicago,
(2 wyd. rozszerzone)
Došen C., [1980], Logical Constants: An Essay in Proof Theory, dysertacja doktorska,
University of Oxford.
Došen C., [1985], Sequent–Systems for Modal Logic, „The Journal of Symbolic Logic”,
50, s. 149168.
Došen C., [1989], Logical Constants as Punctuaction Marks, „Notre Dame Journal of
127
Došen C., Schröeder–Heister P., [1985], Conservativeness and Uniqueness, „Theoria”,
51, s. 159–173.
Dowty D., Wall R., Peters S., [1981], Introduction to Montague Semantics, D. Reidel,
Dortrecht.
Egner R. E., Dennon L. E., (red), [1961], The Basic Writings of Bertrand Russell,
Gerorge Allen and Unwin, London.
Englebretsen G., [1989], Formatives, „Notre Dame Journal of Formal Logic”, 30,
s. 382–389.
Etchemendy J., [1990], The Concept of Logical Consequence, Harvard University Press,
Cambridge, Mass.
Frege G., [1884], Die Grundlagen der Arithmetic, W. Koebner, Wrocław. Przekład
fragmentów J. Wolniewicza, [w:], Pisma logiczne, PWN, Warszawa 1977.
Gentzen G., [1934], Untersuchungen über das logische Schliessen, „Mathematische
Zeitung”, 39, s. 176–210 i s. 405–413.
Haack S., [1974], Deviant logic: Some Philosophical IssuesCambridge Univ. Press,
Cambridge.
Hacking I., [1979], What is Logic?, „The Journal of Philosophy”, 76, s. 285–319. Hájek P., Havránek T., [1977a], Mechanizing Hypothesis Formation, Springer Verlag,
Heidelberg.
Hájek P., Havránek T., [1977b], On generation of inductive hypotheses, „International
Journal of Man–Machine Studies”, 9, s. 415–438.
Halvorsen P. K., Ladusaw W. A., [1979], Montague's 'Universal Grammar': an
Introduction for the Linguist, „Linguistics nad Philosophy”, 3, s. 185–223.
Kant I., [1781], Kritik der Reiner Vernunft. Przekład polski R. Ingardena: Krytyka
czystego rozumu, PWN, Warszawa 1986.
Kant I., [1983], Prolegomena zu einer jedern Metaphysik, die als Wissenshaft wird
auftreten konnen. Przekład polski B. Bornsteina: Prolegomena do wszelkiej przeszłej metafizyki, która będzie mogła wystąpić jako nauka, PWN, Warszawa 1993.
Keenan E. L., [1981], A Boollean Approach to Semantics, [w:], Formal Methods in the
Study of Language 2, J. Gronendijk, M. Janssen, M. Stokhof, (red.), Mathematisch Centrum, Amsterdam.
Keenan E. L., Falz L., [1985], Boolean Semantics for Natural Language, D. Reidel,
Dordrecht.
Keenan E. L., Stavi J., [1986], A Semantic Characterizatin of Natural Language
Determiners, „Linguistics and Philosophy”, 9, s. 253–326.
Kneale W. C., Kneale M., [1962], The Developement of Logic, Claredon, Oxford. Kuhn S., [1981], Logical Expressions, Constants and Operator Logic, „The Journal of
Philosophy”, 78, s. 487–499.
Lindström P., [1966], First Order Predicate Logic with Generalized Quantifiers,
„Theoria”, 32, s. 186–195.
Lyons J., [1977], Semantics 2, Cambridge University Press. Przekład polski A.
Weisberga: Semantyka 2, PWN, Warszawa, 1989.
Maciaszek J., [1999], A Note on the Concept of Satisfaction in Intuitionistic Predicate
128
Maciaszek J., [2000], Behawioryzm, nominalizm i niezdeterminowanie przekładu
u Quine’a, Zeszyty Naukowe WSHE, 7, s. 91–112.
McCarthy T., [1981], The Idea of a Logical Constant, „The Journal of Philosophy”, 78,
s. 499–523.
McCarthy T., [1987], Modality, Invariance and Logical Truth, „The Journal of
Philosophical Logic”, 16, s. 423–443.
McCarthy T., [1989], Logical Form and Radical Interpretation, „Notre Dame Journal of
Formal Logic”, 30, s. 401–419.
Mill J. S., [1843], System of Logic. Przekład Cz. Znamierowskiego: System logiki
dedukcyjnej i indukcyjnej, PWN, Warszawa, 1962.
Montague R., [1970], Universal Grammar, „Theoria”, 36, s. 373–398. Przedruk [w:],
Thomason [1976], s. 223–246.
Montague R., [1973], The Proper Treatment of Quantification in Ordinary English,
[w:], Approaches to Natural Language, J. Hintikka, J. Moravcsic, P. Suppes (red.) D.Reidel, Dordrecht, s. 221–242. Przedruk [w:], Thomason [1976], s. 247–270.
Mostowski A., [1957], On a generalization of quantifiers, „Fundamenta Mathematicae”,
44, s. 12–36.
Nowaczyk A., [1999], Gramatyka i prawda, Biblioteka Myśli Semiotycznej, Warszawa. Pawłowski T., [1977], Eksplikacja, [w:], Pojęcia i metody współczesnej humanistyki,
Ossolineum, s. 33–71.
Peacocke Ch., [1976], What is a Logical Constant?, „The Journal of Philosophy”, 73, s.
221–240.
Peacocke Ch., [1981], Hacking on Logic: Two Comments, „The Journal of Philosophy”,
78, s. 168–175.
Piotr Hiszpan, Traktaty logiczne. Przekład T. Włodarczyka, PWN, Warszawa 1969. Pogorzelski W. A., [1989], Elementarny Słownik Logiki Formalnej, Dział Wydawnictw
Filli UW w Białymstoku.
Prior A. N., [1960], The Runabout Inference–Ticket, „Analysis”, 21, s. 38–39.
Quine W. V. O., [1960], Word and Object, The Technology Press od The Massachusetts
Institute of Technology.
Quine W. V. O., [1970], Philosophy of Logic, Prentice–Hall, New Jersey. Przekład
polski H. Mortimer: Filozofia logiki, PWN, Warszawa 1977.
Reichenbach H., [1947], Introduction to Symbolic Logic, MacMillan, New York. Russell B., [1903], Principles of Mathematics, George Allen and Unwin, London. Russell B., [1919], Introduction to Mathematical Philosophy, Allen & Unwin, London. Russell B., [1946], A History of Western Philosophy, Allen & Unwin, London.
Sommers F., [1970], The Calculus of Terms, „Mind”, 79, s. 1–39.
Sundholm G., [1981], Hacking's Logic, „The Journal of Philosophy”, 78, s. 160–168. Tarski A., [1936], O pojęciu wynikania logicznego, „Przegląd Filozoficzny”, 39, s. 58–
69, [w:], Jan Zygmunt (red), Alfred Tarski Pisma logiczno–filozoficzne t1, PWN, Warszawa 1995.
Tarski A., [1986], What are logical notions?, „History and Philosophy of Logic”, 7, s.
129
Tarski A., Lindenbaum A., [1936], Uber die Beschrankheit der Ausdrucksmittel
deduktiver Theorien, „Ergebnisse eines mathematischen Kolloquiums”, t.7, s. 384 – 392.
Thomason R. H. (red.), [1976], Formal Philosophy. Selected Papers of Richard
Montague, Yale University Press, New Haven.
Villegas Forero L., Maciaszek J., [1997], Tarski on logical notions, „Logica Tringuli”,
1, Nantes.
Wansing H., [1992], Sequent Calculi for Normal Propositional Logic, ILLC
Prepublication Series for Logic, Semantics and Philosophy of Language, University of Amsterdam.
Wansing H., [1998], Display Modal Logic, Kluwer, Dordrecht.
Westerståhl D., [1984], Some Results on Quantifiers, „Notre Dame Journal of Formal Logic”, 25, s. 152–170.
Westerståhl D., [1985], Logical Constants in Quantifier Languages, „Linguistics and
Philosophy”, 8, s. 387–413.
Westerståhl D., [1989], Quantifiers in Formal and Natural Languages, [w:], Handbook
of Philosophical Logic, t.IV, D. Gabbay, F. Guenthner (red.), D. Reidel, Dordrecht, s. 1– 131.
Wittgestein L., [1921], Logisch–philosophische Abhandlung, [w:], Annalen der
Naturphilosophie, t.14, s. 185–262. Przekład B. Wolniewicza: Tractatus Logico– Philosophicus, PWN, Warszawa 1970.