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
Gabriel, Gottfried
Definitionen und Interessen. Über die praktischen Grundlagen der Definitionslehre
Stuttgart - Bad Cannstatt 1972.
Einige Einseitigkeiten des Fregeschen Logikbegriffs
W: Studien zu Frege / Studies on Frege Matthias Schirn (hrsg.), Frommann-Holzboog, Stuttgart-Bad Cannstatt, 1976, t. 2, s. 67-86.
Fregean connection: Bedeutung, value and truth-value
"The Philosophical Quarterly" 34 (1984), s. 372-376.
Galois, Evariste
Manuscrits de Evariste Galois
Publiés par Jules Tannery, Gauthier-Villars, Paris 1908.
Gasking, D. A. T.
Mathematics and the world
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. 390-403.
[ GASKING [1] | F ] Oryg. w: "The Australasian Jurnal of Philosophy", 18, no. 2 (September 1940), s. 97-116. Autor: D.[ouglas] A.[idan] T.[rist] Gasking.
Geach, Peter Thomas
Russell's theory of descriptions
"Analysis", vol. 10, no. 4, 1950, s. 84-88.
[ GEACH 1950 | = | \ ] Przedruk w Philosophy and analysis, ed. Margaret Macdonald, Basil Blackwell, Oxford 1954. Przekład polski: Russellowska teoria deskrypcji, w Logika i język, wyboru dokonał, przełożył oraz wstępem i przypisami opatrzył Jerzy Pelc, PWN, Warszawa 1967, s. 443-449. Krytyka Russellowskiej teorii deskrypcji. Dwie wzmianki o Fregem: s. 444 z odsyłaczem do Über Sinn und Bedeutung i 448.
Quine on classes and properties
"The Philosophical Review" 62 (1953), s. 409-412.
[ K ] Także w: Essays on Frege, edited by E. D. Klemke, University of Illinois Press, Urbana, London 1968, s. 479-484.
Class and concept
"The Philosophical Review" 64 (1955), s. 561-570. 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. 47-56.
Aquinas
W: Gertrude Elizabeth Margaret Anscombe, Peter Thomas Geach, Three philosophers, Blackwell, Oxford 1961, s. 69-125.
Frege
W: Gertrude Elizabeth Margaret Anscombe, Peter Thomas Geach, Three philosophers, Blackwell, Oxford 1961, s. 131-162.
Reference and generality: an examination of some medieval and modern theories
Cornell University Press, Ithaca, New York, 1962.
[ k | pF 151-153, 161-167, 178-180 | \ | _ ] Stron xx + 202. O ile wiem, były też wydania 1968 i 1980. Pozycja często cytowana w literaturze. Sporo wzmianek o Fregem.
Logic matters
Basil Blackwell, Oxford 1972.
Saying and showing in Frege and Wittgenstein
W: Essays on Wittgenstein in Honour of G.H. von Wright, edited by Jaakko Hintikka, "Acta Philosophica Fennica" 28 (1976), s. 54-70. 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. 148=164.
Geach, Peter Thomas (współautor)
Three philosophers
Blackwell, Oxford 1961.
Autorzy: Gertrude Elizabeth Margaret Anscombe, Peter Thomas Geach.
Germain, Paul
Les grandes lignes de l'évolution des mathématiques
W: Les grands courants de la pensée mathématique, présentés par F. Le Lionnais, Cahiers du Sud, 1948, s. 226-241.
[ GERMAIN [1] | F ]
Gentzen, G.
Untersuchungen über das logische Schliessen, I-II.
"Mathematische Zeitschrift" 39 (1934-1935), s. 176-210, 405-431.
[ GENTZEN [1] ] Przekład angielski w "American Philosophical Quarterly" 1 (1964), s. 288-306, 2 (1965), s.204-218.
Germain, Sophie
Considérations générales sur l'état des sciences et des lettres, aux différentes époques de leur culture
Imprimerie de Lachevardière, Paris 1833.
[ GERMAIN [1] | F ]
Gewirth, Alan
The distinction between analytic and synthetic truths
"Journal of Philosophy" 50 (1953), s. 397-425.
Geymonat, Ludovico
Filozofia a filozofia nauki
PWN, Warszawa 1966.
[ GEYMONAT [1] | D ] Przekład z wł.: Filosofia e filosofia della scienza, Giangiacomo Feltrinelli Editore, Milano 1960.
Giardino, Valeria
Intuition and visualization in mathematical problem solving
"Topoi" 29 (2010)s, 29-39.
"In this article, I will discuss the relationship between mathematical intuition and mathematical visualization. I will argue that in order to investigate this relationship, it is necessary to consider mathematical activity as a complex phenomenon, which involves many different cognitive resources. I will focus on two kinds of danger in recurring to visualization and I will show that they are not a good reason to conclude that visualization is not reliable, if we consider its use in mathematical practice. Then, I will give an example of mathematical reasoning with a figure, and show that both visualization and intuition are involved. I claim that mathematical intuition depends on background knowledge and expertise, and that it allows to see the generality of the conclusions obtained by means of visualization." (philpapers.org/browse/mathematical-intuition)
Giedymin, Jerzy
Science and convention: essays on Henri Poincaré's philosophy of science and the conventionalist tradition
Pergamon Press, Oxford 1982.
Gillies, Donald
Recenzja z Crispin Wright, Frege's conception of numbers as objects
"Mind" 93 (1984), s. 613-617.
Gilmore, P. C.
Attributes, sets, partial sets and identity
W: Logic and foundations of mathematics, dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff, Groningen 1968, s. 53-69.
[ GILMORE [1] ] Praca pół-techniczna, z uwagami ogólniejszej natury. "[...] it is argued contrary to Quine's that classical set theory can better be interpreted following Russell as a theory of properties or attributes rather than a theory of sets" (s. 53) "In section 5, we briefly examine the intuitionist, predicativist and constructivist conceptions of sets and conclude that they are compatible with Russell's conception of sets as attributes" (s. 53).
Goblot, Edmond
Traité de logique
A. Colin, Paris 1918.
Godeaux, Lucien
Les mathématiques au début du XXe siècle
W: Les grands courants de la pensée mathématique, présentés par F. Le Lionnais, Cahiers du Sud, 1948, s. 274-285.
[ GODEAUX [1] ]
Gödel, Kurt
Some basic theorems on the foundations of mathematics and their implications
W: Collected Works, edited by Solomon Feferman et al, vol. III, s. 304–323.
Nieopublikowany wykład z 1951 roku.
Russell's mathematical logic
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. 211-232.
Oryg. w The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, Northwestern University Press, Evanston and Chicago, 1944.
What is Cantor's continuum problem?
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. 258-273.
[ D ] Poprawiona i rozszerzona wersja artykułu pod tym samym tytułem publikowanego w "The American Mathematical Monthly", 54 (1947), s. 515-525.
Collected works
Volume I: Publications 1929-1936. Edited by Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort. Oxford University Press, Oxford 1986.
Collected works
Volume III: Unpublished essays and lectures. Edited by Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Robert N. Solovay. Oxford University Press, New York, Oxford 1995.
Godement, Roger
Les méthodes modernes et l'avenir des mathématiques concrètes
W: Les grands courants de la pensée mathématique, présentés par F. Le Lionnais, Cahiers du Sud, 1948, s. 321-326.
[ GODEMENT [1]] ]
Goldfarb, Warren D.
Logicism and logical truth
"The Journal of Philosophy" 79 (1982), s. 692-695.
Gonseth, Ferdinand
Les fondements des mathématiques
Préface de Jacques Hadamard. Albert Blanchard, Paris 1926. Nouveau tirage: A. Blanchard, Paris 1974.
[ [38] ]
Les mathématiques et la réalité – essai sur la méthode axiomtique
Alcan, Paris 1936.
[ [39] ] Re-edycja Blanchard, Paris 1974.
La logique en tant que physique de l'objet quelconque
W: Philosophie des mathématiques, F. Gonseth, Albert Lautman, Gustave Juvet,...[et al.], Actes du Congrès International de Philosophie Scientifique, Sorbonne (Paris) 1935, Hermann, Paris 1936, s. 1-23.
[ GONSETH [1], [40] | N ]
Qu'est-ce que la logique?
Hermann, Paris 1937.
[ GONSETH [5] ]
Philosophie mathématique
Hermann, Paris 1939.
[ GONSETH [3] ] Informacja o sytuacji w filozofii matematyki w latach 1937-1938, stron 66 + 25+ obszerna bibliografia.
Goodman, Nelson
Fact, fiction and forecast
Harvard University Press, Cambridge, Massachusetts, 1955.
The problem of universals
Notre Dame University Press, Notre Dame, Ind., 1956.
The structure of appearance
Harvard University Press, Cambridge, Massachusetts, 1951.
2nd ed. Bobbs-Merrill, Indianapolis 1966, 3rd ed. D. Reidel Publishing Company, Boston 1977.
Goodman, Nelson, Quine, Willard W. V.
Step towards a constructive nominalism
"The Journal of Symbolic Logic" 12 (1947), s. 105-122.
Goodman, Nicolas D.
Intensions, Church's thesis, and the formalization of mathematics
"Notre Dame Journal of Formal Logic" 28 (1987), s. 473-489.
Goodstein, Reuben Louis
Mathematical systems
"Mind" 48 (1939), s. 58-73.
Review of 'Translations from the Philosophical Writings of Gottlob Frege'
"Mathematical Gazette" 37 (1953), s. 141-143.
Mathematical logic
Leicester University Press, Leicester 1957.
The definition of number
"Mathematical Gazette" 41 (1957), s. 180-186.
Przedruk w Reuben Louis Goodstein, Essays in the philosophy of mathematics, s. 68-78.
On the nature of mathematical systems
"Dialectica" 12 (1958) 296-316.
W: Logica: Studia Paul Bernays dedicata, Éditions du Griffon, Neuchâtel 1959, s. 92-112. Przedruk w Reuben Louis Goodstein, Essays in the philosophy of mathematics, s. 97-115. "Abstract: The crux of the dispute between formalism and intuitionism, it is held, is not whether certain entities exist or not, but how the term function shall be used in mathematics. The identification of effective definition with general recursion fails because an undefined function lies concealed beneath the requirement of a finite number of substitutions, and a fresh characterization of effective definition is sought in terms of a hierarchy of ordinal recursions. A correspondence exists between primitive recursive properties and direct proofs, of irrationality and transcendence for instance, and between general recursive properties and indirect proofs. Mathematics is a concept creating activity and the distinction between a formal mathematics devoid of meaning, at one level, and a meaningful metamathematics at the next is considered to be untenable." (http://onlinelibrary.wiley.com/doi/10.1111/j.1746-8361.1958.tb01466.x/abstract)
Recursive analysis
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. 37-42.
[ GOODSTEIN [4] | = | ^ ]
The axiomatic method
"Proceedings of the Aristotelian Society", Suplementary Volume 36 (1962), s. 145-154.
Przedruk w Reuben Louis Goodstein, Essays in the philosophy of mathematics, s. 116-125.
The significance of incompleteness theorems
"The British Journal for the Philosophy of Science" 14 (1963), pp. 208-220.
Pure and applied mathematics
"Ratio" 6 (1964), s. 1-11.
Przedruk w Reuben Louis Goodstein, Essays in the philosophy of mathematics, s. 126-138.
Essays in the philosophy of mathematics
Leicester University Press, Leicester 1965.
Existence in mathematics
W: Logic and foundations of mathematics, dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff, Groningen 1968, s. 70-82.
[ GOODSTEIN [5] | F ]
Got, Théophile
Une énigme mathématique: le dernier théorème de Fermat
W: Les grands courants de la pensée mathématique, présentés par F. Le Lionnais, Cahiers du Sud, 1948, s. 90-98.
[ GOT [1] ]
Gottlieb, Dale
Ontological economy: substitutional quantification and mathematics
Oxford University Press, 1980.
Grattan-Guinness, I.
The search for mathematical roots, 1870-1940: logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel
Princiton University Press, Princeton NJ, 2000.
Gréco, Pierre
Le progrès des inférences itératives et des notions arithmétiques chez l'enfant et l'adolescent
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. 143-281.
[ GRÉCO [1] ] Rozprawa psychologiczna.
Gréco, Pierre, Inhelder, Bärbel, Matalon, Benjamin, Piaget, Jean
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.
[ ÉTUDES XVII 1963 | pF ] Tom zawiera m.in. prace: Matalona (Recherches sur le nombre quelconque, s. 121-141 i Étude du raisonnement par récurrence sur un modèle physique, s. 283-316), Gréco (Le progrès des inférences itératives et des notions arithmétiques chez l'enfant et l'adolescent, s. 143-281).
Gréco, Pierre (wsółautor)
L'épistémologie de l'espace
Études d'épistémologie génétique, publiées sous la direction de Jean Piaget. Presses Universitaires de France, Paris 1964.
[ ÉTUDES XVIII 1964 ] Autorzy: Vinh Bang, Pierre Gréco, Jean-Blaise Grize, Yvette Hatwell, Jean Piaget, G. N. Seagrim, Eliane Vurpillot.
Griffin, Nicholas
Recenzja z Herbert Irving Hochberg, Thought, fact, and reference
Re: Herbert Irving Hochberg, Thought, fact, and reference: the origins and ontology of logical atomism, University of Minnesota Press, Minneapolis 1978.
Grize, Jean-Blaise
Des groupements à l'algèbre de Boole: essai de filiation des structures logiques
W: Leo Apostel, Jean-Blaise Grize, Seymour Papert, Jean Piaget, La filiation des structures, Études d'épistémologie génétique, publiées sous la direction de Jean Piaget. Presses Universitaires de France, Paris 1963, s. 25-63.
[ GRIZE [5] | F ]
Remarques sur la structure de la géométrie élémentaire
W: Vinh Bang, Pierre Gréco, Jean-Blaise Grize, Yvette Hatwell, Jean Piaget, G. N. Seagrim, Eliane Vurpillot, L'épistémologie de l'espace, Études d'épistémologie génétique, publiées sous la direction de Jean Piaget, Presses Universitaires de France, Paris 1964, s. 41-92.
[ GRIZE [3] | F ]
Remarques sur l'épistémologie mathématique des nombres naturels
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. 512-525.
[ GRIZE [2] | F ]
Historique
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. 135-289.
[ GRIZE [1] ]
Logique moderne
Gauthiers-Villars, Paris. En coédition avec Mouton, Paris, La Haye. Fasc. I 1969, fasc. II 1971.
[ GRIZE [4] ] Fascicule I. Logique des propositions et des prédicats. Déduction naturelle, stron 94. Fascicule II. Table de vérité et axiomatisation, stron 86.
Grize, Jean-Blaise (współautor)
La filiation des structures
Études d'épistémologie génétique, publiées sous la direction de Jean Piaget. Presses Universitaires de France, Paris 1963.
[ ÉTUDES XV 1963 | pF ]
L'épistémologie de l'espace
Études d'épistémologie génétique, publiées sous la direction de Jean Piaget. Presses Universitaires de France, Paris 1964.
[ ÉTUDES XVIII 1964 ] Autorzy: Vinh Bang, Pierre Gréco, Jean-Blaise Grize, Yvette Hatwell, Jean Piaget, G. N. Seagrim, Eliane Vurpillot.
Grossmann, Reinhardt
Acts and relations in Brentano
"Analysis" 21 (1960), s. 1-5.
Propositional attitudes
"The Philosophical Quarterly" 10 (1960), s. 301-312.
Conceptualism
"Review of Metaphysics" 13 (1960), s. 243-254.
Reflections on Frege's philosophy
Northwestern University Press, Evanston 1969.
Frege's ontology
"The Philosophical Review" 70 (1961), s. 23-40.
Także w: Essays on Frege, edited by E. D. Klemke, University of Illinois Press, Urbana, London 1968, s. 79-98.
Ontological reduction
Indiana University Press, Bloomington 1973.
The categorical structure of the world
Indiana University Press, Bloomington 1983.
.
Grünbaum, Adolf
Some recent writings in the philosophy of mathematics
"The Review of Metaphysics" 5 (1951), s. 281-292.
Grzegorczyk, Andrzej
Some approaches to constructive analysis
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. 43-61.
[ = | ^ ]
Grzegorczyk, Andrzej
Some approaches to constructive analysis
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. 43-61
[ = | ^ ]
Zarys logiki matematycznej
PWN, Warszawa 1961.
Assertions depending on time and corresponding logical calculi
W: Logic and foundations of mathematics, dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff, Groningen 1968, s. 83-87.
[ N ]
Zarys arytmetyki teoretycznej
PWN, Warszawa 1971.
Guillaume, Marel
Quelques remarques sur les 'tableaux de Beth'
W: i>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 1967, s. 39-45.
[ = | ^ ]
Guinot, Bernard (współautor)
La mesure du temps
Presses Universitaires de France, Paris 1969.
Autorzy: Bernard Decaux, Bernard Guinot. "Que sais-je?" 97.
Gurvitsch, Aron
The field of consciousness
Duquesne University Press, Pittsburgh 1964.