85 found
Order:
Disambiguations
Matthias Kaufmann [62]Matt Kaufmann [23]Matthew Kaufmann [1]
  1.  19
    Iterated ultrapowers for the masses.Ali Enayat, Matt Kaufmann & Zachiri McKenzie - 2018 - Archive for Mathematical Logic 57 (5-6):557-576.
    We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown to provide smooth proofs of several results in general model theory.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  17
    Largest initial segments pointwise fixed by automorphisms of models of set theory.Ali Enayat, Matt Kaufmann & Zachiri McKenzie - 2018 - Archive for Mathematical Logic 57 (1-2):91-139.
    Given a model \ of set theory, and a nontrivial automorphism j of \, let \\) be the submodel of \ whose universe consists of elements m of \ such that \=x\) for every x in the transitive closure of m ). Here we study the class \ of structures of the form \\), where the ambient model \ satisfies a frugal yet robust fragment of \ known as \, and \=m\) whenever m is a finite ordinal in the sense (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
    We consider extensions of Peano arithmetic suitable for doing some of nonstandard analysis, in which there is a predicate N(x) for an elementary initial segment, along with axiom schemes approximating ω 1 -saturation. We prove that such systems have the same proof-theoretic strength as their natural analogues in second order arithmetic. We close by presenting an even stronger extension of Peano arithmetic, which is equivalent to ZF for arithmetic statements.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  16
    A correction to “stationary logic”.Jon Barwise, Matt Kaufmann & Michael Makkai - 1981 - Annals of Mathematical Logic 20 (2):231-232.
  5.  51
    Saturation and simple extensions of models of peano arithmetic.Matt Kaufmann & James H. Schmerl - 1984 - Annals of Pure and Applied Logic 27 (2):109-136.
  6.  26
    Remarks on weak notions of saturation in models of peano arithmetic.Matt Kaufmann & James H. Schmerl - 1987 - Journal of Symbolic Logic 52 (1):129-148.
  7.  27
    Set theory with a Filter quantifier.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (2):263-287.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8. Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
    Let U be a well-founded model of ZFC whose class of ordinals has uncountable cofinality, such that U has a Σ n end extension for each n ∈ ω. It is shown in Theorem 1.1 that there is such a model which has no elementary end extension. In the process some interesting facts about topless end extensions (those with no least new ordinal) are uncovered, for example Theorem 2.1: If U is a well-founded model of ZFC, such that U has (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Kein ewiger Friede fur Kant: Ein Ruckblick aufeinige Literatur zu 200 Jahren - Zum ewigen Frieden.Matthias Kaufmann - 2000 - Allgemeine Zeitschrift für Philosophie 25 (2):271-280.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  10.  6
    Recht.Matthias Kaufmann - 2016 - Boston: De Gruyter.
  11. „Was erlaubt das Erlaubnisgesetz-und wozu braucht es Kant?“.Matthias Kaufmann - 2005 - Jahrbuch für Recht Und Ethik 13:195-219.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  12.  8
    Allgemeine Zeitschrift für Philosophie (AZP).Matthias Kaufmann - 2000 - Allgemeine Zeitschrift für Philosophie 25 (2):271-280.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  15
    The Hanf number of stationary logic.Saharon Shelah & Matt Kaufmann - 1986 - Notre Dame Journal of Formal Logic 27 (1):111-123.
  14.  27
    Meeting of the association for symbolic logic: Notre dame, indiana, 1984.John Baldwin, Matt Kaufmann & Julia F. Knight - 1985 - Journal of Symbolic Logic 50 (1):284-286.
  15.  4
    Zwischen Sprache und Geschichte: Vicos Methode beim Umgang mit Recht und Naturrecht.Giuseppe Cacciatore, Matthias Kaufmann & Fabrizio Lomonaco (eds.) - 2020 - Frankfurt: Peter Lang.
    Der vorliegende Band diskutiert die Geschichts- und Sprachphilosophie Giambattista Vicos, primär in Bezug auf die Rechtslehre. Dabei wird Vico sowohl als Denker seines Zeitalters als auch in der Auseinandersetzung mit Autoren wie Suárez, Bacon, Descartes etc. gelesen und es ergeben sich immer wieder Bezüge zu aktuellen Debatten.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  18
    Das Bild des Islam und des Buddhismus: Eine empirische Untersuchung.Kirsten George, Matthias Kaufmann, Günter Kehrer, Natalie Kuczera, Anke Spieth & Daniel Sturm - 1996 - Zeitschrift für Religionswissenschaft 4 (1):55-82.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  8
    Meeting of the Association for Symbolic Logic.Baldwin John, Matt Kaufmann & Julia F. Knight - 1985 - Journal of Symbolic Logic 50 (1):284-286.
  18.  6
    Aufgeklärte Anarchie: eine Einführung in die politische Philosophie.Matthias Kaufmann - 1999
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Arthur Baumgarten, Neueste Richtungen der allgemeinen Philosophie und die Zukunftsaussichten der Rechtsphilosophie.Matthias Kaufmann - 2009 - In Annette Brockmöller & Eric Hilgendorf (eds.), Rechtsphilosophie Im 20. Jahrhundert: 100 Jahre Archiv für Rechts- Und Sozialphilosophie. Nomos.
    No categories
     
    Export citation  
     
    Bookmark  
  20.  5
    A Computational Logic for Applicative Common LISP.Matt Kaufmann & J. Strother Moore - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 724–741.
    This chapter contains sections titled: Introduction The ACL2 System A Modeling Problem Case Studies.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  11
    A Companion to Luis de Molina.Matthias Kaufmann & Alexander Aichele (eds.) - 2013 - Brill.
    Focused on Molina's main works the book offers the first comprehensive synopsis of his partly revolutionary philosophical positions concerning metaphysics of freedom, political philosophy, theory of law and their historical and systematic influence from the 17th century until today.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  13
    Anarchie éclairée: une introduction à la philosophie politique.Matthias Kaufmann - 2011 - Paris: l'Harmattan.
    Après que le stalinisme nous a dépouillés de quelques utopies et que le capitalisme, dégagé de toute entrave, a définitivement montré son caractère inhumain, l'anarchisme s'avère attrayant, en ce qu'il tente de combiner les ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  78
    A new omitting types theorem for l(q).Matt Kaufmann - 1979 - Journal of Symbolic Logic 44 (4):507-521.
  24.  8
    A nonconservativity result on global choice.Matt Kaufmann & Saharon Shelah - 1984 - Annals of Pure and Applied Logic 27 (3):209-214.
  25.  8
    Autonomie und das Faktum der Vernunft.Matthias Kaufmann - 2007 - In Jürgen Stolzenberg (ed.), Kant in der Gegenwart. New York: De Gruyter. pp. 227-246.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  13
    Buchnotizen.Matthias Kaufmann - 2019 - Zeitschrift für Philosophische Forschung 73 (1):174-175.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  12
    Begriffe, Sätze, Dinge: Referenz und Wahrheit bei Wilhelm von Ockham.Matthias Kaufmann - 1994 - New York: E.J. Brill.
  28.  23
    Der Begriff als "nicht wirklich existierende" Einheit vieler "wirklich existierender" Individuen. Ontologische Aspekte der mittelalterlichen und der analytischen Philsophie.Matthias Kaufmann - 1989 - Zeitschrift für Philosophische Forschung 43 (3):509 - 518.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Die Rolle Des Decorum In Der Ethik Des Christian Thomasius.Matthias Kaufmann - 2000 - Jahrbuch für Recht Und Ethik 8.
    Within the context of his epochal distinction between the sphere of law and of morals, of iustum and honestum, Christian Thomasius introduces a further category of conduct rules, which relate to so-called decorum, to good and proper behavior. They teach the individual how to behave socially, and have a stabilizing effect on society. As Thomasius distinguishes between a natural-law oriented, and thus for all individuals equal, natural decorum and a decorum politicum, which is oriented toward actual practices and feudal order, (...)
    No categories
     
    Export citation  
     
    Bookmark  
  30. Die referenzautoren der schule von salamanca und andere vorlaufer im mittelalter.Matthias Kaufmann - 2016 - In Kirstin Bunge, Marko J. Fuchs, Danaë Simmermacher & Anselm Spindler (eds.), The concept of law (lex) in the moral and political thought of the 'School of Salamanca' / edited by Kirstin Bunge, Marko J. Fuchs, Danaë Simmermacher, and Anselm Spindler. Boston: Brill.
     
    Export citation  
     
    Bookmark  
  31.  20
    Definable ultrapowers and ultrafilters over admissible ordinals.Matt Kaufmann & Evangelos Kranakis - 1984 - Mathematical Logic Quarterly 30 (7‐8):97-118.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  29
    Definable Ultrapowers and Ultrafilters Over Admissible Ordinals.Matt Kaufmann & Evangelos Kranakis - 1984 - Mathematical Logic Quarterly 30 (7-8):97-118.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Ethikbegründung Und Ethikanwendung.Matthias Kaufmann - 1996 - Jahrbuch für Recht Und Ethik 4.
    The article attempts to clarify the relationship between justifying ethical norms and applying them. The first part considers the role of philosophy within applied ethical contexts. The second part discusses the long tradition of comparing mathematics and ethics and recommends a method for the procedure to be followed in an ethical discussion. This recommendation relies on Rawls' reflective equilibrium. The subsequent attempt to justify ethics is primarily based on the idea that human communal life without some form of morality is (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  34.  9
    Eine unpolitisch-politische Philosophie?Matthias Kaufmann - 2004 - Deutsche Zeitschrift für Philosophie 52 (5).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  15
    Filter logics: Filters on ω1.Matt Kaufmann - 1981 - Annals of Mathematical Logic 20 (2):155-200.
  36.  96
    Filter logics on ω.Matt Kaufmann - 1984 - Journal of Symbolic Logic 49 (1):241-256.
    Logics L F (M) are considered, in which M ("most") is a new first-order quantifier whose interpretation depends on a given filter F of subsets of ω. It is proved that countable compactness and axiomatizability are each equivalent to the assertion that F is not of the form $\{(\bigcap F) \cup X:|\omega - X| with $|\omega - \bigcap F| = \omega$ . Moreover the set of validities of L F (M) and even of L F ω 1 ω (M) depends (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37.  12
    Filter Logics on $omega$.Matt Kaufmann - 1984 - Journal of Symbolic Logic 49 (1):241-256.
    Logics $L^F(M)$ are considered, in which $M$ ("most") is a new first-order quantifier whose interpretation depends on a given filter $F$ of subsets of $\omega$. It is proved that countable compactness and axiomatizability are each equivalent to the assertion that $F$ is not of the form $\{(\bigcap F) \cup X: |\omega - X| < \omega\}$ with $|\omega - \bigcap F| = \omega$. Moreover the set of validities of $L^F(M)$ and even of $L^F_{\omega_1\omega}(M)$ depends only on a few basic properties of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  14
    Gehören Menschenrechte und Menschenwürde zusammen?Matthias Kaufmann - 2014 - Research Trends in Humanities Education & Philosophy 1:16-20.
    The concept of human dignity seems to be closely connected to the idea of human rights. But whereas human rights are at least from an institutional point of view well established, the concept of human dignity is often seen as either arbitrary and superfluous or fundamen-talistic. The paper shows that human rights and human dignity had different histories for a long time but are nowadays intrinsically connected. The concept of human dignity implies a certain core of human rights and offers (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  6
    Geleitwort.Matthias Kaufmann - 2021 - In Stefan Knauß, Louis Wolfradt, Tim Hofmann & Jens Eberhard (eds.), Auf den Spuren von Anton Wilhelm Amo: Philosophie und der Ruf nach Interkulturalität. transcript Verlag. pp. 7-8.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. imputabilitas als Merkmal des Moralischen. Die Diskussion bei Duns Scotus und Wilhelm von Ockham.Matthias Kaufmann - 1994 - Jahrbuch für Recht Und Ethik 2.
    John Duns Scotus deals with a question which is still of importance for modern ethical debate, namely what is the difference between a good deed which is intended but may be hindered by the circumstances and a good deed which is both intended and consummated? Scotus discusses this issue in connection with the question of whether moral goodness or badness can be assigned to the external act, which depends on physical capability. In his investigation, he determines that the imputability of (...)
    No categories
     
    Export citation  
     
    Bookmark  
  41.  11
    Integrating external deduction tools with ACL2.Matt Kaufmann, J. Strother Moore, Sandip Ray & Erik Reeber - 2009 - Journal of Applied Logic 7 (1):3-25.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  37
    Ist Gilbert Ryle erledigt?Matthias Kaufmann - 1988 - Grazer Philosophische Studien 31 (1):201-224.
    Ryles Concept of Mind gilt als ebenso überholt wie logischer Behaviorismus und sprachanalytische Philosophie, denen er zugerechnet wird. Ryle betreibt jedoch keinen logischen Behaviorismus, da er das mentale Vokabular nicht zu beseitigen versucht. Für die sprachanalytische Philosophie bilden sich die Begriffe der Umgangssprache in der Auseinandersetzung mit der Welt, spiegeln daher auch die Weh wider. In den von Putnam gegen diese These konstruierten Situationen mit veränderten Wortverwendungsweisen sind auch die Referenten verändert. Putnam hat in der philosophy of mind eine ähnliche (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  11
    Ist Gilbert Ryle erledigt?Matthias Kaufmann - 1988 - Grazer Philosophische Studien 31 (1):201-224.
    Ryles Concept of Mind gilt als ebenso überholt wie logischer Behaviorismus und sprachanalytische Philosophie, denen er zugerechnet wird. Ryle betreibt jedoch keinen logischen Behaviorismus, da er das mentale Vokabular nicht zu beseitigen versucht. Für die sprachanalytische Philosophie bilden sich die Begriffe der Umgangssprache in der Auseinandersetzung mit der Welt, spiegeln daher auch die Weh wider. In den von Putnam gegen diese These konstruierten Situationen mit veränderten Wortverwendungsweisen sind auch die Referenten verändert. Putnam hat in der philosophy of mind eine ähnliche (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  11
    Metaphysik als Ontologie und Sprachanalyse: Wilhelm von Ockham.Matthias Kaufmann - 2016 - In Gerhard Krieger (ed.), Die "Metaphysik" des Aristoteles Im Mittelalter: Rezeption Und Transformation. De Gruyter. pp. 285-306.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Menschenrechte Und Demokratie.Matthias Kaufmann - 1995 - Jahrbuch für Recht Und Ethik 3.
    Using an analytical and historical approach, this article indicates that democracy, as understood today, is more closely linked with human rights than many authors assume. The first section attempts to justify the approach selected, which connects distinctions revealed by linguistic analysis of various word usages with an historical investigation of the evolving meaning of certain concepts. Section two contains several systematic considerations which firstly, appeal for retention of the now commonly assumed equivalence between democracy in the classical sense and constitutional (...)
    No categories
     
    Export citation  
     
    Bookmark  
  46.  4
    Naturrechtliche Normbegründung.Matthias Kaufmann - 2021 - In Eric Hilgendorf & Jan C. Joerden (eds.), Handbuch Rechtsphilosophie. J.B. Metzler. pp. 191-200.
    Dass eine Norm aus dem Naturrecht begründet ist, kann entweder bedeuten, dass sie aus einem Katalog naturrechtlicher Normen entnommen oder abgeleitet ist oder dass sie vom Urheber des Naturrechts angeordnet wurde oder dass unter Rückgriff auf das Naturrecht ihre Richtigkeit und daher auch ihre Geltung bewiesen werden kann. Diese Differenzierung korrespondiert teilweise einer stark schematisierenden Einteilung, nach der man die Naturrechtsgeschichte als Aufeinanderfolge eines Rechtes aus der Natur, eines Rechtes aus der Natur des Menschen und eines Rechtes aus der Natur (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Nochmals nachgefragt und nochmals geantwortet.Matthias Kaufmann - 1992 - Ethik Und Sozialwissenschaften 3 (1):106.
    No categories
     
    Export citation  
     
    Bookmark  
  48. Ockhams Logik und Erkenntnistheorie―im Diskurs der Scholastik und in der aktuellen Diskussion.Matthias Kaufmann - 1991 - Philosophische Rundschau 38 (4):318-328.
    No categories
     
    Export citation  
     
    Bookmark  
  49.  10
    Ockham und Davidson über die Wahrheit.Matthias Kaufmann - 1994 - In Ulla Wessels & Georg Meggle (eds.), Analyōmen 1 =. De Gruyter. pp. 453-463.
  50.  9
    Politik und Recht.Matthias Kaufmann - 2021 - In Eric Hilgendorf & Jan C. Joerden (eds.), Handbuch Rechtsphilosophie. J.B. Metzler. pp. 371-381.
    Das Verhältnis von Politik und Recht lässt sich bei starker Schematisierung in vier verschiedenen Formen konzipieren: Man kann der Politik auferlegen, sich stets dem Recht unterzuordnen, Recht kann seinem Wesen nach als Ergebnis politischer Entscheidungen gedeutet werden, man kann annehmen, dass es wichtige politische Entscheidungen gibt, die unabhängig von den Vorgaben des Rechts getroffen werden, und man kann unterstellen, dass Recht und Politik einander stets bedingen und durchdringen. Offenkundig spielt dabei die Frage eine zentrale Rolle, was unter ›Politik‹ und unter (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 85