Contents
370 found
Order:
1 — 50 / 370
Material to categorize
  1. The MultiAlist System of Thought (philosophical essay).Florentin Smarandache - 2023 - Neutrosophic Sets and Systems 61:598-605.
    The goal of this short note is to expand the concepts of ‘pluralism’, ‘neutrosophy’, ‘refined neutrosophy’, ‘refined neutrosophic set’, ‘multineutrosophic set’, and ‘plithogeny’ (Smarandache 2002, 2013, 2017, 2019, 2021, 2023a, 2023b, 2023c), into a larger category that I will refer to as MultiAlism (or MultiPolar). As a straightforward generalization, I propose the conceptualization of a MultiPolar System (different from a PluriPolar System), which is formed not only by multiple elements that might be random, or contradictory, or adjuvant, but also by (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. The hidden use of new axioms.Deborah Kant - 2023 - In Carolin Antos, Neil Barton & Giorgio Venturi (eds.), The Palgrave Companion to the Philosophy of Set Theory. Palgrave Macmillan.
    This paper analyses the hidden use of new axioms in set-theoretic practice with a focus on large cardinal axioms and presents a general overview of set-theoretic practices using large cardinal axioms. The hidden use of a new axiom provides extrinsic reasons in support of this axiom via the idea of verifiable consequences, which is especially relevant for set-theoretic practitioners with an absolutist view. Besides that, the hidden use has pragmatic significance for further important sub-groups of the set-theoretic community---set-theoretic practitioners with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. Against ‘Interpretation’: Quantum Mechanics Beyond Syntax and Semantics.Raoni Wohnrath Arroyo & Gilson Olegario da Silva - 2022 - Axiomathes 32 (6):1243-1279.
    The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  4. Expanding the notion of inconsistency in mathematics: the theoretical foundations of mutual inconsistency.Carolin Antos - forthcoming - From Contradiction to Defectiveness to Pluralism in Science: Philosophical and Formal Analyses.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. An overview of Conceptual Analysis and Design.Dmitry E. Borisoglebsky - 2023 - Knowledge - International Journal 57 (3):353–365.
    Conceptual Analysis and Design (mCAD) is an information and cognitive technology for knowledge and systems engineering. A conceptual system for a complex knowledge domain contains thousands of linked concepts, necessary in the engineering and management of big and complex systems. Naturally evolved conceptual systems usually contain conceptual gaps and have multiple logical fallacies. mCAD addresses these issues by axiomatic deduction of concepts. This article is a concise overview of Conceptual Analysis and Design, covering its foundations, technological aspects, and notable applications.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. What makes a `good' modal theory of sets?Neil Barton - manuscript
    I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Schopenhauers Logikdiagramme in den Mathematiklehrbüchern Adolph Diesterwegs.Jens Lemanski - 2022 - Siegener Beiträge Zur Geschichte Und Philosophie der Mathematik 16:97-127.
    Ein Beispiel für die Rezeption und Fortführung der schopenhauerschen Logik findet man in den Mathematiklehrbüchern Friedrich Adolph Wilhelm Diesterwegs (1790–1866), In diesem Aufsatz werden die historische und systematische Dimension dieser Anwendung von Logikdiagramme auf die Mathematik skizziert. In Kapitel 2 wird zunächst die frühe Rezeption der schopenhauerschen Logik und Philosophie der Mathematik vorgestellt. Dabei werden einige oftmals tradierte Vorurteile, die das Werk Schopenhauers betreffen, in Frage gestellt oder sogar ausgeräumt. In Kapitel 3 wird dann die Philosophie der Mathematik und der (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Mathematical Modality: An Investigation of Set Theoretic Contingency.Andrew Bacon - forthcoming - Journal of Philosophical Logic.
    An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. Lower and Upper Estimates of the Quantity of Algebraic Numbers.Yaroslav Sergeyev - 2023 - Mediterranian Journal of Mathematics 20:12.
    It is well known that the set of algebraic numbers (let us call it A) is countable. In this paper, instead of the usage of the classical terminology of cardinals proposed by Cantor, a recently introduced methodology using ①-based infinite numbers is applied to measure the set A (where the number ① is called grossone). Our interest to this methodology is explained by the fact that in certain cases where cardinals allow one to say only whether a set is countable (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. Extension of Soft Set to Hypersoft Set, and then to Plithogenic Hypersoft Set.Florentin Smarandache - 2018 - Neutrosophic Sets and Systems 22 (1):168-170.
    In this paper, we generalize the soft set to the hypersoft set by transforming the function F into a multi-attribute function. Then we introduce the hybrids of Crisp, Fuzzy, Intuitionistic Fuzzy, Neutrosophic, and Plithogenic Hypersoft Set.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  11. Introduction to the Complex Refined Neutrosophic Set.Florentin Smarandache - 2017 - Critical Review: A Journal of Politics and Society 14 (1):5-9.
    In this paper, one extends the single-valued complex neutrosophic set to the subsetvalued complex neutrosophic set, and afterwards to the subset-valued complex refined neutrosophic set.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Ontology and Arbitrariness.David Builes - 2022 - Australasian Journal of Philosophy 100 (3):485-495.
    In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Algunos tópicos de Lógica matemática y los Fundamentos de la matemática.Franklin Galindo - manuscript
    En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, de la Metamatemática y (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. Un teorema sobre el Modelo de Solovay.Franklin Galindo - 2020 - Divulgaciones Matematicas 21 (1-2): 42–46.
    The objective of this article is to present an original proof of the following theorem: Thereis a generic extension of the Solovay’s model L(R) where there is a linear order of P(N)/fin that extends to the partial order (P(N)/f in), ≤*). Linear orders of P(N)/fin are important because, among other reasons, they allow constructing non-measurable sets, moreover they are applied in Ramsey's Theory .
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. Tópicos de Ultrafiltros.Franklin Galindo - 2020 - Divulgaciones Matematicas 21 (1-2):54-77.
    Ultrafilters are very important mathematical objects in mathematical research [6, 22, 23]. There are a wide variety of classical theorems in various branches of mathematics where ultrafilters are applied in their proof, and other classical theorems that deal directly with ultrafilters. The objective of this article is to contribute (in a divulgative way) to ultrafilter research by describing the demonstrations of some such theorems related (uniquely or in combination) to topology, Measure Theory, algebra, combinatorial infinite, set theory and first-order logic, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. Dos Tópicos de Lógica Matemática y sus Fundamentos.Franklin Galindo - 2014 - Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 34 (1):41-66..
    El objetivo de este artículo es presentar dos tópicos de Lógica matemática y sus fundamentos: El primer tópico es una actualización de la demostración de Alonzo Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto "Introduction to Mathematical Logic" (1956) y usa el procedimientos efectivos de Forma normal prenexa y Forma normal de Skolem; y el segundo tópico es una demostración de que la propiedad de partición (tipo Ramsey) del espacio (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. El Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión.Franklin Galindo - manuscript
    Es conocido que el Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión son resultados muy útiles en las investigaciones de Lógica matemática y/o los Fundamentos de la matemática. El objetivo de este trabajo es presentar algunas demostraciones clásicas de tales resultados: Dos del Teorema de Completitud de Gödel, una del Teorema del Colapso Transitivo de Mostowski y una del Principio de Reflexión. Se aspira que estas notas sean de utilidad para estudiar (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. El Método de Forcing: Algunas aplicaciones y una aproximación a sus fundamentos metamatemáticos.Franklin Galindo - manuscript
    Es conocido que el método de forcing es una de las técnicas de construcción de modelos más importantes de la Teoría de conjuntos en la actualidad, siendo el mismo muy útil para investigar problemas de matemática y/o de fundamentos de la matemática. El destacado matemático Joan Bagaria afirma lo siguiente sobre el método de forcing en su artículo "Paul Cohen y la técnica del forcing" (Gaceta de la Real Sociedad Matemática Española, Vol. 2, Nº 3, 1999, págs 543-553) : "Aunque (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. Algunas notas introductorias sobre la Teoría de Conjuntos.Franklin Galindo - 2019 - Apuntes Filosóficos: Revista Semestral de la Escuela de Filosofía 18 (55):201-232.
    The objective of this document is to present three introductory notes on set theory: The first note presents an overview of this discipline from its origins to the present, in the second note some considerations are made about the evaluation of reasoning applying the first-order Logic and Löwenheim's theorems, Church Indecidibility, Completeness and Incompleteness of Gödel, it is known that the axiomatic theories of most commonly used sets are written in a specific first-order language, that is, they are developed within (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. Mathematics is Ontology? A Critique of Badiou's Ontological Framing of Set Theory.Roland Bolz - 2020 - Filozofski Vestnik 2 (41):119-142.
    This article develops a criticism of Alain Badiou’s assertion that “mathematics is ontology.” I argue that despite appearances to the contrary, Badiou’s case for bringing set theory and ontology together is problematic. To arrive at this judgment, I explore how a case for the identification of mathematics and ontology could work. In short, ontology would have to be characterised to make it evident that set theory can contribute to it fundamentally. This is indeed how Badiou proceeds in Being and Event. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. Fermat’s last theorem proved in Hilbert arithmetic. II. Its proof in Hilbert arithmetic by the Kochen-Specker theorem with or without induction.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (10):1-52.
    The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. What the Tortoise Said to Achilles: Lewis Carroll’s paradox in terms of Hilbert arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (22):1-32.
    Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal structure with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. Reinterpreting the universe-multiverse debate in light of inter-model inconsistency in set theory.Daniel Kuby - manuscript
    In this paper I apply the concept of _inter-Model Inconsistency in Set Theory_ (MIST), introduced by Carolin Antos (this volume), to select positions in the current universe-multiverse debate in philosophy of set theory: I reinterpret H. Woodin’s _Ultimate L_, J. D. Hamkins’ multiverse, S.-D. Friedman’s hyperuniverse and the algebraic multiverse as normative strategies to deal with the situation of de facto inconsistency toleration in set theory as described by MIST. In particular, my aim is to situate these positions on the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. Infinite Sets: The Appearance of an Infinite Set Depends on the Perspective of the Observer.Roger Granet - manuscript
    Given an infinite set of finite-sized spheres extending in all directions forever, a finite-sized (relative to the spheres inside the set) observer within the set would view the set as a space composed of discrete, finite-sized objects. A hypothetical infinite-sized (relative to the spheres inside the set) observer would view the set as a continuous space and would see no distinct elements within the set. Using this analogy, the mathematics of infinities, such as the assignment of a cardinality to a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. Modal Objectivity.Clarke-Doane Justin - 2019 - Noûs 53:266-295.
    It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   31 citations  
  26. A Categorical Characterization of Accessible Domains.Patrick Walsh - 2019 - Dissertation, Carnegie Mellon University
    Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. A general framework for a Second Philosophy analysis of set-theoretic methodology.Carolin Antos & Deborah Kant - manuscript
    Penelope Maddy’s Second Philosophy is one of the most well-known ap- proaches in recent philosophy of mathematics. She applies her second-philosophical method to analyze mathematical methodology by reconstructing historical cases in a setting of means-ends relations. However, outside of Maddy’s own work, this kind of methodological analysis has not yet been extensively used and analyzed. In the present work, we will make a first step in this direction. We develop a general framework that allows us to clarify the procedure and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. 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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Forcing and the Universe of Sets: Must We Lose Insight?Neil Barton - 2020 - Journal of Philosophical Logic 49 (4):575-612.
    A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  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 is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  31. Inner-Model Reflection Principles.Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs, Joel David Hamkins, Jonas Reitz & Ralf Schindler - 2020 - Studia Logica 108 (3):573-595.
    We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. On classical set-compatibility.Luis Felipe Bartolo Alegre - 2020 - El Jardín de Senderos Que Se Bifurcan y Confluyen: Filosofía, Lógica y Matemáticas.
    In this paper, I generalise the logical concept of compatibility into a broader set-theoretical one. The basic idea is that two sets are incompatible if they produce at least one pair of opposite objects under some operation. I formalise opposition as an operation ′ ∶ E → E, where E is the set of opposable elements of our universe U, and I propose some models. From this, I define a relation ℘U × ℘U × ℘U^℘U, which has (mutual) logical compatibility (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. About multidimensional spaces.Alexander Klimets - 2004 - Physics of Consciousness and Life,Cosmology and Astrophysics 4 (3):41-44.
    In the article, based on the philosophical analysis of the concept of "three-dimensional space", a model of multidimensional space is constructed, reflecting the properties of intersections of multidimensional spaces. The model reveals some unusual aspects of multidimensional spaces.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  34. From Art to Information System.Miro Brada - 2021 - AGI Laboratory.
    This insight to art came from chess composition concentrating art in a very dense form. To identify and mathematically assess the uniqueness is the key applicable to other areas eg. computer programming. Maximization of uniqueness is minimization of entropy that coincides as well as goes beyond Information Theory (Shannon, 1948). The reusage of logic as a universal principle to minimize entropy, requires simplified architecture and abstraction. Any structures (e.g. plugins) duplicating or dividing functionality increase entropy and so unreliability (eg. British (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  35. Numerical infinities and infinitesimals: Methodology, applications, and repercussions on two Hilbert problems.Yaroslav Sergeyev - 2017 - EMS Surveys in Mathematical Sciences 4 (2):219–320.
    In this survey, a recent computational methodology paying a special attention to the separation of mathematical objects from numeral systems involved in their representation is described. It has been introduced with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework in all the situations requiring these notions. The methodology does not contradict Cantor’s and non-standard analysis views and is based on the Euclid’s Common Notion no. 5 “The whole is greater than the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Metaphysical and absolute possibility.Justin Clarke-Doane - 2019 - Synthese 198 (Suppl 8):1861-1872.
    It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   21 citations  
  37. Infinite Value and the Best of All Possible Worlds.Nevin Climenhaga - 2018 - Philosophy and Phenomenological Research 97 (2):367-392.
    A common argument for atheism runs as follows: God would not create a world worse than other worlds he could have created instead. However, if God exists, he could have created a better world than this one. Therefore, God does not exist. In this paper I challenge the second premise of this argument. I argue that if God exists, our world will continue without end, with God continuing to create value-bearers, and sustaining and perfecting the value-bearers he has already created. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   13 citations  
  38. Can modalities save naive set theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  39. There is No Standard Model of ZFC and ZFC_2. Part I.Jaykov Foukzon - 2017 - Journal of Advances in Mathematics and Computer Science 2 (26):1-20.
    In this paper we view the first order set theory ZFC under the canonical frst order semantics and the second order set theory ZFC_2 under the Henkin semantics. Main results are: (i) Let M_st^ZFC be a standard model of ZFC, then ¬Con(ZFC + ∃M_st^ZFC ). (ii) Let M_stZFC_2 be a standard model of ZFC2 with Henkin semantics, then ¬Con(ZFC_2 +∃M_stZFC_2). (iii) Let k be inaccessible cardinal then ¬Con(ZFC + ∃κ). In order to obtain the statements (i) and (ii) examples of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  40. There is no set of all truths.Patrick Grim - 1984 - Analysis 44 (4):206-208.
    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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   33 citations  
  41. Ortega y Gasset on Georg Cantor’s Theory of Transfinite Numbers.Lior Rabi - 2016 - Kairos (15):46-70.
    Ortega y Gasset is known for his philosophy of life and his effort to propose an alternative to both realism and idealism. The goal of this article is to focus on an unfamiliar aspect of his thought. The focus will be given to Ortega’s interpretation of the advancements in modern mathematics in general and Cantor’s theory of transfinite numbers in particular. The main argument is that Ortega acknowledged the historical importance of the Cantor’s Set Theory, analyzed it and articulated a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  42. Las reglas de Irving Copi y Carl Cohen son una condición necesaria y suficiente de la validez en los silogismos categóricos de forma estándar.Franklin Galindo & Kris Martins - 2005 - Episteme 25 (1):123-148.
    Resumen: En la actualidad uno de los libros más usados para dar lógica elemental es el de Irving Copi y Carl Cohen (Introducción a la lógica, 2001), allí se presentan unas reglas para decidir la validez de los silogismos categóricos de forma estándar. Pero en tal texto ni en ninguno que nosotros conozcamos se ofrece una fundamentación de las mismas. Es decir, una demostración de que ellas son realmente una condición necesaria y suficiente de la validez de un silogismo categórico (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  43. Groups, sets, and wholes.Barry Smith - 2003 - Rivista di Estetica 43 (24):126-127.
    As he recalls in his book Naive Physics, Paolo Bozzi’s experiments on naïve or phenomenological physics were partly inspired by Aristotle’s spokesman Simplicio in Galileo’s Dialogue. Aristotle’s ‘naïve’ views of physical reality reflect the ways in which we are disposed perceptually to organize the physical reality we see. In what follows I want to apply this idea to the notion of a group, a term which I shall apply as an umbrella expression embracing ordinary visible collections (of pieces of fruit (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. ""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 appear (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. 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".
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  46. Glossary of Ontology.Juan José Luetich - 2012 - Identification Transactions of The Luventicus Academy (ISSN 1666-7581) 1 (2):4.
    The previous issue provided an introduction to ontology in which the word “being,” for example, was used in two different ways. Here we introduce a list that includes the following terms with their precise definitions and comments regarding the use they should be given: to be, as a verb with or without meaning, being as a noun; essence and existence; chaos, demiurge and cosmos; ontology and semiology; ontological tables and Carroll diagrams.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  47. On the Infinite in Mereology with Plural Quantification.Massimiliano Carrara & Enrico Martino - 2011 - Review of Symbolic Logic 4 (1):54-62.
    In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural quantification (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Individuals, universals, collections: On the foundational relations of ontology.Thomas Bittner, Maureen Donnelly & Barry Smith - 2004 - In Achille Varzi Laure Vieu (ed.), ”, Formal Ontology in Information Systems. Proceedings of the Third International Conference. Amsterdam: IOS Press. pp. 37–48.
    This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   11 citations  
  49. On Sets and Worlds: A Reply to Menzel.Patrick Grim - 1986 - Analysis 46 (4):186 - 191.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   25 citations  
  50. On Omniscience and a 'Set of All Truths': A Reply to Bringsjord.Patrick Grim - 1990 - Analysis 50 (4):271 - 276.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 370