Results for 'Axiomatics'

14 found
Order:
  1. Axiomatics and Problematics as Two Modes of Formalisation: Deleuze's Epistemology of Mathematics'.Daniel W. Smith - 2006 - In Simon B. Duffy (ed.), Virtual Mathematics: The Logic of Difference. Clinamen. pp. 145--168.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Philosophy as Total Axiomatics: Serious Metaphysics, Scrutability Bases, and Aesthetic Evaluation.Uriah Kriegel - 2016 - Journal of the American Philosophical Association 2 (2):272-290.
    What is the aim of philosophy? There may be too many philosophical branches, traditions, practices, and programs to admit of a single overarching aim. Here I focus on a fairly traditional philosophical project that has recently received increasingly sophisticated articulation, especially by Frank Jackson (1998) and David Chalmers (2012). In §1, I present the project and suggest that it is usefully thought of as ‘total axiomatics’: the project of attempting to axiomatize the total theory of the world. In §2, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Poincaré on the Foundation of Geometry in the Understanding.Jeremy Shipley - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Springer. pp. 19-37.
    This paper is about Poincaré’s view of the foundations of geometry. According to the established view, which has been inherited from the logical positivists, Poincaré, like Hilbert, held that axioms in geometry are schemata that provide implicit definitions of geometric terms, a view he expresses by stating that the axioms of geometry are “definitions in disguise.” I argue that this view does not accord well with Poincaré’s core commitment in the philosophy of geometry: the view that geometry is the study (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The First Draft of Spinoza's Ethics.Yitzhak Melamed - 2019 - In Charles Ramond and Jack Stetter (ed.), Spinoza in 21st-Century French and American Philosophy. Bloomsbury. pp. 93-112.
    The two manuscripts of the Korte Verhanedling that were discovered in the mid-nineteenth century contain two appendices. These appendices are even more enigmatic than the KV itself, and it is the first appendix that is the subject of this study. Unfortunately, there are very few studies of this text, and its precise nature seems to be still in question after more than a century and a half of scholarship. It is commonly assumed that the appendices were written after the body (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Axiomatic Foundations of Quantum Mechanics Revisited: The Case for Systems.S. E. Perez-Bergliaffa, Gustavo E. Romero & H. Vucetich - 1996 - International Journal of Theoretical Phyisics 35:1805-1819.
    We present an axiomatization of non-relativistic Quantum Mechanics for a system with an arbitrary number of components. The interpretation of our system of axioms is realistic and objective. The EPR paradox and its relation with realism is discussed in this framework. It is shown that there is no contradiction between realism and recent experimental results.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Warum die Mathematik keine ontologische Grundlegung braucht.Simon Friederich - 2014 - Wittgenstein-Studien 5 (1).
    Einer weit verbreiteten Auffassung zufolge ist es eine zentrale Aufgabe der Philosophie der Mathematik, eine ontologische Grundlegung der Mathematik zu formulieren: eine philosophische Theorie darüber, ob mathematische Sätze wirklich wahr sind und ob mathematischen Gegenstände wirklich existieren. Der vorliegende Text entwickelt eine Sichtweise, der zufolge diese Auffassung auf einem Missverständnis beruht. Hierzu wird zunächst der Grundgedanke der Hilbert'schen axiomatischen Methode orgestellt, die Axiome als implizite Definitionen der in ihnen enthaltenen Begriffe zu behandeln. Anschließend wird in Anlehnung an einen Wittgenstein'schen Gedanken (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  62
    Axiomatic Foundations for Metrics of Distributive Justice Shown by the Example of Needs-Based Justice.Alexander Max Bauer - 2017 - Forsch! 3 (1):43-60.
    Distributive justice deals with allocations of goods and bads within a group. Different principles and results of distributions are seen as possible ideals. Often those normative approaches are solely framed verbally, which complicates the application to different concrete distribution situations that are supposed to be evaluated in regard to justice. One possibility in order to frame this precisely and to allow for a fine-grained evaluation of justice lies in formal modelling of these ideals by metrics. Choosing a metric that is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Formal Inconsistency and Evolutionary Databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
    This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  9. The Development of Mathematical Logic From Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  10.  84
    Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.
    Detlefsen (1986) reads Hilbert's program as a sophisticated defense of instrumentalism, but Feferman (1998) has it that Hilbert's program leaves significant ontological questions unanswered. One such question is of the reference of individual number terms. Hilbert's use of admittedly "meaningless" signs for numbers and formulae appears to impair his ability to establish the reference of mathematical terms and the content of mathematical propositions (Weyl (1949); Kitcher (1976)). The paper traces the history and context of Hilbert's reasoning about signs, which illuminates (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  85
    Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections.Giambattista Formica - 2010 - Perspectives on Science 18 (4):480-499.
    In spite of the many efforts made to clarify von Neumann’s methodology of science, one crucial point seems to have been disregarded in recent literature: his closeness to Hilbert’s spirit. In this paper I shall claim that the scientific methodology adopted by von Neumann in his later foundational reflections originates in the attempt to revaluate Hilbert’s axiomatics in the light of Gödel’s incompleteness theorems. Indeed, axiomatics continues to be pursued by the Hungarian mathematician in the spirit of Hilbert’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12.  9
    Неразрешимост на първата теорема за непълнотата. Гьоделова и Хилбертова математика.Vasil Penchev - 2010 - Philosophical Alternatives 19 (5):104-119.
    Can the so-ca\led first incompleteness theorem refer to itself? Many or maybe even all the paradoxes in mathematics are connected with some kind of self-reference. Gбdel built his proof on the ground of self-reference: а statement which claims its unprovabllity. So, he demonstrated that undecidaЬle propositions exist in any enough rich axiomatics (i.e. such one which contains Peano arithmetic in some sense). What about the decidabllity of the very first incompleteness theorem? We can display that it fulfills its conditions. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  9
    Парадоксът на Скулем и квантовата информация. Относителност на пълнота по Гьодел.Vasil Penchev - 2011 - Philosophical Alternatives 20 (2):131-147.
    In 1922, Thoralf Skolem introduced the term of «relativity» as to infinity от set theory. Не demonstrated Ьу Zermelo 's axiomatics of set theory (incl. the axiom of choice) that there exists unintended interpretations of anу infinite set. Тhus, the notion of set was also «relative». We сan apply his argurnentation to Gödel's incompleteness theorems (1931) as well as to his completeness theorem (1930). Then, both the incompleteness of Реапо arithmetic and the completeness of first-order logic tum out to (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  10
    A New Reading and Comparative Interpretation of Gödel’s Completeness (1930) and Incompleteness (1931) Theorems.Vasil Penchev - 2016 - Логико-Философские Штудии 13 (2):187-188.
    Peano arithmetic cannot serve as the ground of mathematics for it is inconsistent to infinity, and infinity is necessary for its foundation. Though Peano arithmetic cannot be complemented by any axiom of infinity, there exists at least one (logical) axiomatics consistent to infinity. That is nothing else than a new reading at issue and comparative interpretation of Gödel’s papers (1930; 1931) meant here. Peano arithmetic admits anyway generalizations consistent to infinity and thus to some addable axiom(s) of infinity. The (...)
    Download  
     
    Export citation  
     
    Bookmark