Works by P. Bernays
166 found
Order:
1 filter applied
DisambiguationsDisambiguations:
| Paul Bernays [164] | P. Bernays [17] | Prof P. Bernays [1] |
- Die Grundlagen der Mathematik.David Hilbert,Hermann Weyl &Paul Bernays -2013 - Springer Verlag.Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.No categories
- (2 other versions)Grundlagen der mathematik.David Hilbert &Paul Bernays -1934 - Berlin,: J. Springer. Edited by Paul Bernays.
- Sur le platonisme dans les mathématiques.Paul Bernays -1935 -L’Enseignement Mathematique 34:52--69.No categories
- A system of axiomatic set theory—Part I.Paul Bernays -1937 -Journal of Symbolic Logic 2 (1):65-77.Introduction. The system of axioms for set theory to be exhibited in this paper is a modification of the axiom system due to von Neumann. In particular it adopts the principal idea of von Neumann, that the elimination of the undefined notion of a property (“definite Eigenschaft”), which occurs in the original axiom system of Zermelo, can be accomplished in such a way as to make the resulting axiom system elementary, in the sense of being formalizable in the logical calculus (...) of first order, which contains no other bound variables than individual variables and no accessory rule of inference (as, for instance, a scheme of complete induction).The purpose of modifying the von Neumann system is to remain nearer to the structure of the original Zermelo system and to utilize at the same time some of the set-theoretic concepts of the Schröder logic and of Principia mathematica which have become familiar to logicians. As will be seen, a considerable simplification results from this arrangement.The theory is not set up as a pure formalism, but rather in the usual manner of elementary axiom theory, where we have to deal with propositions which are understood to have a meaning, and where the reference to the domain of facts to be axiomatized is suggested by the names for the kinds of individuals and for the fundamental predicates.On the other hand, from the formulation of the axioms and the methods used in making inferences from them, it will be obvious that the theory can be formalized by means of the logical calculus of first order (“Prädikatenkalkul” or “engere Funktionenkalkül”) with the addition of the formalism of equality and the ι-symbol for “descriptions” (in the sense of Whitehead and Russell). (shrink)
- Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone &Paul Bernays -1977 -Philosophical Quarterly 27 (106):72.No categories
- Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.Paul Bernays -1978 -Journal of Symbolic Logic 43 (1):148-149.
- Axiomatic Set Theory.Paul Bernays -1959 -Journal of Symbolic Logic 24 (3):224-225.
- Axiomatic Set Theory.Foundations of Set Theory.Paul Bernays,Abraham A. Fraenkel &Yehoshua Bar-Hillel -1962 -Philosophical Review 71 (2):268-269.
- (1 other version)Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre.Paul Bernays -1961 - In Bar-Hillel, Yehoshua & [From Old Catalog],Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 3--49.No categories
- A system of axiomatic set theory - Part VII.Paul Bernays -1954 -Journal of Symbolic Logic 19 (2):81-96.The reader of Part VI will have noticed that among the set-theoretic models considered there some models were missing which were announced in Part II for certain proofs of independence. These models will be supplied now.Mainly two models have to be constructed: one with the property that there exists a set which is its own only element, and another in which the axioms I–III and VII, but not Va, are satisfied. In either case we need not satisfy the axiom of (...) infinity. Thereby it becomes possible to set up the models on the basis of only I–III, and either VII or Va, a basis from which number theory can be obtained as we saw in Part II.On both these bases the Π0-system of Part VI, which satisfies the axioms I–V and VII, but not VI, can be constructed, as we stated there. An isomorphic model can also be obtained on that basis, by first setting up number theory as in Part II, and then proceeding as Ackermann did.Let us recall the main points of this procedure.For the sake of clarity in the discussion of this and the subsequent models, it will be necessary to distinguish precisely between the concepts which are relative to the basic set-theoretic system, and those which are relative to the model to be defined. (shrink)
- A system of axiomatic set theory: Part IV. general set theory.Paul Bernays -1942 -Journal of Symbolic Logic 7 (4):133-145.
- A system of axiomatic set theory—Part II.Paul Bernays -1941 -Journal of Symbolic Logic 6 (1):1-17.
- Mathematische Existenz und Widerspruchsfreiheit.Paul Bernays -1957 -Journal of Symbolic Logic 22 (2):210-211.
- (1 other version)Die schematische Korrespondenz und die idealisierten Strukturen.Paul Bernays -1970 -Dialectica 24 (1‐3):53-66.No categories
- Logical Calculus.Paul Bernays -1938 -Journal of Symbolic Logic 3 (4):162-163.
- A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis.Paul Bernays -1942 -Journal of Symbolic Logic 7 (2):65-89.
- (1 other version)Über eine natürliche Erweiterung des Relationenkalkuls.Paul Bernays -1959 - In A. Heyting,Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 1--14.No categories
- A System of Axiomatic Set Theory.Paul Bernays -1944 -Journal of Symbolic Logic 9 (3):74-75.
- A system of axiomatic set theory—Part VI.Paul Bernays -1948 -Journal of Symbolic Logic 13 (2):65-79.
- A System of Axiomatic Set Theory--Part I.Paul Bernays -1938 -Journal of Symbolic Logic 3 (1):49-49.
- On the Original Gentzen Consistency Proof for Number Theory.Paul Bernays,A. Kino,J. Myhill &R. E. Vesley -1975 -Journal of Symbolic Logic 40 (1):95-95.
- Probleme der Theoretischen Logik.Paul Bernays -1978 -Journal of Symbolic Logic 43 (1):147-148.
- A system of axiomatic set theory. Part V. General set theory continued.Paul Bernays -1943 -Journal of Symbolic Logic 8:89.
- Abhandlungen zur Philosophie der Mathematik.Paul Bernays -1976 - Darmstadt: Wissenschaftliche Buchgesellschaft, [Abt. Verl.].
- Über die Ausdehnung des Begriffes der Komplementarität auf die Philosophie.Paul Bernays -1948 -Synthese 7 (1):66 - 70.
- Bemerkungen zu Lorenzen's stellungnahme in der philosophie der mathematik.Paul Bernays -1978 - In Kuno Lorenz,Konstruktionen Versus Positionen: Beiträge Zur Diskussion Um Die Konstruktive Wissenschaftstheorie. Bd 1: Spezielle Wissenschaftstheorie. Bd 2: Allgemeine Wissenschaftstheorie. Paul Lorenzen Zum 60. Geburtstag. New York: De Gruyter. pp. 3-16.No categories
- Grundsätzliches zur philosophie ouverte.Paul Bernays -1948 -Dialectica 2 (2):273-279.
- Von der syntax der sprache zur philosophie der wissenschaften.Paul Bernays -1957 -Dialectica 11 (3-4):233-246.ZusammenfassungAn Hand der Betrachtung einiger Hauptzüge in der neueren Entwicklung der Philosophie des logischen Empirismus und nahestehender Richtungen wird dargelegt, wie die Korrektur der zu simplifizierenden Thesen in dem ursprünglichen Programm der Wiener Schule auf eine Auseinandersetzung mit den traditionellen erkenntnistheoretischen Problemen zurückführt. — P.B.RésuméCe travail prend en considération certains développements récents de l'empirisme logique et des points de vues apparentés. Ces développements tendent sinon à un abandon, du moins à une revision de certaines positions par trop simplificatrices, tout d'abord (...) occupées par l'Ecole de Vienne. Or, ce faisant, on se trouve amené à rendre leur sens plein aux questions philosophiques qu'on pensait avoir pu écarter.Newer trends of development in the schools of logical empirism are considered. It is shown how, by the correction of the original too simplifying theses of the Vienna school, one becomes reduced to the study of the traditional problems of the philosophy of science. — P. B. (shrink)
- Zum begriff der dialektik.Paul Bernays -1947 -Dialectica 1 (2):172-175.
- (1 other version)Zur frage der anknüpfung an die kantische erkenntnistheorie: Eine kritische erörterung.Paul Bernays -1955 -Dialectica 9 (1-2):23-65.No categories
- Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays -2012 - In Bernays Paul,Universal Logic: An Anthology. pp. 43-58.
- (1 other version)Mathematische Existenz und Widerspruchfreiheit.K. Schutte &Paul Bernays -1978 -Journal of Symbolic Logic 43 (1):150.
- Quelques points de vue concernant le probleme de l'evidence.P. Bernays -1946 -Synthese 5 (7):321-326.No categories
- Carnap Rudolf. Modalities and quantification.Paul Bernays -1948 -Journal of Symbolic Logic 13 (4):218-219.
- (1 other version)Zur Rolle der Sprache in erkenntnistheoretischer Hinsicht.Paul Bernays -1961 -Synthese 13 (3):185-200.
- Zum Symposium über die Grundlagen der Mathematik1.Paul Bernays -1971 -Dialectica 25 (3‐4):171-195.
- Myhill John. Creative sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 97–108.Paul Bernays -1957 -Journal of Symbolic Logic 22 (1):73-76.
- From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays -1970 -Journal of Philosophy 67 (4):109-110.
- Kurt Schütte. Probleme und Methoden der Beweistheorie. Studium generale, vol. 18 , pp. 562–567.Paul Bernays -1968 -Journal of Symbolic Logic 33 (4):604-605.
- Peter Nidditch. A note on the redundant axiom of Principia mathematica. Mind, n.s. vol. 69 , pp. 251–252.Paul Bernays -1971 -Journal of Symbolic Logic 36 (2):332-333.
- A System of Axiomatic Set Theory--Part VI.Paul Bernays -1948 -Journal of Symbolic Logic 13 (4):220-221.
- Ackermann Wilhelm. Mengentheoretische Begründung der Logik. Mathematische Annalen, vol. 115 , pp. 1–22.Paul Bernays -1938 -Journal of Symbolic Logic 3 (2):85-85.
- Über die Auffassung formaler Systeme als Sprachen.Paul Bernays -1973 -Dialectica 27 (3‐4):359-362.
- Über das Induktionsschema in der Rekursiven Zahlentheorie.Paul Bernays -1952 -Journal of Symbolic Logic 17 (4):272-273.
- Begriffe Des phaenomenologischen und Das programm der phaenomenologischen philosophie.P. Bernays -1964 -Archives de Philosophie 27 (3):323.Export citation
Bookmark - Bing Kurt. On the axioms of order and succession.Paul Bernays -1958 -Journal of Symbolic Logic 23 (3):362-362.
- Bemerkungen zu der arbeit Von E. Harris.P. Bernays -1952 -Dialectica 6 (2):166-166.No categories
- Bemerkungen zum problem der aesthetik.P. Bernays -1948 -Dialectica 2 (2):211-211.
- Bemerkungen zur Rolle der Methode in den Wissenschaften.Paul Bernays -1971 -Archives de Philosophie 34 (4):575.Export citation Bookmark
- Review: Alonzo Church, A Note on the Entscheidungs Problem.Paul Bernays -1936 -Journal of Symbolic Logic 1 (2):74-74.
| 1 — 50 / 166 |
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server or OpenAthens.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
 Email |  RSS feed |
Editorial team
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-72j75 uwo