literatura


A  B  C  D  E  F  G  H  I  J  K  L  Ł  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z
Kahan, Théo
Hasard et physique. La science a-t-elle changé de base mathématique?
W: Les grands courants de la pensée mathématique, présentés par F. Le Lionnais, Cahiers du Sud, 1948, s. 422-433.
[ KAHAN [1] | N ]
Kalmár, László
Foundations of mathematics - whither now?
W: Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London 1965. Vol. 1, edited by I. Lakatos, University of London, North-Holland Pub. Co., Amsterdam 1967, s. 187-194.
[ KALMÁR [1] ] Tekst s. 187-194 + Discussion (Heyting, Kleene, Bernays, Bar-Hillel, Lakatos, Kalmár), s. 195-207. Empirical foundations of mathematics.
Kaluza, Th.
Zum Unitätsproblem der Physik
Sitzungsber. d. Preuss. Akad. d. Wiss. 966 (1921).
Kambartel, Freidrich
Formales und inhaltliches Sprechen
W: Das Problem der Sprache, 8. Deutscher Kongress für Philosophie, Heidelberg 1966, hrsg. Hans-Georg Gadamer, Wilhelm Fink, München 1967, s. 293-312.
Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie
W: Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973. Herausgegeben von Christian Thiel, Verlag Anton Hain, Meisenheim am Glan 1975, s. 77-89.
[ D ]
Kamlah, Andreas
An improved definition of 'theoretical in a given theory
"Erkenntnis" 10 (1976), s. 349-359.
Kant, Immanuel
Krytyka czystego rozumu
PWN, Warszawa 1957.
Prolegomena do wszelkiej przyszłej metafizyki, która będzie mogła wystąpić jako nauka
PWN, Warszawa 1960.
Kant's philosophy of mathematics
Kant's philosophy of mathematics
Carl J. Posy, editor. Kluwer Academic Publishers, Dordrecht 1992.
Stron x + 370.
Kaplan, David Benjamin
Foundations of intensional logic
University Microfilms International, Los Angeles 1964.
Doctoral Dissertation.
How to Russell a Frege-Church
"Journal of Philosophy" 72 (1975), s. 716-729.
Kasner, Edward, Newman, James
Mathematics and the imagination
Simon and Schuster,New York 1940.
Kattsoff, Louis Osgood
A philosophy of mathematics
The Iowa State College Press, Ames, Iowa 1948.
Katz, Jerrold J.
The theory of semantic representation
"Erkenntnis" 136 (1978), s. 63-109.
Semantics and conceptual change
"The Philosophical Review" 88 (1979), s. 327-365.
Katz, Jerrold J., Postal Paul
Realism vs. conceptualism in linguistics
"Linguistics and Philosophy" 14 (1991), s 515-554.
Kaufman, Felix
Das Unendliche in der Mathematik und seine Ausschaltung
Franz Deuticke, Leipzig und Wien 1930.
Kauppi, Raili
Über Sinn, Bedeutung und Wahrheitswert der Sätze
"Acta Academica Paedagogicae Jyväskyläensis" 17 (1959), s. 205-213.
Keene, G. B.
Analytic statements and mathematical truth
"Analysis" 16 (1956), s. 86-90.
Keferstein, H.
Über den Begriff der Zahl
"Festschrift der Mathematischen Gesellschaft in Hamburg", 1890, s. 119–125.
Keisler, H. Jerome
Some applications of the theory of models to set theory
Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress., edited by Ernest Nagel, Patrick Suppes, Alfred Tarski, Stanford University Press, Stanford, California, 1962, s. 80-86.
[ KEISLER [1] | = ^ ]
Keisler, H. Jerome (współautor)
Model theory
Studies in Logic and the Foundations of Mathematics, volume 73. North-Holland Publishing Company, Amsterdam-New York-Oxford-Tokyo 1973.
[ CHANG, KEISLER [1] ]
Kelkel, Lothar, Scherer, René
Husserl: sa vie, son oeuvre, avec un exposé de sa philosophie
Presses Universitaires de France, Paris 1964.
Kemeny, John G., Oppenheim, Paul
Systematic power
"Philosophy of Science" 22 (1955), s. 27-35.
Kenny, Anthony
Pn reduction
"Philosophical Studies" 7 (1955), s. 6-19.
Frege: an introduction to the founder of modern analytic philosophy
Blackwell Publishing, 2000.
Kerry, Benno
Über Anschauung und ihre psychische Verarbeitung
"Vierteljahrschrift für wissenschaftliche Philosophie" 9 (1885), s. 433-493; 10 (1886), s. 419-467; 11 (1887), s. 53-116, s. 249-307; 13 (1889), s. 71-124, s. 392-419; 14 (1890), s. 317-353; 15 (1891), s. 127-167.
System einer Theorie der Grenzbegriffe. Ein Beitrag zur Erkenntnistheorie. Erster Theil
Gustav Kohn, Franz Deuticke, Leipzig - Wien 1890.
Wydana była tylko część pierwsza.
Khatchadourian, Haig
Frege on Concepts
"Theoria" 22 (1956), s. 85-100.
Kisiel, Theodore, Johnson, Galen
New philosophies of science in the USA
"Journal for General Philosophy of Science" 5 (1974), s. 138-191.
Kitcher, Patricia
Kant's parallogisms
"The Philosophical Review" 91 (1982), s. 515-547.
Kitcher, Philip
Kant and foundations of mathematics
W: Kant's philosophy of mathematics, Carl J. Posy, editor. Kluwer Academic Publishers, Dordrecht 1992, s. 109-131.
Oryg. w "The Philosophical Review" 84 (1975).
Frege's epistemology
"The Philosophical Review" 88 (1979), s. 235-262.
[ K ]
The Nature of Mathematical Knowledge
Oxford University Press, New York, Oxford, 1983.
Stron ix + 287.
Frege, Dedekind, and the philosophy of mathematics
W: Frege synthesized, ed. by Leila Haaparanta and Jaakko Hintikka, D. Reidel Publishing Company, Dordrecht 1986, s. 299-343. Także w: The philosophy of Frege, a collection of essay in four volumes, edited by Hans Sluga, Garland Publishing, New York 1993, vol. 2, s. 355-399.
Kleene, Stephen Cole
Countable functionals
W: Constructivity in mathematics, Proceedings of the International Colloquium "Constructivity in Mathematics" (Amsterdam, Netherlands, 1957), edited by Arend Heyting, North-Holland Publishing Company, Amsterdam 1959, s. 81-100.
[ KLEENE [4] | = | ^ ]
Realizability
W: Constructivity in mathematics, Proceedings of the International Colloquium "Constructivity in Mathematics" (Amsterdam, Netherlands, 1957), edited by Arend Heyting, North-Holland Publishing Company, Amsterdam 1959, s. 285-289.
[ KLEENE [5] | = | ^ ]
Turing-machine computable functionals of finite types 1
W: Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress., edited by Ernest Nagel, Patrick Suppes, Alfred Tarski, Stanford University Press, Stanford, California, 1962, s. 38-45.
[ KLEENE [3] ]
Mathematical logic
John Wiley & Sons, Inc., New York, London, Sydney 1967.
[ [53] ]
Kleene, Stephen Cole, Vesley, R. E.
The foundations of intuitionistic mathematics, especially in relation to recursive functions
North-Holland Publishing Company, Amstersam 1965.
[ KLEENE, VeSLEY [1] | ^ ]
Klein, Felix
Über die sogenannte nicht-Euklidische Geometrie
"Mathematische Annalen" 4 (1871), s. 573-625.
Vergleichende Betrachtungen über neuere geometrische Forschungen
A. Deichert, Erlangen 1872.
Klein, Jacob
Phenomenology and the history of science
W: Philosophical studies in memory of Edmund Husserl, edited by Marvin Farber, Greenwood Press, New York 1968.
Klemke, E. D.
Professor Bergmann and Frege's hidden nominalism
"The Philosophical Review" 4 (1968), s. 507-514.
Także w Essays on Frege, edited by E. D. Klemke, University of Illinois Press, Urbana, London 1968, s. 68-76.
Frege's philosophy of logic
"Revue Internationale de Philosophie" 130 (1979), s. 666-693.
Kluge, Eike-Henner W.
Introduction
W: Gottlob Frege, On the foundations of geometry and formal theories of arithmetic, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London 1971, s. xi-xlii.
Freges Begriff des Logischeinfachen
W: Studien zu Frege / Studies on Frege, Matthias Schirn (Hrsg.), Frommann-Holzboog, Stuttgart-Bad Cannstatt, 1976, Bd. 2., s. 51-66.
Frege, Leibniz et alii
"Studia Leibnitiana" 9 (1977), s. 266-274.
The Metaphysics of Gottlob Frege: an essay in ontological reconstruction
Martinus Nijhoff Publishers, The Hague/Boston/London 1980.
[ KLUGE 1980 | F (41-229)+(291-296) ]
Kmita, Jerzy
Szkice z teorii poznania naukowego
PWN, Warszawa 1976.
Słowo wstępne
W: Karl R. Popper, Logika odkrycia naukowego, PWN, Warszawa 1977, s. 11-19.
Kneale William, C., Kneale, Martha
The development of logic
Oxford University Press, London 1962.
Kneale, Martha (współautor)
The development of logic
Oxford University Press, London 1962.
Autorzy: William C. Kneale, Martha Kneale.
Kneale, William
Gottlob Frege and mathematical logic
W: The revolution in philosophy, with an introduction by Gilbert Ryle, Macmillan, St. Martin's Press, New York, 1956, s. 26-40.
Kockelmans, Joseph J.
Reflections on Lakatos' methodology of scientific research programs
W: The structure and development of science, edited by Gerard Radnitzky, Gunnar Andersson, D. Reidel Publishing Company, Dordrecht-Holland 1979, s. 187-203.
Kołakowski, Leszek
Filozofia nieinterwencji. Głos w dyskusji nad radykalnym konwencjonalizmem
"Myśl Filozoficzna" 2 (1953), s. 335-373.
Filozofia pozytywistyczna. Od Hume'a do Koła Wiedeńskiego
PWN, Warszawa 1966.
O co nas pytają wielcy filozofowie. Seria I
Wydawnictwo "Znak", Kraków 2005.
Czy Pan Bóg jest szczęśliwy i inne pytania
Wybór i układ Zbigniew Mentzel. Wydawnictwo Znak, Kraków 2009.
Kordig Carl R.
On prescribing description
"Synthese" 18 (1968), s. 459-461.
Feyerabend and radical meaning variance
"Noûs" 4 (1970), s. 399-404.
Objectivity, scientific change, and self-reference
"Proceedings of the Biennial Meeting of the Philosophy of Science Association" 1970 (1970), s. 519-523.
The comparability of scientific theories
"The Philosophy of Science" 38 (1971), s. 467-485.
Scientific transitions, meaning invariance, and derivability
"The Southern Journal of Philosophy" 9 (1971), s.119-125.
The theory-ladeness of observations
"The Review of Metaphysics" 24 (1971), s. 448-484.
Observational invariance
"The Philosophy of Science" 40 (1973), s. 558-569.
Discovery and justification
"The Philosophy of Science" 45 (1978), s. 110-117.
Kotarbiński, Tadeusz
Elementy teorii poznania, logiki formalnej i metodologii nauk
Ossolineum 1961
Koyré, Alexandre
Études galiléennes
Hermann, Paris 1939.
Trzy tomy: 1: A l'aube de la Science Classique, 2: La loi de la chute des corps. Descartes et Galilée, 3: Galilée et la loi d'inertie.
From the Closed World to the Infinite Universe
Baltimore, The Johns Hopkins University Press 1957.
Przekład franc.: Du monde clos à l’univers infini, trad. Raïssa Tarr. Paris, Presses Universitaires de France, 1962 (także Paris, Gallimard, 2003). Przekład polski: Od zamkniętego świata do nieskończonego wszechświata, Wydawnictwo słowo/obraz terytoria, Gdańsk 1998.
Études d’histoire de la pensée scientifique
Gallimard, Paris, 1966.
Także 1973, 1985, 1992
Körner, Stephan
The philosophy of mathematics. An introductory essay
Hutchinson Univ. Libr., London 1960.
On the relevance of post-gödelian mathematics to philosophy
W: Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London 1965, Vol. 1. Edited by I. Lakatos, University of London, North-Holland Pub. Co., Amsterdam 1967, s. 118-132.
[ KÖRNER [2] | F ] W Problems in the Philosophy of Mathematics strony 118-132 + Duscussion (Müller, Bar-Hillel, Körner), s. 133-137.
Kreisel, Georg
Interpretation of analysis by means of constructive functionals of finite types
W: Constructivity in mathematics, Proceedings of the International Colloquium "Constructivity in Mathematics" (Amsterdam, Netherlands, 1957), edited by Arend Heyting, North-Holland Publishing Company, Amsterdam 1959, s. 101-128.
[ KREISEL [5] ]
Mathematical significance of consistency proofs
"Journal of Symbolic Logic" 23 (1958), s. 155-182.
Foundations of intuitionistic logic
W: Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, Alfred Tarski, Stanford University Press, Stanford, California, 1962, s. 198-210.
[ KREISEL [1] | F ]
Hilbert's programme
W: Philosophy of mathematics, selected readings, edited and with an introduction by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Englewood Cliffs, New Jersey 1964, s. 157-180.
[ KREISEL [2] | F ] Oryg. (nieco inna wersja) w: "Dialectica" 12, 1958, s. 346-372.
Informal rigour and completeness proofs
W: Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London 1965, Vol. 1. Edited by I. Lakatos, University of London, North-Holland Pub. Co., Amsterdam 1967, s. 138-171.
[ KREISEL [3] ] Strony 138-171 + Discussion (Bar-Hillel, Heyting, Myhill, Kreisel), s. 172-186.
Lawless sequences of natural numbers
W: Logic and foundations of mathematics, dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff, Groningen 1968, s. 222-248.
[ KREISEL [6] ]
Some facts from the theory of proofs and some fictions from general proof theory
W: Essays on mathematical and philosophical logic, Proceedings of the fourth scandinavian logic symposium and of the first soviet-finnish logic conference, Jyväskylä, Finland, June 29-July 6, 1976, edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen. D. Reidel Publishing Company, Dordrecht-Boston-London 1979, s. 3-23.
Kreisel, Georg, Lacombe, Daniel, Shoenfield, J. R.
Partial recursive functionals and effective operations
W: Constructivity in mathematics, Proceedings of the International Colloquium "Constructivity in Mathematics" (Amsterdam, Netherlands, 1957), edited by Arend Heyting, North-Holland Publishing Company, Amsterdam 1959, s. 290-297.
[ ^ ]
Kripke, Saul
Outline of a theory of truth
"Journal of Philosophy" 72 (1975), s. 690-716.
Naming and necessity
Harvard University Press, Cambridge (Massachusetts) 1980.
Wyd. drugie.
Księga pamiątkowa ku uczczeniu dwudziestopięcioletniej działalności nauczycielskiej na katedrze filozofii w Uniwersytecie Lwowskim Kazimierza Twardowskiego
Księga pamiątkowa ku uczczeniu dwudziestopięcioletniej działalności nauczycielskiej na katedrze filozofii w Uniwersytecie Lwowskim Kazimierza Twardowskiego
Lwów 1921.
[ KSIĘGA PAMIĄTKOWA 1921 ] = "Przegląd Filozoficzny" 23 (1920).
Kuhn, Thomas S.
Les notions de causalité dans le développement de la physique
W: Les théories de la causalité, Études d'épistémologie génétique sous la direction de Jean Piaget, tom 25, P.U.F., Paris 1971, s. 7-18.
Küng, Guido
Ontology and the logistic analysis of language
Revised edition. Translated from the German by E. C. M. Mays, and revised by the author. D. Reidel Publishing Company, Dordrecht-Holland 1967.
[ F (66-187)+(188-200)] Oryg. Ontologie und logistische Analyse der Sprache, Springer-Verlag, Wien 1963.
Recenzja z J. N. Mohanty, Husserl and Frege
"Philosophy and Phenomenological Research" 46 (1985-1986), s. 344-348.
[ K ]
Kuntze, Friedrich
Zum Gedächtnis an Henri Poincaré
"Kantstudien" 17 (1912), s. 337-348.
[ KUNTZE [1] ]
Kuratowski, Kazimierz
Über eine geometrische Auffassung der Logistik
"Annales de la Sociétés Polonaise de Mathématique" IX (1931), s. 201.
Por. Kazimierz Kuratowski, Alfred Tarski, Les opérations logiques et les ensembles projectives.
Wstęp do teorii mnogości i topologii
Wydanie drugie, zmienione. PWN, Warszawa 1962.
Kuratowski, Kazimierz, Mostowski, Andrzej
Teoria mnogości
Wydanie drugie rozszerzone. PWN, Warszawa 1966.
[ D ]
Kuratowski, Kazimierz, Tarski, Alfred
Les opérations logiques et les ensembles projectives
"Fundamenta Mathematica" 17 (1931), s. 240-248.
Pod tytułem Logical operations and projective sets w Alfred Tarski, Logic, semantics, metamathematics, s. 143-151. Główne rezultaty były przedstawione przez autorów w PTM, Lwów, w dwóch odczytach z 1920. Streszczenia tych odczytów, zob. Kazimierz Kuratowski, Über eine geometrische Auffassung der Logistik i Alfred Tarski, Über definierbare Mengen reeller Zahlen.
Kurepa, G.
On rank-decreasing functions
Essays on the foundations of mathematics, dedicated to A. A. Fraenkel, on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson, North-Holland Publishing Company, Amsterdam 1962, s. 248-258.
[ ^ ]
Kutschera, Franz von
Gottlob Frege. Eine Einführung in sein Werk
Walter de Gruyter, Berlin-New York 1989.
Kuyk, Willem
Complementarity in mathematics: A first introduction to the foundations of mathematics and its history
D. Reidel Pub. Co. (Dordrecht, Holland and Boston and Hingham, Mass.) 1977.