Mainzer, Klaus
Zur Begründung von Freges analytischen Begriffen 2. Stufe in konstruktiver Absicht
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. 90-100.
Makin, Gideon
The metaphysicians of meaning: Russell and Frege on sense and denotation
Routledge, London 2000.
Mancosu, Paolo
The philosophy of mathematical practice
Oxford University Press, Oxford 2008.
Margenau, Henry
The nature of physical reality
McGraw-Hill, New York 1960.
Einstein's conception of reality
W: Albert Einstein: Philosopher - Scientist, edited by Paul Arthur Schilpp, fourth printing, Tudor Publishing Company, New York 1957 (The library of living philosophers), s. 245-268.
Is the mathematical explanation of physical data unique?
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. 348-355.
Open vistas: philosophical perspectives of modern science
Yale University Press, New Haven 1961.
What is a theory
W: The structure of economic science: essays on methodology, edited by Sherman R. Krupp, Prentice-Hall, Englewood Cliffs, N. J., 1966, s. 25-38.
Margolis, Joseph
On names: sense and reference
"American Philosophical Quarterly" 5 (1968), s. 206-211.
Marshall, William
Frege's theory of functions and objects
"Philosophical Review" 62 (1953), s. 374-390. Także w: Essays on Frege, edited by E. D. Klemke, University of Illinois Press, Urbana, London 1968, s. 249-267. 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. 2-18.
[ K ]
Recenzja z Translations from the philosophical writings of Gottlob Frege
"The Philosophical Review" 63 (1954), s. 120-122.
[ \ ] Recenzja ogólnie pozytywna, choć niekiedy "comments by Geach seem to contain an error, or at least a misleading emphasis" (s. 121).
Sense and reference: a reply
"The Philosophical Review" 65 (1956), s. 342-361.
Także w: Essays on Frege, edited by E. D. Klemke, University of Illinois Press, Urbana, London 1968, s. 298-320.
Martin, Gottfried
Neuzeit und Gegewart in der Entwicklung des mathematischen Denkens
"Kant-Studien" 45 (1953-1954), s. 155-165. Także w: Gottfried Martin, Gesammelte Abhandlungen, Bd. I, s. 138-150.
Klassische Ontologie der Zahl
Kölner Universitäts-Verlag, Köln 1956.
Gesammelte Abhandlungen
Bd. I, Kölner Universitäts-Verlag, Köln 1961.
Martin, R. M.
On the Frege-Church theory of meaning
"Philosophy and Phenomenological Research" 23 (1963), s. 605-609.
On proper names and Frege's 'Darstellungsweise'
"The Monist" 51 (1967), s. 1-8.
Marty, Anton
Über subjektlose Sätze und das Verhältnis der Grammatik zur Logik und Psychologie
"Vierteljahrsschrift für wissenschaftliche Philosophie" 8 (1884), s. 56-94, 161-192, 292-340, 18 (1894), s. 320-356, 421-471, 19 (1895), s. 19-87, 263-334.
Maser, Siegfried
Die ontologischen Grundlagen und ihre Folgen in Werk von Gottlob Frege
Dissertation, Stuttgart 1965.
[ ~ | %_ ]
Matalon, Benjamin
Recherches sur le nombre quelconque
W: Pierre Gréco, Bärbel Inhelder, Benjamin Matalon, Jean Piaget, La formation des raisonnements récurrentiels, Études d'épistémologie génétique, publiées sous la direction de Jean Piaget, Presses Universitaires de France, Paris 1963, s. 121-141.
[ MATALON [2], [80] ]
Étude du raisonnement par récurrence sur un modèle physique
W: Pierre Gréco, Bärbel Inhelder, Benjamin Matalon, Jean Piaget, La formation des raisonnements récurrentiels, Études d'épistémologie génétique, publiées sous la direction de Jean Piaget, Presses Universitaires de France, Paris 1963, s. 283-316.
[ MATALON [3] ]
Épistémologie des probabilités
W: Logique et connaissance scientifique, Encyclopédie de la Pléiade XXII, volume publié sous la direction de Jean Piaget, Éditions Gallimard, Paris 1967, s. 526-553.
[ MATALON [1] | F ]
Mates, Benson
Leibniz on possible worlds
W: Logic, methodology and philosophy of science, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. Van Roorselaar and J. F. Staal, North-Holland Publishing Company, Amsterdam 1968, s. 507-529.
Mauro, Tullio de
Ludwig Wittgenstein. His place in the development of semantics
D. Reidel, 1967. ("Foundations of Language Supplementary Series" 3).
May, Robert (współautor)
Frege's contribution to philosophy of language
W: The Oxford Handbook
of Philosophy of Language (E. Lepore and B. Smith, eds.), Oxford University Press, Oxford 2006, s. 3–39.
Mays, Wolfe (współautor)
Les liaisons analytiques et synthétiques dans les comportements du sujet
Études d'épistémologie génétique, publiées sous la direction de Jean Piaget. Presses Universitaires de France, Paris 1957.
[ ÉTUDES IV 1957 ]
McCulloch, Gregory
Frege, Sommers, singular reference
"The Philosophical Quarterly" 34 (1984), s. 295-310.
[ ~ | %_ | %x ] Dotyczy rozróżnienia wprowadzonego przez Sommersa w (chyba) The logic of natural language między TFL (traditional formal logic, traditional term logic) i MPL (modern predicate logic, Fregean type of logic).
McIntyre, Ronald (współautor)
Husserl and intentionality
D. Reidel Publishing Company, Dordrecht-Boston-Lancaster 1984.
[ k | pF ix-x, xiii-xviii, 1-40, 61-82, 85-86, 87-226, 227, 266-267, 278-295, 306-307, 308-309, 316-353, 354, 407-415 ] First published in 1982 Reidel, "Synthese Library", vol. 154.
McKinsey, J. C. C.
A new definition of truth
"Synthese" 7 (1949), s. 428-433.
McKinsey, Michael
Names and intentionality
"The Philosophical Review" 87 (1978), s. 171-200.
[ = ]
Mehlberg, Henryk
The present situation in the philosophy of mathematics
W: Logic and language, Studies Dedicated to Professor Rudolf Carnap on the Occasion of his Seventieth Birthday, edited by B. H.. Kazemier & D. Vuysje, D. Reidel Publishing Company, Dordrect, Holland, 1962, s. 69-103.
[ F ] Oryg. "Synthese" 12 (1960), s. 380-412.
Mélanges Alexandre Koyré : publiés à l'occasion de son soixante-dixième anniversaire
Mélanges Alexandre Koyré : publiés à l'occasion de son soixante-dixième anniversaire
Hermann, Paris 1964.
Dwa tomy: 1. L'aventure de la science.--2. L'aventure de l'esprit
Melnick, Arthur
The geometry of a form of intuition
"Topoi" 3 (1984), s. 163-168. Także w: Kant's philosophy of mathematics, Carl J. Posy, editor. Kluwer Academic Publishers, Dordrecht 1992, s. 245-255.
Mendelsohn, Richard L.
Frege's Begriffsschrift theory of identity
"Journal of the History of Philosophy" 20 (1982), s. 279-299.
Frege's two senses of 'is'
"Notre Dame Journal of Formal Logic" 28 (1987), s. 139-160.
"It is widely believed that there are two senses of 'is', the 'is' of identity and the 'is' of predication, and that this distinction was clearly drawn by Frege in On Concept and Object, although it was anticipated by others, perhaps, e.g., by Plato in the Sophist. As opposed to this received view, I will argue that Frege had not successfully distinguished two senses of 'is', indeed that his argument leads to precisely the opposite conclusion; on the other hand, the distinction Plato had supposedly drawn in the Sophist, which seems to rest on a semantics Frege was explicitly rejecting, is, given that semantic framework, viable.
Frege had introduced this distinction in order to buttress his view that proper names could not serve as genuine predicates: a proper name occupying ostensible predicate position could not be functioning as a predicate because the 'is' in such a statement would have to be the 'is' of identity, not the 'is' of predication.
I will argue that Frege had been mistaken on this point as well. More generally, I will argue that Frege's theoretical analysis of language is not, as he had thought, incompatible with proper names being allowed to play a genuinely predicative role.
My remarks are prompted by Michael Lockwood's stimulating article, On Predicating Proper Names (1975), which contains an extensive and detailed criticism of Frege's position." (http://www.formalontology.it/existence-predication-biblio.htm)
Frege had introduced this distinction in order to buttress his view that proper names could not serve as genuine predicates: a proper name occupying ostensible predicate position could not be functioning as a predicate because the 'is' in such a statement would have to be the 'is' of identity, not the 'is' of predication.
I will argue that Frege had been mistaken on this point as well. More generally, I will argue that Frege's theoretical analysis of language is not, as he had thought, incompatible with proper names being allowed to play a genuinely predicative role.
My remarks are prompted by Michael Lockwood's stimulating article, On Predicating Proper Names (1975), which contains an extensive and detailed criticism of Frege's position." (http://www.formalontology.it/existence-predication-biblio.htm)
The philosophy of Gottlob Frege
Cambridge University Press, 2005.
Stron 246. Fragment recenzji Kevina C. Klementa: "This book is a thoughtful, provocative and well-written piece of philosophy dedicated to Gottlob Frege's philosophical views concerning language and philosophical logic. Despite its general sounding title, the work does not treat other areas of Frege's philosophical works, such as his philosophy of mathematics. Nevertheless, a wide variety of topics are addressed: Frege's sense/reference distinction, the function/argument analysis of language, identity, existence, names, descriptions, quotation, referential opacity, assertion and truth. While portions of the work have appeared in print before, most of the volume is new, and older material has been revised and integrated within the whole. Although it contains a fair number of (mostly minor) flaws, it is, on the whole, a valuable contribution to the philosophy of language and secondary literature on Frege." (http://ndpr.nd.edu/review.cfm?id=4661).
Mendelson, E.
On non-standard models for number theory
W: 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. 259-268.
[ ^ ]
Menger, Karl
Der Intuitionismus
"Blätter für deutsche Philosophie" 4 (1930), s. 311-325.
[ MENGER [1] | F ]
The theory of relativity and geometry
W: Albert Einstein: Philosopher - Scientist, edited by Paul Arthur Schilpp, fourth printing, Tudor Publishing Company, New York 1957 (The library of living philosophers), s.459-474.
[ MENGER [1] | F ]
An axiomatic theory of functions and fluents
W: The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958, edited by Leon Henkin, Patrick Suppes and Alfred Tarski, North-Holland Publishing Company, Amsterdam 1959, s. 454-473.
[ MENGER [2] | F ]
A counterpart of Occam's razor in pure and applied mathematics
W: Logic and language, Studies Dedicated to Professor Rudolf Carnap on the Occasion of his Seventieth Birthday, edited by B. H.. Kazemier & D. Vuysje, D. Reidel Publishing Company, Dordrect, Holland, 1962, s. 104-117.
[ F ]
Menne, Albert
Logik und Existenz
Westkulturverlag Anton Hain, Meisenheim/Glan 1954.
[ = | %_ ] Stron 153.
Metallman, Joachim
O jasnym i niejasnym stylu filozoficznym
"Ruch Filozoficzny" 5 (191901920), s. 43-44.
[ K ]
Meunier, Emil
Henri Poincarés Theorie der wissenschaftlichen Methodik
München 1919.
[ MEUNIER [1] ] Dissertation (Ludwig-Maximilians-Universität München 1919).
Meyerson, Émile
La déduction relativiste
Payot, Paris 1925.
Du cheminement de la pensée
Librairie Félix Alcan, Paris 1931.
[ [4], [83] ]
Mézáros, István
The possibility of a dialogue
W: British analytical philosophy, edited by Bernard Williams and Alan Montefiore, Routledge and Kegan Paul 1966, s. 311-334.
[ F ]
Michaëlis, C. Th.
Recenzja z Gottlob Frege, Begriffsschrift
"Zeitschrift für Völkerpsychologie und Sprachwissenschaft", 12 (1880), s. 232-240.
Przedruk w: Gottlob Frege, Conceptual Notation and Related Articles, translated and edited, with a Biography and Introduction by Terrell Ward Bynum, Oxford, at the Clarendon Press 1972 (na odwrocie strony tytułowej Oxford University Press 1972), s. 212-218.
Michel, Paul-Henri
Les notions de continu et de discontinu dans les systèmes physiques de Bruno et de Galilée
W: Mélanges Alexandre Koyré, Hermann, Paris 1964, tom II.
Midwest Studies in Philosophy VI: The Foundations of Analytic Philosophy
Midwest Studies in Philosophy VI: The Foundations of Analytic Philosophy
Peter French et al. (eds.), University of Minnesota Press, Minneapolis 1981.
Mill, John Stuart
System logiki
PWN, Warszawa 1962.
Miller, J. Philip
Numbers in presence and absence
Martinus Nijhoff Publishers, The Hague-Boston-London 1982.
MILLER 1982.
Mind and language
Mind and language
Samuel Guttenplan (ed.), Clarendon Press, Oxford 1975.
Mohanty, J. N.
Husserl and Frege: a new look at their relationship
"Research in Phenomenology" 4 (1974), s. 51-62.
Husserl and Frege
Indiana University Press, Bloomington 1982.
[ F -(117-129) angielski przekład korespondencji Frege-Husserl ]
Moler, Nancy, Suppes, Patrick
QUantifier-free axioms for constructive plane geometry
W: Logic and foundations of mathematics, dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff, Groningen 1968, s. 143-152.
[ = | ^ ]
Montague, Richard
Fraenkel's addition to the axioms of Zermelo
W: 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. 91-114.
[ ^ ]
Towards a geneal theory of computability
W: Logic and language, Studies Dedicated to Professor Rudolf Carnap on the Occasion of his Seventieth Birthday, edited by B. H. Kazemier & D. Vuysje, D. Reidel Publishing Company, Dordrect, Holland, 1962,
Oryg. "Synthese" 12 (1960), s. 429-438.
Two contributions to the foundations of set theory
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, 94-110.
[ = | ^ ]
Set theory and higher-order logic
W: Formal systems and recursive functions : proceedings, edited by J.N. Crossley and M.A.E. Dummett, North-Holland Pub. Co., Amsterdam 1965, s. 131-148.
Mooij, J. J. A.
La philosophie des mathématiques de Henri Poincaré
Gauthier-Villars, Paris (E. Nauwelaerts, Louvain) 1966.
[ F ] J[an] J[ohann] A[lbinn] Mooij.
La philosophie géométrique de Henri Poincaré<
W: E. W. Beth Memorial Colloquium, Logic and Foundations of Science, Paris, Institut Henri Poincaré, 19-21 May, 1964, edited by Jean-Louis Destouches, Reidel, Dordrecht-Holland 1968, s. 59-71.
[ MOOIJ [2] ] Prawie pokrywa się z pierwszym rozdziałem książki Mooija La philosophie des mathématiques de Henri Poincaré.
Morf, Albert (współautor)
Les liaisons analytiques et synthétiques dans les comportements du sujet
Études d'épistémologie génétique, publiées sous la direction de Jean Piaget. Presses Universitaires de France, Paris 1957.
[ ÉTUDES IV 1957 ]
Morgenstern, Oskar (współautor)
Theory of games and economic behavior
With an introduction by Harold Kuhn and an afterword by Ariel Rubinstein,Princeton University Press, Princeton 2007.
Autorzy: Johann von Neumann, Oskar Morgenstern. Wyd. oryg. 1944.
Mortan, Günter
Gottlob Freges philosophische Bedeutung
Dissertation. Jena 1954.
[ %b ] Stron 135.
Einige Bemerkungen zur Überwindung des Psychologismus durch G. Frege und E. Husserl
Atti del XII Congresso Internazionale di Filosofia 1958, vol. 12, Sansoni, Firenze 1961, s. 327-334.
[ %b ]
Moss, J. M. B.
Recenzja z: Michael D. Resnik, Frege and the philosophy of mathematics
"The Journal of Philosophy" 79 (1982), s. 497-511.
Michael D. Resnik, Frege and the philosophy of mathematics, Cornell University Press, Ithaca and London 1980.
Mostowski, Andrzej
Logika matematyczna
Warszawa-Wrocław 1948.
Recenzja z Beth, Les fondements logiques des mathématiques
"Studia Logica" 4 (1956), s. 261-264.
Dotyczy drugiego, zmienionego wydania książki Betha.
Recenzja z Henryk Greniewski, Elementy logiki formalnej
"Studia Logica" 4 (1956), s. 272-277.
Krytyczne uwagi Mostowskiego o "pedanterii i suchości stylu" i sugestia, że logicy w ogóle powinni zachować umiar w dążeniu do jak największej precyzji, bo przesadna i niepotrzebna formalizacja jest wadą (s. 275-276).
Logika matematyczna na Międzynarodowym Kongresie Matematyków w Amsterdamie
"Studia Logica" 4 (1956), s. 245-253 [bez streszczeń].
Tendencja do powiązania logiki z algebrą (w związku z tym wzrost znaczenia twierdzeń Gödla o zupełności węższego rachunku funkcyjnego); intensywne badania nad rozstrzygalnością systemów aksjomatycznych; "zupełny niemal odwrót od prac opisujących sformalizowane systemy logiczne" (s. 252) - przesunięcie ciężkości badań logicznych w kierunku zagadnień metamatematycznych; "problematyka ogólnej teorii mnogości jest bliska wyczerpaniu" (s. 252); "słaba pozycja kierunków konstruktywnych" (s. 252).
Concerning the problem of axiomatizability of the fied of real numbers in the weak second order logic
W; 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. 269-286.
[ MOSTOWSKI [3] ]
Thirty years of foundational studies. Lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
"Acta Philosophica Fennica" fasc. XVII, Helsinki 1965.
[ MOSTOWSKI [1] | N ]
Matematyka a logika
"Wiadomości Matematyczne" XV, 1972, s. 79-89.
Mostowski, Andrzej (współautor)
Teoria mnogości
Wydanie drugie rozszerzone. PWN, Warszawa 1966.
[ D ] Autorzy: Kazimierz Kuratowski, Andrzej Mostowski.
Mostowski, Andrzej, Robinson, Raphael M., Tarski, Alfred
Undecidability and essential undecidability in arithmetic
W: Alfred Tarski, Andrzej Mostowski, Raphael M. Robinson, Undecidable theories, North-Holland Publishing Company, Amsterdam 1953.
Myhill, John
Two ways of ontology in modern logic
"The Review of Metaphysics" 5 (1952), s. 639-655.
Finitely representable functions
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. 195-207.
[ = | ^ ]
Recursive equivalence types and combinatorial functions
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. 46-55.
[ ^ ]
Mysłakowski, Zygmunt
Nowa epistemologia. (Rzecz o Meyersonie)
"Kwartalnik Filozoficzny" 1 (1922-1923), s. 87-120.