Results for 'super axiom'

480 found
Order:
  1. It From Δ-Logit.Vladimir Rogozhin - 2013 - The Foundational Questions Institute (FQXi).
    Total ontological unification of matter at all levels of reality as a whole, its “grasp” of its dialectical structure, space dimensionality and structure of the language of nature – “house of Being” [1], gives the opportunity to see the “place” and to understand the nature of information as a phenomenon of Ontological Memory, the measure of being of the whole, “the soul of matter”, qualitative quality of the absolute forms of existence of matter (absolute states). “Information” and “time” are multivalent (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  67
    Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
    Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  95
    On the Type-Token Relationships.Urszula Wybraniec-Skardowska - 1986 - Bulletin of the Section of Logic 15 (4):164-168.
    The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  21
    The Future of Science.Hossein Shirkhani - manuscript
    This article has been written about the explanation of the scientific affair. There are the philosophical circles that a philosopher must consider their approaches. Postmodern thinkers generally refuse the universality of the rational affair. They believe that the experience cannot reach general knowledge. They emphasize on the partial and plural knowledge. Any human being has his knowledge and interpretation. The world is always becoming. Diversity is an inclusive epistemological principle. Naturally, in such a state, the scientific activity is a non-sense (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Crisis of Fundamentality → Physics, Forward → Into Metaphysics → The Ontological Basis of Knowledge: Framework, Carcass, Foundation.Vladimir Rogozhin - 2018 - FQXi.
    The present crisis of foundations in Fundamental Science is manifested as a comprehensive conceptual crisis, crisis of understanding, crisis of interpretation and representation, crisis of methodology, loss of certainty. Fundamental Science "rested" on the understanding of matter, space, nature of the "laws of nature", fundamental constants, number, time, information, consciousness. The question "What is fundametal?" pushes the mind to other questions → Is Fundamental Science fundamental? → What is the most fundamental in the Universum?.. Physics, do not be afraid of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Super-Relationism: Combining Eliminativism About Objects and Relationism About Spacetime.Baptiste Le Bihan - 2016 - Philosophical Studies 173 (8):2151-2172.
    I will introduce and motivate eliminativist super-relationism. This is the conjunction of relationism about spacetime and eliminativism about material objects. According to the view, the universe is a big collection of spatio-temporal relations and natural properties, and no substance (material or spatio-temporal) exists in it. The view is original since eliminativism about material objects, when understood as including not only ordinary objects like tables or chairs but also physical particles, is generally taken to imply substantivalism about spacetime: if properties (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  7. Essential Properties Are Super-Explanatory: Taming Metaphysical Modality.Marion Godman, Antonella Mallozzi & David Papineau - 2020 - Journal of the American Philosophical Association (3):1-19.
    This paper aims to build a bridge between two areas of philosophical research, the structure of kinds and metaphysical modality. Our central thesis is that kinds typically involve super-explanatory properties, and that these properties are therefore metaphysically essential to natural kinds. Philosophers of science who work on kinds tend to emphasize their complexity, and are generally resistant to any suggestion that they have “essences”. The complexities are real enough, but they should not be allowed to obscure the way that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Explanationism, Super-Explanationism, Ecclectic Explanationism: Persistent Problems on Both Sides.Ryan T. Byerly & Kraig Martin - 2016 - Logos and Episteme 7 (2):201-213.
    We argue that explanationist views in epistemology continue to face persistent challenges to both their necessity and their sufficiency. This is so despite arguments offered by Kevin McCain in a paper recently published in this journal which attempt to show otherwise. We highlight ways in which McCain’s attempted solutions to problems we had previously raised go awry, while also presenting a novel challenge for all contemporary explanationist views.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. The Axiom of Choice in Quine's New Foundations for Mathematical Logic.Ernst P. Specker - 1954 - Journal of Symbolic Logic 19 (2):127-128.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  10. Restricting Spinoza's Causal Axiom.John Morrison - 2015 - Philosophical Quarterly 65 (258):40-63.
    Spinoza's causal axiom is at the foundation of the Ethics. I motivate, develop and defend a new interpretation that I call the ‘causally restricted interpretation’. This interpretation solves several longstanding puzzles and helps us better understand Spinoza's arguments for some of his most famous doctrines, including his parallelism doctrine and his theory of sense perception. It also undermines a widespread view about the relationship between the three fundamental, undefined notions in Spinoza's metaphysics: causation, conception and inherence.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Andrea Sereni & Francesca Boccuni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Berlin: Springer. pp. 165-188.
    The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  15
    Turing Vs. Super-Turing: A Defence of the Church-Turing Thesis.Luciano Floridi - 1999 - In Philosophy and computing: an introduction. Oxford:
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  72
    Maximality and Ontology: How Axiom Content Varies Across Philosophical Frameworks.Sy-David Friedman & Neil Barton - 2017 - Synthese 197 (2):623-649.
    Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism and actualism face complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Formalizing Euclid’s First Axiom.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (3):404-405.
    Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  77
    The Axiom of Infinity.Bertrand Russell - 1903 - Hibbert Journal 2:809-812.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. The Super Justification Argument for Phenomenal Transparency.Kevin Morris - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    In Consciousness and Fundamental Reality, Philip Goff argues that the case against physicalist views of consciousness turns on “Phenomenal Transparency”, roughly the thesis that phenomenal concepts reveal the essential nature of phenomenal properties. This paper considers the argument that Goff offers for Phenomenal Transparency. The key premise is that our introspective judgments about current conscious experience are “Super Justified”, in that these judgments enjoy an epistemic status comparable to that of simple mathematical judgments, and a better epistemic status than (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Philosophy and Science, the Darwinian-Evolved Computational Brain, a Non-Recursive Super-Turing Machine & Our Inner-World-Producing Organ.Hermann G. W. Burchard - 2016 - Open Journal of Philosophy 6 (1):13-28.
    Recent advances in neuroscience lead to a wider realm for philosophy to include the science of the Darwinian-evolved computational brain, our inner world producing organ, a non-recursive super- Turing machine combining 100B synapsing-neuron DNA-computers based on the genetic code. The whole system is a logos machine offering a world map for global context, essential for our intentional grasp of opportunities. We start from the observable contrast between the chaotic universe vs. our orderly inner world, the noumenal cosmos. So far, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  18. If It's Clear, Then It's Clear That It's Clear, or is It? Higher-Order Vagueness and the S4 Axiom.Susanne Bobzien - 2012 - In B. Morison K. Ierodiakonou (ed.), Episteme, etc.: Essays in honour of Jonathan Barnes. OUP UK.
    The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  19. Super Soldiers and Technological Asymmetry.Robert Mark Simpson - 2015 - In J. Galliott & M. Lotz (eds.), Super Soldiers: Ethical, Legal, and Social Implications. Ashgate: Ashgate. pp. 81-91.
    In this chapter I argue that emerging soldier enhancement technologies have the potential to transform the ethical character of the relationship between combatants, in conflicts between ‘Superpower’ militaries, with the ability to deploy such technologies, and technologically disadvantaged ‘Underdog’ militaries. The reasons for this relate to Paul Kahn’s claims about the paradox of riskless warfare. When an Underdog poses no threat to a Superpower, the standard just war theoretic justifications for the Superpower’s combatants using lethal violence against their opponents breaks (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  78
    Super-Retributivism.Paul Bali - manuscript
    a criminal, C, inflicts an injustice upon their Victim. thus C deserves to suffer an injustice: an excessive punishment.
    Download  
     
    Export citation  
     
    Bookmark  
  21. Superhumans: Super-Language?Vasil Penchev - 2016 - Dialogue and Universalism 26 (1):79-89.
    The paper questions the scientific rather than ideological problem of an eventual biological successor of the mankind. The concept of superhumans is usually linked to Nietzsche or to Heidegger’s criticism or even to the ideology of Nazism. However, the superhuman can be also viewed as that biological species who will originate from humans eventually in the course of evolution.While the society is reached a natural limitation of globalism, technics depends on the amount of utilized energy, and the mind is restricted (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Operational Axioms for Diagonalizing States.Giulio Chiribella & Carlo Maria Scandolo - 2015 - EPTCS 195:96-115.
    In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that guarantee that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Taking the Super Out of the Supernatural.Leslie Marsh - 2007 - Zygon 42 (2):356.
    Metaphysical dualities divorce humankind from its natural environment, dualities that can precipitate environmental disaster. Loyal Rue in Religion Is Not About God seeks to resolve the abstract modalities of religion and naturalism in a unified monistic ecocentric metaphysic characterized as religious naturalism. Rue puts forward proposals for a general naturalistic theory of religion, a theory that lays bare the structural and functional features of religious phenomena as the critical first step on the road to badly needed religion- science realignment. Only (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Russell’s Method of Analysis and the Axioms of Mathematics.Lydia Patton - 2017 - In Sandra Lapointe Christopher Pincock (ed.), Innovations in the History of Analytical Philosophy. London: Palgrave-Macmillan. pp. 105-126.
    In the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  92
    The Myth of the Super Pleasure Helmet.Bryan C. Rickertsen - 1976 - Journal of Thought 11 (3):240-244.
    WILLIAM DAVIS HAS MAINTAINED THAT A SUPER PLEASURE HELMET COULD IN PRINCIPLE SATISFY ALL HUMAN NEEDS, BUT THAT SUCH A MACHINE IS PROBABLY A PRACTICAL IMPOSSIBILITY. I ARGUE THAT THE SUPER PLEASURE HELMET IS CONCEPTUALLY IMPOSSIBLE BY ARGUING THAT A PERSON'S NEEDS CANNOT BE SATISFIED JUST BY BRINGING ABOUT CERTAIN PSYCHOLOGICAL STATES IN THAT PERSON.
    Download  
     
    Export citation  
     
    Bookmark  
  26.  60
    The Axiom of Infinity.Cassius Jackson Keyser - 1904 - Hibbert Journal 3:380-383.
    Download  
     
    Export citation  
     
    Bookmark  
  27.  50
    The Axiom of Infinity: A New Presupposition of Thought.Cassius Jackson Keyser - 1903 - Hibbert Journal 2:532-552.
    Download  
     
    Export citation  
     
    Bookmark  
  28.  61
    Basic‐Know And Super‐Know.Anna Mahtani - 2019 - Philosophy and Phenomenological Research 98 (2):375-391.
    Sometimes a proposition is ‘opaque’ to an agent: he doesn't know it, but he does know something about how coming to know it should affect his or her credence function. It is tempting to assume that a rational agent's credence function coheres in a certain way with his or her knowledge of these opaque propositions, and I call this the ‘Opaque Proposition Principle’. The principle is compelling but demonstrably false. I explain this incongruity by showing that the principle is ambiguous: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29.  94
    An Elementary System of Axioms for Euclidean Geometry Based on Symmetry Principles.Boris Čulina - 2018 - Axiomathes 28 (2):155-180.
    In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides the Weyl’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Foundation of All Axioms the Axioms of Consciousness (Consciousness and Special Relativity?).Frank de Silva - 1996 - Engineering in Medicine and Biology 15 (3):21-26.
    A description of consciousness leads to a contradiction with the postulation from special relativity that there can be no connections between simultaneous event. This contradiction points to consciousness involving quantum level mechanisms. The Quantum level description of the universe is re- evaluated in the light of what is observed in consciousness namely 4 Dimensional objects. A new improved interpretation of Quantum level observations is introduced. From this vantage point the following axioms of consciousness is presented. Consciousness consists of two distinct (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Arithmetic Without the Successor Axiom.Andrew Boucher - manuscript
    Second-order Peano Arithmetic minus the Successor Axiom is developed from first principles through Quadratic Reciprocity and a proof of self-consistency. This paper combines 4 other papers of the author in a self-contained exposition.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  77
    Repairing Ontologies Via Axiom Weakening.Daniele Porello & Oliver Kutz Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello - 2018 - In Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18). pp. 1981--1988.
    Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Defending the Axioms-On the Philosophical Foundations of Set Theory, Penelope Maddy. [REVIEW]Eduardo Castro - 2012 - Teorema: International Journal of Philosophy 31 (1):147-150.
    Review of Maddy, Penelope "Defending the Axioms".
    Download  
     
    Export citation  
     
    Bookmark  
  34. Are Large Cardinal Axioms Restrictive?Neil Barton - manuscript
    The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper, I argue that whether or not large cardinal axioms count as maximality principles depends on prior commitments concerning the richness of the subset forming operation. In particular I argue that there is a conception of maximality through absoluteness, on which large cardinal axioms are restrictive. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35.  94
    A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic:1-37.
    We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness and a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  22
    Do Abstract Mathematical Axioms About Infinite Sets Apply To The Real, Physical Universe?Roger Granet - manuscript
    In mathematics, if one starts with the infinite set of positive integers, P, and want to compare the size of the subset of odd positives, O, with P, this is done by pairing off each odd with a positive, using a function such as P=2O+1. This puts the odds in a one-to-one correspondence with the positives, thereby, showing that the subset of odds and the set of positives are the same size, or have the same cardinality. This counter-intuitive result ignores (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Aquinas and the Metaphysics of Divine Providence - De Potentia Dei 3, 7 and Super Librum de Causis Expositio.Ignacio Silva - 2019 - Studium : revista de filosofía y teología 22 (43):53-72.
    The main goal of this paper is tocompare how Thomas Aquinas expressedhis doctrine of providence through second-ary causes, making use of both Aristotelianand Neo-Platonic principles, in the seventharticle of the third question of his Quaes-tiones Disputatae De Potentia Dei and his Super Librum de Causis Expositio , in whichhe intends to solve the problem of themetaphysical mechanism by which God providentially guides creation. I will rst present his arguments as they appear inthe disputed questions, followed by a pre-sentation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  90
    Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms.Jaykov Foukzon - 2013 - Advances in Pure Mathematics (3):368-373.
    In this article, a possible generalization of the Löb’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then ¬Con( ZFC +∃κ) .
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Two Approaches to Ontology Aggregation Based on Axiom Weakening.Daniele Porello, Nicolaas Troquard, Oliver Kutz, Rafael Penaloza, Roberto Confalonieri & Pietro Galliani - 2018 - In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden. pp. 1942--1948.
    Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  36
    利他主義、イエス、そして世界の終わり-テンプルトン財団がハーバード大学で教授の椅子を購 入し、進化、合理性、および文明を攻撃した方法。 「地球の社会的征服」のレビュー(The Social Conquest of Earth) by E.O. Wilson(2012)そして「スーパーコラボレーター」 (Super Cooperators) by Nowak Highfield (2014)(レビューは2019年に改訂されました).Michael Richard Starks - 2020 - In 地獄へようこそ 赤ちゃん、気候変動、ビットコイン、カルテル、中国、民主主義、多様性、ディスジェニックス、平等、ハッカー、人権、イスラム教、自由主義、繁栄、ウェブ、カオス、飢餓、病気、暴力、人工知能、戦争. Las Vegas, NV , USA: Reality Press. pp. 254-266.
    有名な蟻男E.O.ウィルソンは常に私のヒーローの1人でした-優れた生物学者だけでなく、少なくとも他の人が把握できない、または把握している限り、私たちの性質についての真実をほのめかすための勇敢なマイノリ ティの1人です、政治的便宜のために勤勉に避けます。悲しいことに、彼は、ハーバードの同僚たちの宗教的な熱意によって少なくとも部分的に動機付けられた、科学に対する無知で傲慢な攻撃へのパーティーとして、彼の 長いキャリアを最も率直なやり方で終えています。これは、大学が宗教団体からお金を受け取ったとき、科学雑誌が大きな評判に驚いて、適切な査読を避けられたとき、そして自我が制御不能になることを許可されたときの 卑劣な結果を示しています。それは、進化の本質、科学的方法論の基本、数学と科学の関係、理論の構成要素、そして産業文明の崩壊に容赦なく取り組む際に信仰と寛大さへの態度さえも適切に導く。 現代の2つのシス・エムスの見解から人間の行動のための包括的な最新の枠組みを望む人は、私の著書「ルートヴィヒ・ヴィトゲンシュタインとジョン・サールの第2回(2019)における哲学、心理学、ミンと言語の論 理的構造」を参照することができます。私の著作の多くにご興味がある人は、運命の惑星における「話す猿--哲学、心理学、科学、宗教、政治―記事とレビュー2006-2019 第3回(2019)」と21世紀4日(2019年)の自殺ユートピア妄想st Century 4th ed (2019)などを見ることができます。 .
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  35
    Everything is Conceivable: A Note on an Unused Axiom in Spinoza’s Ethics.Justin Vlasits - forthcoming - British Journal for the History of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  42.  23
    Can Redescriptions of Outcomes Salvage the Axioms of Decision Theory?Jean Baccelli & Philippe Mongin - forthcoming - Philosophical Studies:1-28.
    The basic axioms or formal conditions of decision theory, especially the ordering condition put on preferences and the axioms underlying the expected utility formula, are subject to a number of counter-examples, some of which can be endowed with normative value and thus fall within the ambit of a philosophical reflection on practical rationality. Against such counter-examples, a defensive strategy has been developed which consists in redescribing the outcomes of the available options in such a way that the threatened axioms or (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. The Gödel Incompleteness Theorems (1931) by the Axiom of Choice.Vasil Penchev - 2020 - Econometrics: Mathematical Methods and Programming eJournal (Elsevier: SSRN) 13 (39):1-4.
    Those incompleteness theorems mean the relation of (Peano) arithmetic and (ZFC) set theory, or philosophically, the relation of arithmetical finiteness and actual infinity. The same is managed in the framework of set theory by the axiom of choice (respectively, by the equivalent well-ordering "theorem'). One may discuss that incompleteness form the viewpoint of set theory by the axiom of choice rather than the usual viewpoint meant in the proof of theorems. The logical corollaries from that "nonstandard" viewpoint the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44.  15
    Introduction to CAT4. Part 1. Axioms.Andrew Thomas Holster - manuscript
    CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. It is based on a special type of relation called CAT4, which is interpreted to provide a semantic representation. This is Part 1 of a five-part introduction. The focus here is on defining the key mathematical structures first, and presenting the semantic-database application in subsequent Parts. We focus in Part 1 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. The Many Faces of Spinoza's Causal Axiom.Martin Lin - 2019 - In Dominik Perler & Sebastian Bender (eds.), Causation and Cognition: Perspectives on Early Modern Philosophy. New York: Routledge.
    Download  
     
    Export citation  
     
    Bookmark  
  46. Generalized Löb’s Theorem.Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal (Vol. 4, No. 1-1):1-5.
    Download  
     
    Export citation  
     
    Bookmark  
  47. Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.
    The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  20
    Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu - 2021 - ACM Transactions on Computational Logic 22 (3):1-31.
    We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Logically Possible Machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.
    I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  50. Consciousness and the End of Materialism: Seeking Identity and Harmony in a Dark Era.Spyridon Kakos - 2018 - International Journal of Theology, Philosophy and Science 2 (2):17-33.
    “I am me”, but what does this mean? For centuries humans identified themselves as conscious beings with free will, beings that are important in the cosmos they live in. However, modern science has been trying to reduce us into unimportant pawns in a cold universe and diminish our sense of consciousness into a mere illusion generated by lifeless matter. Our identity in the cosmos is nothing more than a deception and all the scientific evidence seem to support this idea. Or (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 480