Results for 'Categorical set theory'

1000+ found
Order:
  1.  17
    Homotopy Type Theory and Structuralism.Teruji Thomas - 2014 - Dissertation, University of Oxford
    I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Set Theory.Charles C. Pinter - 1976 - Journal of Symbolic Logic 41 (2):548-549.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Moral Theory and Moral Alienation.Adrian M. S. Piper - 1987 - Journal of Philosophy 84 (2):102-118.
    Most moral theories share certain features in common with other theories. They consist of a set of propositions that are universal, general, and hence impartial. The propositions that constitute a typical moral theory are (1) universal, in that they apply to all subjects designated as within their scope. They are (2) general, in that they include no proper names or definite descriptions. They are therefore (3) impartial, in that they accord no special privilege to any particular agent's situation which (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  4
    Set Theory INC# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper Inductive Definitions.Jaykov Foukzon - forthcoming - Journal of Advances in Mathematics and Computer Science:25.
    In this paper intuitionistic set theory INC# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.
    Download  
     
    Export citation  
     
    Bookmark  
  5. Arithmetic, Set Theory, Reduction and Explanation.William D’Alessandro - 2018 - Synthese 195 (11):5059-5089.
    Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  38
    Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I).Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (2):73-88.
    In this article Russell’s paradox and Cantor’s paradox resolved successfully using intuitionistic logic with restricted modus ponens rule.
    Download  
     
    Export citation  
     
    Bookmark  
  7. Modal Set Theory.Christopher Menzel - forthcoming - In Otávio Bueno & Scott Shalkowski (eds.), The Routledge Handbook of Modality. London and New York: Routledge.
    This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Set Theory, Topology, and the Possibility of Junky Worlds.Thomas Mormann - 2014 - Notre Dame Journal of Formal Logic 55 (1): 79 - 90.
    A possible world is a junky world if and only if each thing in it is a proper part. The possibility of junky worlds contradicts the principle of general fusion. Bohn (2009) argues for the possibility of junky worlds, Watson (2010) suggests that Bohn‘s arguments are flawed. This paper shows that the arguments of both authors leave much to be desired. First, relying on the classical results of Cantor, Zermelo, Fraenkel, and von Neumann, this paper proves the possibility of junky (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Category Theory and Set Theory as Theories About Complementary Types of Universals.David P. Ellerman - 2017 - Logic and Logical Philosophy 26 (2):1-18.
    Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - manuscript
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory.Masanao Ozawa - 2016 - New Generation Computing 34 (1):125-152.
    The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality between two arbitrary observables, since the Born formula gives the probability distribution only for a commuting family of observables. In this paper, quantum set theory developed by Takeuti and the present author is used to systematically extend the standard probabilistic interpretation of quantum (...) to define the probability of equality between two arbitrary observables in an arbitrary state. We apply this new interpretation to quantum measurement theory, and establish a logical basis for the difference between simultaneous measurability and simultaneous determinateness. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Plural Reference and Set Theory.Peter Simons - 1982 - In Barry Smith (ed.), Parts and Moments: Studies in Logic and Formal Ontology. Munich: Philosophia Verlag. pp. 199--260.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  13.  99
    Another Use of Set Theory.Patrick Dehornoy - 1996 - Bulletin of Symbolic Logic 2 (4):379-391.
    Here, we analyse some recent applications of set theory to topology and argue that set theory is not only the closed domain where mathematics is usually founded, but also a flexible framework where imperfect intuitions can be precisely formalized and technically elaborated before they possibly migrate toward other branches. This apparently new role is mostly reminiscent of the one played by other external fields like theoretical physics, and we think that it could contribute to revitalize the interest in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Relevance, Relatedness and Restricted Set Theory.Barry Smith - 1991 - In Georg Schurz & Georg Jakob Wilhelm Dorn (eds.), Advances in Scientific Philosophy. Amsterdam: Rodopi. pp. 45-56.
    Relevance logic has become ontologically fertile. No longer is the idea of relevance restricted in its application to purely logical relations among propositions, for as Dunn has shown in his (1987), it is possible to extend the idea in such a way that we can distinguish also between relevant and irrelevant predications, as for example between “Reagan is tall” and “Reagan is such that Socrates is wise”. Dunn shows that we can exploit certain special properties of identity within the context (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  15. Cognitive Set Theory.Alec Rogers (ed.) - 2011 - ArborRhythms.
    Cognitive Set Theory is a mathematical model of cognition which equates sets with concepts, and uses mereological elements. It has a holistic emphasis, as opposed to a reductionistic emphasis, and it therefore begins with a single universe (as opposed to an infinite collection of infinitesimal points).
    Download  
     
    Export citation  
     
    Bookmark  
  16.  73
    Does Set Theory Really Ground Arithmetic Truth?Alfredo Roque Freire - manuscript
    We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to emphasize the incomplete picture of both theories and treat models as their syntactical counterparts. Insisting on the incomplete picture will allow us to argue in favor of the revisability of the standard model interpretation. We then show that it is hopeless to expect that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17.  30
    Set Theory and Structures.Neil Barton & Sy-David Friedman - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
    Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. ""Lambda Theory: Introduction of a Constant for" Nothing" Into Set Theory, a Model of Consistency and Most Noticeable Conclusions.Laurent Dubois - 2013 - Logique Et Analyse 56 (222):165-181.
    The purpose of this article is to present several immediate consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. The use of Lambda will appear natural thanks to its role of condition of possibility of sets. On a conceptual level, the use of Lambda leads to a legitimation of the empty set and to a redefinition of the notion of set. It lets also clearly (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. From Traditional Set Theory – That of Cantor, Hilbert , Gödel, Cohen – to Its Necessary Quantum Extension.Edward G. Belaga - manuscript
    The original purpose of the present study, 2011, started with a preprint «On the Probable Failure of the Uncountable Power Set Axiom», 1988, is to save from the transfinite deadlock of higher set theory the jewel of mathematical Continuum — this genuine, even if mostly forgotten today raison d’être of all traditional set-theoretical enterprises to Infinity and beyond, from Georg Cantor to David Hilbert to Kurt Gödel to W. Hugh Woodin to Buzz Lightyear.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. Heisenberg Quantum Mechanics, Numeral Set-Theory And.Han Geurdes - manuscript
    In the paper we will employ set theory to study the formal aspects of quantum mechanics without explicitly making use of space-time. It is demonstrated that von Neuman and Zermelo numeral sets, previously efectively used in the explanation of Hardy’s paradox, follow a Heisenberg quantum form. Here monadic union plays the role of time derivative. The logical counterpart of monadic union plays the part of the Hamiltonian in the commutator. The use of numerals and monadic union in the classical (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. A Categorical Model of the Elementary Process Theory Incorporating Special Relativity.Marcoen J. T. F. Cabbolet - manuscript
    The purpose of this paper is to show that the Elementary Process Theory (EPT) agrees with the knowledge of the physical world obtained from the successful predictions of Special Relativity (SR). For that matter, a recently developed method is applied: a categorical model of the EPT that incorporates SR is fully specified. Ultimate constituents of the universe of the EPT are modeled as point-particles, gamma-rays, or time-like strings, all represented by integrable hyperreal functions on Minkowski space. This proves (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  51
    Badiou’s Platonism: The Mathematical Ideas of Post-Cantorian Set-Theory.Simon B. Duffy - 2012 - In Sean Bowden & Simon B. Duffy (eds.), Badiou and Philosophy. Edinburgh University Press.
    Plato’s philosophy is important to Badiou for a number of reasons, chief among which is that Badiou considered Plato to have recognised that mathematics provides the only sound or adequate basis for ontology. The mathematical basis of ontology is central to Badiou’s philosophy, and his engagement with Plato is instrumental in determining how he positions his philosophy in relation to those approaches to the philosophy of mathematics that endorse an orthodox Platonic realism, i.e. the independent existence of a realm of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23. Wittgenstein And Labyrinth Of ‘Actual Infinity’: The Critique Of Transfinite Set Theory.Valérie Lynn Therrien - 2012 - Ithaque 10:43-65.
    In order to explain Wittgenstein’s account of the reality of completed infinity in mathematics, a brief overview of Cantor’s initial injection of the idea into set- theory, its trajectory and the philosophic implications he attributed to it will be presented. Subsequently, we will first expound Wittgenstein’s grammatical critique of the use of the term ‘infinity’ in common parlance and its conversion into a notion of an actually existing infinite ‘set’. Secondly, we will delve into Wittgenstein’s technical critique of the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  55
    Indispensability Argument and Set Theory.Karlis Podnieks - 2008 - The Reasoner 2 (11):8--9.
    Most set theorists accept AC, and reject AD, i.e. for them, AC is true in the "world of sets", and AD is false. Applying to set theory the above-mentioned formalistic explanation of the existence of quarks, we could say: if, for a long time in the future, set theorists will continue their believing in AC, then one may think of a unique "world of sets" as existing in the same sense as quarks are believed to exist.
    Download  
     
    Export citation  
     
    Bookmark  
  25. A Taste of Set Theory for Philosophers.Jouko Väänänen - 2011 - Journal of the Indian Council of Philosophical Research (2):143-163.
    Download  
     
    Export citation  
     
    Bookmark  
  26. Categorical Harmony and Path Induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.
    This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory.Vasil Penchev - 2020 - Information Theory and Research eJournal 1 (15):1-13.
    A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section I. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  90
    Review Of: Garciadiego, A., "Emergence Of...Paradoxes...Set Theory", Historia Mathematica (1985), in Mathematical Reviews 87j:01035.John Corcoran - 1987 - MATHEMATICAL REVIEWS 87 (J):01035.
    DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Out of Nowhere: Spacetime From Causality: Causal Set Theory.Christian Wüthrich & Nick Huggett - manuscript
    This is a chapter of the planned monograph "Out of Nowhere: The Emergence of Spacetime in Quantum Theories of Gravity", co-authored by Nick Huggett and Christian Wüthrich and under contract with Oxford University Press. (More information at www<dot>beyondspacetime<dot>net.) This chapter introduces causal set theory and identifies and articulates a 'problem of space' in this theory.
    Download  
     
    Export citation  
     
    Bookmark  
  30. Set-Theoretic Pluralism and the Benacerraf Problem.Justin Clarke-Doane - 2020 - Philosophical Studies 177 (7):2013-2030.
    Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. 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  
  32. The Categorical Imperative and Kant’s Conception of Practical Rationality.Andrews Reath - 1989 - The Monist 72 (3):384-410.
    The primary concern of this paper is to outline an explanation of how Kant derives morality from reason. We all know that Kant thought that morality comprises a set of demands that are unconditionally and universally valid. In addition, he thought that to support this understanding of moral principles, one must show that they originate in reason a priori, rather than in contingent facts about human psychology, or the circumstances of human life. But do we really understand how he tries (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Categorical Foundations of Mathematics or How to Provide Foundations for Abstract Mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
    Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. On Forms of Justification in Set Theory.Neil Barton, Claudio Ternullo & Giorgio Venturi - 2020 - Australasian Journal of Logic 17 (4):158-200.
    In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35.  38
    Choice, Infinity, and Negation: Both Set-Theory and Quantum-Information Viewpoints to Negation.Vasil Penchev - 2020 - Logic and Philosophy of Mathematics eJournal 12 (14):1-3.
    The concepts of choice, negation, and infinity are considered jointly. The link is the quantity of information interpreted as the quantity of choices measured in units of elementary choice: a bit is an elementary choice between two equally probable alternatives. “Negation” supposes a choice between it and confirmation. Thus quantity of information can be also interpreted as quantity of negations. The disjunctive choice between confirmation and negation as to infinity can be chosen or not in turn: This corresponds to set- (...) or intuitionist approach to the foundation of mathematics and to Peano or Heyting arithmetic. Quantum mechanics can be reformulated in terms of information introducing the concept and quantity of quantum information. A qubit can be equivalently interpreted as that generalization of “bit” where the choice is among an infinite set or series of alternatives. The complex Hilbert space can be represented as both series of qubits and value of quantum information. The complex Hilbert space is that generalization of Peano arithmetic where any natural number is substituted by a qubit. “Negation”, “choice”, and “infinity” can be inherently linked to each other both in the foundation of mathematics and quantum mechanics by the meditation of “information” and “quantum information”. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  36
    High-Order Metaphysics as High-Order Abstractions and Choice in Set Theory.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (21):1-3.
    The link between the high-order metaphysics and abstractions, on the one hand, and choice in the foundation of set theory, on the other hand, can distinguish unambiguously the “good” principles of abstraction from the “bad” ones and thus resolve the “bad company problem” as to set theory. Thus it implies correspondingly a more precise definition of the relation between the axiom of choice and “all company” of axioms in set theory concerning directly or indirectly abstraction: the principle (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Can Bare Dispositions Explain Categorical Regularities?Tyler Hildebrand - 2014 - Philosophical Studies 167 (3):569-584.
    One of the traditional desiderata for a metaphysical theory of laws of nature is that it be able to explain natural regularities. Some philosophers have postulated governing laws to fill this explanatory role. Recently, however, many have attempted to explain natural regularities without appealing to governing laws. Suppose that some fundamental properties are bare dispositions. In virtue of their dispositional nature, these properties must be (or are likely to be) distributed in regular patterns. Thus it would appear that an (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  38.  56
    The Relationship of Arithmetic As Two Twin Peano Arithmetic(s) and Set Theory: A New Glance From the Theory of Information.Vasil Penchev - 2020 - Metaphilosophy eJournal (Elseviers: SSRN) 12 (10):1-33.
    The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the present such as Fermat’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Unifying the Categorical Imperative.Marcus Arvan - 2012 - Southwest Philosophy Review 28 (1):217-225.
    This paper demonstrates something that Kant notoriously claimed to be possible, but which Kant scholars today widely believe to be impossible: unification of all three formulations of the Categorical Imperative. Part 1 of this paper tells a broad-brush story of how I understand Kant’s theory of practical reason and morality, showing how the three formulations of the Categorical Imperative appear to be unified. Part 2 then provides clear textual support for each premise in the argument for my (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Is There More Than One Categorical Property?Robert Schroer - 2010 - Philosophical Quarterly 60 (241):831-850.
    I develop a new theory of properties by considering two central arguments in the debate whether properties are dispositional or categorical. The first claims that objects must possess categorical properties in order to be distinct from empty space. The second argument, however, points out several untoward consequences of positing categorical properties. I explore these arguments and argue that despite appearances, their conclusions need not be in conflict with one another. In particular, we can view the second (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  41. There is no set of all truths.Patrick Grim - 1984 - Analysis 44 (4):206.
    A Cantorian argument that there is no set of all truths. There is, for the same reason, no possible world as a maximal set of propositions. And omniscience is logically impossible.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   23 citations  
  42. Canonical Maps.Jean-Pierre Marquis - 2018 - In Elaine Landry (ed.), Categories for the Working Philosophers. Oxford, UK: pp. 90-112.
    Categorical foundations and set-theoretical foundations are sometimes presented as alternative foundational schemes. So far, the literature has mostly focused on the weaknesses of the categorical foundations. We want here to concentrate on what we take to be one of its strengths: the explicit identification of so-called canonical maps and their role in mathematics. Canonical maps play a central role in contemporary mathematics and although some are easily defined by set-theoretical tools, they all appear systematically in a categorical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics.Benedict Eastaugh - 2019 - Philosophia Mathematica 27 (2):153-176.
    It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on the powerset of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. Beyond Categorical Definitions of Life: A Data-Driven Approach to Assessing Lifeness.Christophe Malaterre & Jean-François Chartier - forthcoming - Synthese.
    The concept of “life” certainly is of some use to distinguish birds and beavers from water and stones. This pragmatic usefulness has led to its construal as a categorical predicate that can sift out living entities from non-living ones depending on their possessing specific properties—reproduction, metabolism, evolvability etc. In this paper, we argue against this binary construal of life. Using text-mining methods across over 30,000 scientific articles, we defend instead a degrees-of-life view and show how these methods can contribute (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
    Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  46. Making Sense of Categorical Imperatives.Bernd Lahno - 2006 - Analyse & Kritik 28 (1):71-82.
    Naturalism, as Binmore understands the term, is characterized by a scientific stance on moral behavior. Binmore claims that a naturalistic account of morality necessarily goes with the conviction “that only hypothetical imperatives make any sense”. In this paper it is argued that this claim is mistaken. First, as Hume’s theory of promising shows, naturalism in the sense of Binmore is very well compatible with acknowledging the importance of categorical imperatives in moral practice. Moreover, second, if Binmore’s own (...) of moral practice and its evolution is correct, then the actual moral practice does—and in fact must—incorporate norms, which have the form of a categorical imperative. Categorical imperatives are part of social reality and, therefore, any moral theory that adequately reflects moral practice must also include categorical imperatives. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  47.  13
    Ontological Analysis of Concrete Particulars: Bundle Theory and Categorical Aristotelian Substance Theory.Seyed Kamran Foad Marashi & Abdorasool Kashfi - 2020 - Journal of Ontological Researches 8 (16):59-78.
    The ontological analysis of concrete particulars deals with the relationship between concrete object and their attributes. Both Peter Simons' Nuclear Theory and Aristotelian Substance Theory may present an acceptable explanation for the following three problems: Identity of Indiscernible, Excessive Necessitism and Change. In spite of the superiority of these two theories over the other theories, each has problems need to be addressed. Aristotelian theory does not seem to be very successful in showing that the spices (kinds) are (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism.Hasen Khudairi - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer. pp. 65-82.
    This essay examines the philosophical significance of Ω-logic in Zermelo-Fraenkel set theory with choice (ZFC). The dual isomorphism between algebra and coalgebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of Ω-logical validity can then be countenanced within a coalgebraic logic, and Ω-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of Ω-logical validity correspond to those (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities.Avi Sion - 1990,1996 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Future Logic is an original, and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has been all but totally (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Scientific Antirealists Have Set Fire to Their Own Houses.Seungbae Park - 2017 - Prolegomena 16 (1):23-37.
    Scientific antirealists run the argument from underconsideration against scientific realism. I argue that the argument from underconsideration backfires on antirealists’ positive philosophical theories, such as the contextual theory of explanation (van Fraassen, 1980), the English model of rationality (van Fraassen, 1989), the evolutionary explanation of the success of science (Wray, 2008; 2012), and explanatory idealism (Khalifa, 2013). Antirealists strengthen the argument from underconsideration with the pessimistic induction against current scientific theories. In response, I construct a pessimistic induction against antirealists (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 1000