Results for 'interdisziplinäre Grundlagenforschung'

140 found
Order:
  1.  42
    (1 other version)Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.Arend Heyting - 1934 - Berlin,: Springer.
    In den letzten Jahrzehntel! hat sich das Interesse an der Grund­ legung der Mathematik immer gesteigert. Fanden frtiher die wenigen Forscher, die sich emsthaft mit dieser 'Frage beschaftigten, wenig Be­ achtung, heute ist die Teilnahme sowohl von mathematischer wie von philosophischer Seite fast allgemein. Zu diesem Umschwung hat sieher die CANToRSche Mengenlehre, die gleich nach ihrem Entstehen lebhafte Erorterungen tiber ihre Berechtigung hervorrief, den AnstoB gegeben, und besonders die bei riicksichtsloser Durchfiihrung ihrer Grundgedanken auftretenden Widerspriiche zogen die allgemeine Aufmerksamkeit auf (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  2. Roll Lachmann, Norbert Meuter (eds), Zur Gerechtigkeit der Organverteilung. Ein Problem der Transplantationsmedizin aus interdisziplinaerer Sicht.T. Schlich - 1998 - History and Philosophy of the Life Sciences 20:110-110.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  18
    Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.R. Carnap - 1935 - Erkenntnis 5 (1):288-289.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  4. Darf Grundlagenforschung ohne Blick auf mögliche Anwendungsziele betrieben werden?Hans-Peter Dürr - 1987 - In Horst Krautkrämer, Ethische Fragen an die modernen Naturwissenschaften: 11 Beiträge einer Sendereihe des Süddeutschen Rundfunks im Herbst 1986. Frankfurt/M: J. Schweitzer.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  16
    3. Grundlagenforschung in den Schriften De caelo III–IV, De generatione et corruptione, Meteorologie I–III und Meteorologie IV.Wolfgang Kullmann - 2014 - In Aristoteles Als Naturwissenschaftler. München: De Gruyter. pp. 61-73.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  13
    Der Weg der mathematischen Grundlagenforschung.Heinz Bachmann - 1983 - New York: P. Lang.
    Das Buch ist eine fur den gebildeten Laien verstandliche Einfuhrung in die historische Entwicklung der Grundlagenforschung der Mathematik von der Axiomatik Euklids uber die Prazisierung der Analysis in der Neuzeit und die durch die Entwicklung der Mengenlehre verursachte Grundlagenkrise der Moderne (ausfuhrliche Behandlung der sogenannten Antinomien) bis zu den Godelschen Satzen uber formale Systeme. Da im Gegensatz zu den modernen Umwalzungen in den Grundlagen anderer Wissenschaften (z.B. der Physik) die dazu parallele Erscheinung in der Mathematik immer noch nicht allgemein (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  8
    Ethik als Grundlagenforschung: eine theologische Ethik.Lukas Ohly - 2020 - Boston: De Gruyter.
    Die vorliegende Studie versteht die Grundlegung der Ethik als Grundlagenforschung, die nur im losen Verhältnis zur Angewandten Ethik steht. Damit überschreitet dieser Ansatz die Alternative deduktiver und induktiver Ethik-Ansätze. Das Ziel diese Buches liegt demgegenüber in der Verständigung über ethische Grundlagen, die unabhängig von ihrer Anwendung Geltung verdienen. Dabei stellt sich heraus, das der Gottesbegriff auch in nachmetaphysischen Zeiten wieder als ethischer Grundbegriff aufgefasst werden muss. Das unhintergehbare theologische Element der Grundlegung besteht darin, dass ethischen Gehalten (Inhalte, Werte, Normgehalte (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  17
    Der Gegenwärtige Stand der Grundlagenforschung in der Mathematik.A. Mostowski, A. Grzegorczyk, S. Mazur & H. Rasiowa - 1956 - Journal of Symbolic Logic 21 (4):372-373.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  8
    Eine Neue Gestalt der Grundlagenforschung.Heinrich Scholz - 1947 - Journal of Symbolic Logic 12 (2):58-59.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  11
    Leibniz und die Mathematische Grundlagenforschung.Heinrich Scholz - 1944 - Journal of Symbolic Logic 9 (4):98-99.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  9
    Was Will Die Formalisierte Grundlagenforschung?Heinrich Scholz - 1944 - Journal of Symbolic Logic 9 (3):70-70.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  10
    Frege und die moderne Grundlagenforschung: Symposium, gehalten in Bad Homburg im Dezember 1973.Christian Thiel (ed.) - 1975 - Meisenheim am Glan: Hain.
  13.  6
    Metaphertheorien der Antike Und Ihre Philosophischen Prinzipien: Ein Beitrag Zur Grundlagenforschung in der Literaturwissenschaft.Dieter Lau - 2006 - Lang.
    Der Autor analysiert die wichtigsten antiken Metaphertheorien unter dem Gesichtspunkt ihrer philosophischen Prinzipien. Er behandelt im ersten Hauptteil seines Buches die fur die Bildung der spateren Metaphertheorien grundlegenden ontologischen, sprachphilosophischen, begriffs- und urteilslogischen Erkenntnisse vorsokratischer Denker und Platons, im zweiten die Vertiefung, Systematisierung und partielle Modifikation dieser Einsichten durch Aristoteles. Er zeigt weiter, wie Aristoteles wesentliche Elemente dieses Wissens instrumentalisiert, um bestimmte sprachliche Ausdrucksformen als Metaphern zu identifizieren und in ihrer dialektischen Grundstruktur zu erschliessen. Der Interpretation der aristotelischen Metaphertheorie folgt (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  7
    Edmund Husserls Philosophie der Logik und Mathematik im Lichte der gegenwaertigen Logik und Grundlagenforschung.Guillermo E. Rosado Haddock - 1973 - [S.N.].
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  15.  24
    Schmidt Arnold. Mathematische Grundlagenforschung. Enzyklopädie der mathematischen Wissenschaften, Band I. Algebra und Zahlentheorie, 1. Teil, Heft 1, Teil II, B.G. Teubner, Leipzig 1950, 48 pp. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (3):198-199.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Heyting, A., Mathematische Grundlagenforschung, Intuitionismus und Beweistheorie. [REVIEW]E. Hartmann - 1941 - Philosophisches Jahrbuch 54:374-375.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  10
    (1 other version)Topik und Jurisprudenz: ein Beitrag zur rechtswissenschaftlichen Grundlagenforschung.Theodor Viehweg - 1969 - München: Beck.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  16
    Trotz des »hermeneutic turn«: Plädoyer für eine Wiederaufnahme von psychoanalytischer Grundlagenforschung.Wolfgang Mertens - 2018 - Psyche 72 (6):498-503.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  13
    Bemerkungen zu der betrachtung Von Alexander Wittenberg: Über adäquate problemstellung in der mathematischen grundlagenforschung.P. Bebnays - 1954 - Dialectica 8 (2):147-151.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  12
    Interdisziplinäre Wege in der juristischen Grundlagenforschung.Paolo Becchi, Christoph Beat Graber & Michele Luminati (eds.) - 2007 - Zürich: Schulthess.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  15
    Scholz Heinrich. Was will die formalisierte Grundlagenforschung? Deutsche Mathematik, vol. 7 no. 2/3 , pp. 206–248.Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):70-70.
  22.  11
    (1 other version)Thesen und Bemerkungen zu den philosophischen Fragen und zur Situation der logisch-mathematischen Grundlagenforschung.Paul Bernays - 1937 - Travaux du IXe Congrès International de Philosophie 6:104-110.
    I. Philosophie scientifique et Syntaxe logique. Nécessité d’une interprétation. — II. Logique et mathématique. La distinction kantienne : « analytique »-« synthétique » est remplacée par une distinction entre « formel » et « objectif ». Touchant ici la mathématique et la logique, on traite surtout du côté objectif : qui, en mathématique, consiste dans l’existence de rapports mathématiques, indépendants de la formulation en proposition, et dans la véri- ficabilité de lois arithmétiques ; en logique, dans le rapport implicite des (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  32
    Die Gesellschaft fur Schwerionenforschung: Geschichte einer Grossforschungseinrichtung fur Grundlagenforschung. Siegfried Buchhaupt.Michael Eckert - 1996 - Isis 87 (3):569-570.
  24. Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitbeweises für die Reine Zahlentheorie.Gerhard Gentzen, D. Hilbert & P. Bernays - 1940 - Mind 49 (194):239-248.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  11
    Die gegenwärtige Lage in der mathematischen Grundlagenforschung: neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.Gerhard Gentzen - 1938 - Hildesheim: Gerstenberg.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  11
    Quelques remarques concern Ant ľ article de M. Alexandre Wittenberg: Über adäquate problemstellung in der mathematischen grundlagenforschung.H. Guggenheimeh - 1954 - Dialectica 8 (2):145-146.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  12
    Zur Geschichte der Mathematischen Logik und Grundlagenforschung in den Letzten Funfundsiebzig Jahren.Hans Hermes - 1968 - Journal of Symbolic Logic 33 (1):112-112.
  28. Theorie ohne Praxis? : Thesen zu Status und Relevanz sozialethischer Grundlagenforschung.Hans-Joachim Höhn - 2018 - In Bernhard Emunds & Friedhelm Hengsbach, Christliche Sozialethik--Orientierung welcher Praxis?: Friedhelm Hengsbach SJ zu Ehren. Baden-Baden: Nomos.
     
    Export citation  
     
    Bookmark  
  29.  1
    Kants philosophische Begründung des mathematischen Konstructivismus und seine Wirkung in der Grundlagenforschung, mit einem Anhang: zur mathematischen Präzisierung des konstructiven Prädikativismus.Klaus Mainzer - 1972 - [S.N.].
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Verantwortung des Wissenschaftlers in der physikalischen Grundlagenforschung.K. Möbius - 1983 - In Hans-Joachim Elster & Max Born, Naturwissenschaft und Technik: Wege in die Zukunft: Vorträge gehalten bei der Jahrestagung in Hannover zum hundersten Geburtstag von Max Born. Stuttgart: E. Schweizerbart.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  48
    Behmann Heinrich. Ein logischer Abakus. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 , pp. 42–52.Gene F. Rose - 1958 - Journal of Symbolic Logic 23 (4):450-450.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32.  17
    Digitale Quellensammlungen an der Akademie der Wissenschaften und Literatur | Mainz am Beispiel mediävistischer Grundlagenforschung: Die ‚Deutschen Inschriften Online‘ und das ‚Corpus Vitrearum Medii Aevi‘.Torsten Schrade, Sarah Pittroff, Anna Neovesky, Dominik Kasper & Max Grüntgens - 2019 - Das Mittelalter 24 (1):231-236.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Zum gegenrvärtigen Stande der mathematischen Grundlagenforschung.Heinrich Scholz - 1955 - Archiv für Philosophie 5 (3):322.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Zwischen Intelligibilität und Sensibilität : naturphilosophische Grundlagenforschung im 12. Jahrhundert.Cornelia Selent - 2018 - In Verena Olejniczak Lobsien, Bernd Roling, Lutz Bergemann & Bettina Bohle, Vom Seelengefährt zum Glorienleib: Formen aitherischer Leiblichkeit. Berlin: Edition Topoi.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Neuere Publikationen zur logisch-mathematischen Grundlagenforschung.Wolfgang Stegmüller - 1963 - Kant Studien 54 (3):317.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  7
    Über adäquate problemstellung in der mathematischen grundlagenforschung.Alexandre van Wittenberg - 1953 - Dialectica 7 (3):232-254.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  25
    Anwendung der Logistik und analytischen Sozial-psychologie in der Grundlagenforschung der Sozialwissenschaften (Eine wissenschaftlich-methodische Untersuchung einiger Grundbegriffe der Soziologie und Sozialpsychologie).Emil J. Walter - 1948 - Synthese 7 (1):115 - 126.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  16
    Über adäquate problemstellung in der mathematischen grundlagenforschung.Alexandre Wittenberg - 1953 - Dialectica 7 (3):232-254.
    RésuméLes tentatives modernes entreprises pour fonder définitivement les mathématiques ont mis à nu la situation suivante:si l'on essaie d'éliminer les antinomies et les concepts «trop forts» de la théorie des ensembles tout en conservant un point de vue platonicien analogue au point de vue classique, on est forcé de recourir à des restrictions motivées de façon purement dogmatique;si, d'autre part, l'on essaie d'adopter un point de vue formaliste intégral, on se heurte à la nécessité d'envisager des «vérités platoniciennes» relatives aux (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  59
    Kreisel G. and Putnam H.. Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 74–78. [REVIEW]T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (2):229-229.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  40. Schwichtenberg Helmut. Rekursionszahlen und die Grzegorczyk-Hierarchie. Archiv für mathematische Logik und Grundlagenforschung, vol. 12 , pp. 85–97. [REVIEW]R. M. Baer - 1970 - Journal of Symbolic Logic 35 (3):480.
  41.  84
    Charles Parsons. The ω-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 , pp. 30–34. [REVIEW]Gert H. Muller - 1965 - Journal of Symbolic Logic 30 (1):94.
  42.  74
    Plato's Laws - Eberhard Klingenberg: Platons ΝΟΜΟΙ ΓΕΩΡΓΙΚΟΙ und das positive griechische Recht. (Münchener Universitätsschriften, Juristische Fakultät, Abhandlungen zur rechtswissenschaftlichen Grundlagenforschung, Band 17.) Pp. xxxvi + 226. Berlin: Schweitzer, 1976. Limp. [REVIEW]Trevor J. Saunders - 1978 - The Classical Review 28 (2):280-281.
  43.  70
    G. Kreisel, J. Shoenfield, and Hao Wang. Number theoretic concepts and recursive well-orderings. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 , pp. 42–64. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):511-512.
  44.  69
    Dieter Rödding. Anzahlquantoren in der Kleene-Hierarchie.Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 , pp. 61–65. [REVIEW]Joan Rand Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):472-473.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45.  68
    Helmut Pfeiffer. Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.Archiv für mathematische Logik und Grundlagenforschung, vol. 15 , pp. 41–56. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342-343.
  46.  66
    Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 , pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 , pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 , pp. 818–829. [REVIEW]Martin Davis - 1986 - Journal of Symbolic Logic 51 (2):477-479.
  47.  19
    Schütte Kurt. Ein System des verknüpfenden Schließens. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4, S. 34–67; auch Archiv für Philosophie, Bd. 5 Heft 4 , S. 375–387. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):297-298.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. to Theoretical Entities, Chicago und London (University of Chicago Press) 2006, XIV und 295 S.; Paperback $28, 00; Cloth $70.00. Alexy, Robert (Hg.), Juristische Grundlagenforschung. Tagung der Deutschen Sektion der Internationalen Vereinigung für Rechts-und. [REVIEW]Theodore Arabatzis - 2006 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 37:443-446.
    No categories
     
    Export citation  
     
    Bookmark  
  49.  43
    Lorenzen Paul. Zur Begründung der Modallogik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 , S. 15–28; auch Archiv für Philosophie, Bd. 5 Heft 1 , S. 95–108. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):174-175.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  50.  39
    Gumin Heinz und Hermes Hans. Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4 , S. 68–77; auch Archiv für Philosophie, Bd. 5 Heft 4 , S. 388–397. [REVIEW]Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):386-387.
1 — 50 / 140