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
Haaparanta, Leila
Frege on existence
W: Frege synthesized, ed. by Leila Haaparanta and Jaakko Hintikka, D. Reidel Publishing Company, Dordrecht 1986, s. 155-174. 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. 335-354.
Haag, Karl
Versuch einer Graphischen Sprache auf Logischer Grundlage
Kohlhammer, Stuttgart 1902.
Hacker, Peter M. S. (współautor)
Dummett's Frege or through a looking-glass darkly
"Mind" 92 (1983), s. 239-246.
[ K ]
Dummett's purge: Frege without functions
"The Philosophical Quarterly" 33 (1983), s. 115-132.
[ K ]
Frege: logical excavations
Oxford University Press, 1984.
Hacking, Ian
What mathematics has done to some and only some philosophers
Proceedings of the British Academy ("Mathematics and Necessity: Essays in the History of Philosophy", edited by Timothy Smiley), Volume 103, 2000, s. 83-138.
Why is there philosophy of mathematics at all?
Cambridge University Press, Cambridge 2014.
Hadamard, Jacques
H. Poincaré: le mathématicien
W: "Revue de Métaphysique et de Morale" 21 (1913), Numéro spécialement consacré à Henri Poincaré, s. 617-658.
L'oeuvre mathématique de Poincaré
W: "Acta Mathematica" 38 (1921), Henri Poincaré in memoriam, herausgegeben von G. Mittag-Leffler, s. 203-287. Także w: Henri Poincaré, Oeuvres, t. 11, s. 152-242.
[ HADAMARD [2] ]
Psychologia odkryć matematycznych
PWN, Warszawa 1964.
[[42], HADAMARD [3] | D ] Tytuł oryg. ang.: An essay on the psychology of invention in the mathematical field. Wyd. oryg. Princeton University Press 1945. Przekł. polski według identycznego wydania Dover Publications, Inc.
Haddock, Guillermo Ernesto Rosado
Edmund Husserls Philosophie der Logik und Mathematik im Lichte der gegenwärtigen Logik und Grundlagenforschung
Dissertation, Rheinischen Friedrich-Wilhelms Universität, Bonn, 1973.
Hahn, Hans
Überflüssige Wesenheiten (Occamus Rasiermesser)
Wien 1929.
Empiricism, logic and mathematic, philosophical papers
Edited by Brian McGuiness, D. Reidel Publishing Company, Dordrecht-Holland 1980.
Hailperin, Theodore
Quantification theory and empty individual-domains
"Journal of Symbolic Logic" 18 (1953), s. 197-200.
Halbwachs, Francis
Réflexions sur la causalité en 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. 19-38.
Causalité linéaire et causalité circulaire en 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. 39-111.
Hale, Bob
Frege's platonism
"Philosophical Quarterly" 34, s. 225-241.
Hankel, Hermann
Die Entwicklung der Mathematik in den letzten Jahrhunderte
Tübingen 1869.
Hardy, Godfrey Harold
Orders of Infinity. The 'Infinitärcalcül' of Paul Du Bois-Reymond
Cambridge University Press, 1910.
Mathematical proof
"Mind" 38 (1929), s. 1-25.
Harper, William
Kant on space, empirical realism and the foundations of geometry
"Topoi" 3 (1984), s. 143-161. Także w: Kant's philosophy of mathematics, Carl J. Posy, editor. Kluwer Academic Publishers, Dordrecht 1992, s.257-291.
Harré, Romano
An introduction to the logic of the sciences
Macmillan, London 1960.
Harris, N. G. E.
Geach on Frege's assertion sign
"Analysis" 27 (1967), s. 186-189.
Hart, W. D. (współautor)
The epistemology of abstract objects: access and inference
"Proceedings of the Aristotelian Society" 53 (1979), s. 153-165.
Autorzy: David Bell, W. D. Hart.
Hasenjaeger, Gisbert
Einführung in die Grundbegriffe und Probleme der modernen Logik
Verlag K. Alber, Freiburg, München 1962.
Hasenjaeger, Gisbert (współautor)
Grundzüge der mathematische Logik
Springer-Verlag, Berlin-Göttingen-Heidelberg 1961.
[ SCHOLZ & HASENJAEGER 1961, [165] | pF v-ix 1-13 490-494 ] Stron xvi + 504.
Hasse, Helmut, Scholz, Heinrich
Die Grundlagenkrisis der griechischen Mathematik
Pan-Verlag, Berlin 1928. Także "Kantstudien" 33 (1928), s. 4-72.
[ SCHOLZ & HASSE 1928 ]
Hatwell, Yvette (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.
Hawkins, Ben
Note on a doctrine of Frege and Wittgenstein
"Mind" 75 (1966), s. 583-585.
Heath, Thomas
1949 Mathematics in Aristotle
Clarendon Press: Geoffrey Cumberlege. 1949.
Heck, Richard G., May, Robert
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.
Heffernan, George
Bedeutung und Evidenz bei Edmund Husserl. Das Verhältnis zwischen der Bedeutungs- und der Evidenztheorie in den 'Logischen Untersuchungen' und der 'Formalen und transzendentalen Logik': ein Vergleich anhand der Identitätsproblematik
Bouvier, Bonn 1983.
Heidegger, Martin
Die Kategorien- und Bedeutungslehre des Duns Scotus
J. C. B. Mohr, Tübingen 1916.
Heijenoort, Jean van
Logic as calculus and logic as language
"Synthese" 17 (1967), s. 324-330.
Hempel, Carl Gustav
Inductive inconsistencies
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. 128-158.
[ x | _ ]
On the nature of mathematical truth
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. 366-381.
[ HEMPEL [2] | F | D ] Oryg. w "The American Mathematical Monthly", vol. 52, 1945, s. 543-556.
Podstawy nauk przyrodniczych
Wydawnictwa Naukowo-Techniczne, Warszawa 1968.
Henderson G. P.
Intensional entities, and ontology
"Proceedings of Aristotelian Society", New Series, 58 (1957-1958), s. 269-288.
Henkin, Leon
The completeness of the firt-order functional calculus
"The Journal of Symbolic Logic" 14 (1949), s. 159-166.
[ HENKIN [2] | = | ^ ] Także w The philosophy of mathematics, edited by Jaakko Hintikka, Oxford University Press, London 1969, s. 42-50.
Completeness in the theory of types
"The Journal of Symbolic Logic" 15 (1950), s. 81-91.
[ HENKIN [3] | ^ ] Także w The philosophy of mathematics, edited by Jaakko Hintikka, Oxford University Press, London 1969, s. 51-63.
Some notes on nominalism
"The Journal of Symbolic Logic" 18 (1953), s. 19-29.
Nominalistic analysis of mathematical language
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. 187-193.
[ HENKIN [7] | F ]
Relativisation with respect to formulas and its use in proofs of independence
W: Logic and foundations of mathematics, dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff, Groningen 1968, s. 88-106
[ HENKIN [8] | ^ ]
Henley, David S.
Syntax-directed discovery in mathematics
"Erkenntnis" 43 (1995), s. 241-259.
"It is shown how mathematical discoveries such as De Moivre's theorem can result from patterns among the symbols of existing formulae and that significant mathematical analogies are often syntactic rather than semantic, for the good reason that mathematical proofs are always syntactic, in the sense of employing only formal operations on symbols. This radically extends the Lakatos approach to mathematical discovery by allowing proof-directed concepts to generate new theorems from scratch instead of just as evolutionary modifications to some existing theorem. The emphasis upon syntax and proof permits discoveries to go beyond the limits of any prevailing semantics. It also helps explain the shortcomings of inductive AI systems of mathematics learning such as Lenat's AM, in which proof has played no part in the formation of concepts and conjectures" (philpapers.org/browse/epistemology-of-mathematics-misc)
Henriques, Gil
Généralisation opératoire et généralisation formelle en mathématiques
W: Jean Piaget, Gil Henriques, Recherches sur la généralisation, Études d'épistémologie génétique, publiées sous la direction de Jean Piaget vol. 36, Presses Universitaires de France, Paris 1978.
Henriques, Gil (współautor)
Recherches sur la généralisation
Études d'épistémologie génétique, publiées sous la direction de Jean Piaget vol. 36, Presses Universitaires de France, Paris 1978.
[ ÉTUDES XXXVI 1978 ]
Herbrand, Jacques
Recherches sur la théorie de la démonstration
Travaux de la Société des Sciences et des Lettres de Varsovie, Class III, Sciences Mathématiques et Physiques, 33, 1930.
Dyseetacja doktorska, Paryż.
Hermes, Hans
Zum Inversionsprinzip der operativen Logik
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. 62-68.
[ = | ^ ] "Operative Logik" w sensie Lorenzena.
Frege. Friedrich Ludwig Gottlob
W: "Neue Deutsche Biographie" (NDB), Band 5. Duncker & Humblot, Berlin 1961, s. 390–392.
Hermite, Charles
Œuvres de Charles Hermite
Éd. Émile Picard, 4 vols, Gauthier-Villars, Paris 1905-1917.
Heyting, Arend
Die formalen Regeln der intuitionistischen Logik
"Sitzungsberichte der preuszischen Akademie von Wissenschaften, physikalisch-mathematische Klasse", 1930, s. 42-56.
[ HEYTING [4] ]
The intuitionist foundations of mathematics
"Erkenntnis" 1931.
Przedruk w: Philosophy of mathematics, edited and with an introduction by Paul Benacerraf and Hilary Putnam. Prentice-Hall, Inc., Englewood Cliffs, New Jersey 1964, s. 42-49.
Formal logic and mathematics
"Synthese" 6 (1948), s. 275-282.
Intuitionism. An introduction
North-Holland Publishing Company, Amsterdam 1956.
[ HEYTING [1] ] Stron 133. Drugie wydanie 1966, stron 147, trzecie 1971.
Axioms for intuitionistic plane affine geometry
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. 160-173.
[ HEYTING [6] | ^ ]
Some remarks on intuitionism
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. 69-71.
[ HEYTING [7] | F ]
After thirty years
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.194-197.
[ HEYTING [3] | F ]
Axiomatic method and intuitionism
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. 237-247.
[ HEYTING [2] | F ]
The intuitionist foundations of mathematics
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 1967, s. 4-9.
[ HEYTING [11] | = | ^ ]
Remarques sur la théorie intuitionniste des espaces linéaires
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.42-49.
[ HEYTING [5] ] Oryg. w: "Erkenntnis" 2, 1931, s.106-115.
Hilbert, David
Grundlagen der Geometrie
Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen, Leipzig 1899.
2. Aufl. 1903, 3. Aufl. 1909, 4. Aufl. 1913, 7. Aufl. 1930.
Über den Zahlbegriff
"Jahresbericht der Deutschen Mathematiker-Vereinigung" 8 (1900), s. 180-184.
Mathematische Probleme
"Archiv füt Mathematik und Physik", 3e Reihe, Bd. 1, 1901, s. 44-63 i 212-237.
On the foundations of logic and arithmetic
"The Monist" 15 (1905), s. 338-352.
Über das Unendliche
"Mathematische Annalen" 95 (1925), s. 161-190. W przekładzie angielskim (Erna Putnam i Gerald J. Massey) 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. 134-151.
Hilbert, David, Ackermann, W.
Grundzüge der theoretischen Logik
Verlag von Julius Sringer, Berlin 1928.
[ HILBERT, ACKERMANN [1], HILBERT, ACKERMANN 1928 | ^ | pF ] Wyd. 2.: 1938. Wyd. 6.: Berlin- Heidelberg-New York 1972.
Hilbert, David, Bernays, Paul
Grundlagen der Mathematik
Band 1. Springer-Verlag, Berlin 1934, Band 2. Springer-Verlag, Berlin 1939.
Hinst, Peter
Syntaktische und semantische Untersuchungen über Freges 'Grundgesetze der Arithmetik'
Dissertation, München 1965.
[ ^ ]
Hätte Frege ohne Wertverlaufsfunktion auskommen können?
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. 33-51.
[ D ]
Hintikka, Jaakko
Modality ans referential multiplicity
"Ajatus" 20 (1957), s. 49-64.
Knowledge and belief
Cornell University Press, Ithaca, N.Y., 1962.
Kant on the mathematical method
"The Monist" 51 (1967), s. 21-42. Także w: Kant's philosophy of mathematics, Carl J. Posy, editor. Kluwer Academic Publishers, Dordrecht 1992, s. 352-357.
Individuals, possible worlds, and epistemic logic
"Noûs" 1 (1967), s. 33-62.
Models for modalities. Selected essays
D. Reidel Publishing Company, Dordrecht-Holland 1969.
Semantics for propositional attitudes
W: Jaakko Hintikka, Models for modalities. Selected essays, s. 87-111.
The intentions of intentionality and other new models for modalities
D. Reidel Publishing Company, Dordrecht, Boston 1975.
The semantics of modal notions and the indeterminacy of ontology
W: Jaakko Hintikka, The intentions of intentionality and other new models for modalities, s. 26-42.
Objects of knowledge and belief: acquaintances and public figures
W: Jaakko Hintikka, The intentions of intentionality and other new models for modalities, s. 43-58.
Carnap's heritage in logical semantics
W: Jaakko Hintikka, The intentions of intentionality and other new models for modalities, s. 76-101.
Quine on quantifying in: a dialogue
W: Jaakko Hintikka, The intentions of intentionality and other new models for modalities, s. 102-136.
The intention of intentionality
W: Jaakko Hintikka, The intentions of intentionality and other new models for modalities, s. 192-222.
Frege's hidden semantics
"Revue Internationale de Philosophie" 130 (1979), s. 716-722.
A hundred years later: the rise and fall of Frege's influence in language theory
"Synthese" 59 (1984), s. 27-49.
Kant's transcendental method and his theory of mathematics
"Topoi" 3 (1984), s. 99-108. Także w: Kant's philosophy of mathematics, Carl J. Posy, editor. Kluwer Academic Publishers, Dordrecht 1992, s. 341-359.
Hochberg, Herbert Irving
Peano, Russell, and logicism
"Analysis" 16 (1956), s. 118-120.
Frege on concepts as functions: a fundamental ambiguity
"Theoria" 37 (1971), s. 21-32.
Thought, fact, and reference: the origins and ontology of logical atomism
University of Minnesota Press, Minneapolis 1978.
Hoche, Hans-Ulrich
Kritische Bemerkungen zu Freges Bedeutungslehre
"Zeitschrift für philosophische Forschung" 27 (1973), s. 205-221.
Vom 'Inhaltsstrich' zum 'Waagerechten'
W: Studien zu Frege / Studies on Frege, Matthias Schirn (hrsg.), Frommann-Holzboog, Stuttgart-Bad Cannstatt, 1976, t. II, s. 87-102.
Beziehungen zwischen der Semantik Freges und der Noematik Husserls
"Archiv für Geschichte der Philosophie" 64 (1982), s. 166-197.
Hoering, Walter
Frege und die Schaltalgebra
"Archiv für mathematische Logik und Grundlagenforschung" 3 (1957), s. 125-126.
[ D ]
Zum Widerspruch in Freges System
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. 62-65.
[ D ]
Logizismus gestern und heute
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. 52-61.
[ D ]
Hoppe, R.
Recenzja z Gottlob Frege, "Begriffsschrift"
"Archiv der Mathematik und Physik", LXIII (1879), Literarischer Bericht CCLII, pp. 44-45.
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. 209-210.
Howard W. A.
Functional interpretation of bar induction by bar recursion
Logic and foundations of mathematics, dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff, Groningen 1968, 107-124.
[ ^ ]
Hugly, Philip
Ineffability in Frege's logic
"Philosophical Studies" 24 (1973), s. 227-244. 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. 111-128.
Hume, David
Traktat o naturze ludzkiej
PWN, Warszawa 1963
Hurley, S. L.
Frege, the proliferation of force, and non-cognitivism
Husserl, Edmund
Husserliana: Edmund Husserl Gesammelte Werke
Beiträge zur Theorie der Variationsrechnung
Dissertation, 1883.
Eley w Edmund Husserl, Philosophie der Arithmetik: "Die DIssertation erschien nicht im Druck" (s. xxii). "Das Husserl-Archiv zu Löwen besitzt eine Fotokopie des Originals, das sich in Wien befindet" (s. xxii). J. Philipp Miller, Numbers in presence and absence, Martinus Nijhoff Publishers, The Hague-Boston-London 1982, s. 23 (przypis 2.): "raises no philosophical issues and contains little that is of interest today".
Über den Begriff der Zahl. Psychologische Analysen
Habilitationsschrift, vorgelegt der Philosophischen Fakultät der vereinigten Friedrichs-Univesität Halle-Wittenberg. Heynemann'sche Buchdruckerei, Halle a. S. 1887. W: Edmund Husserl, Gesammelte Werke XII, s. 289-338 ( + Beilage: Zu Über den Begriff der Zahl. Thesen, s. 339 + Textkritische Anmerkungen, s. 521-523).
[ pN ] Nur als Teildruck veröffentlicht, aber nicht im Buchhandel erschienen.
Der Folgerungscalcul und die Inhaltslogik
"Vierteljahrsschrift fur wissenschafiliche Philosophie" 15 (1891), s. 168-189. Nachträge s. 351-356.
Philosophie der Arithmetik
Erster Band, C.E.M. Pfeffer (Robert Stricker), Halle a. S. 1891.
Także Husserliana 12: Philosophie der Arithmetik. Mit ergänzenden Texten (1890-1901) (Edmund Husserl, Gesammelte Werke, Band 12., Lothar Eley (hrsg.), Martinus Nijhoff, Den Haag, 1970).
Persönliche Aufzeichnungen
"Philosophy and Phenomenological Research" 16 (1956), s. 293-302.
Herausgegeben von Walter Biemel.
Idee czystej fenomenologii i fenomenologicznej filozofii
PWN, Warszawa 1967.
[ [50] ]
Husserl, intentionality, and cognitive Science
Husserl, intentionality, and cognitive Science
Hubert L. Dreyfus, Hall Harrison (eds)., MIT Press, Cambridge, Massachussetts, 1982.