Results for 'extensive abstraction'

969 found
Order:
  1. Points as Higher-order Constructs: Whitehead’s Method of Extensive Abstraction.Achille C. Varzi - 2021 - In Stewart Shapiro & Geoffrey Hellman, The Continuous. Oxford University Press. pp. 347–378.
    Euclid’s definition of a point as “that which has no part” has been a major source of controversy in relation to the epistemological and ontological presuppositions of classical geometry, from the medieval and modern disputes on indivisibilism to the full development of point-free geometries in the 20th century. Such theories stem from the general idea that all talk of points as putative lower-dimensional entities must and can be recovered in terms of suitable higher-order constructs involving only extended regions (or bodies). (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Whitehead's Method of Extensive Abstraction.F. Shamsi - 1989 - Indian Philosophical Quarterly 16 (2):125.
     
    Export citation  
     
    Bookmark  
  3.  73
    Whitehead's method of extensive abstraction.Nathaniel Lawrence - 1950 - Philosophy of Science 17 (2):142-163.
    The death of Alfred North Whitehead late in 1947 was a double loss. Those who knew Whitehead, even slightly, feel keenly the loss of a warm and stimulating personality, which in the last years of his retirement had mellowed to a benign radiance. The wider circle of students and teachers of philosophy who knew him through his writing alone regret the passing of the man who, many thought, was the most capable cosmologist of our time.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Whitehead's method of extensive abstraction.Adolf Grünbaum - 1953 - British Journal for the Philosophy of Science 4 (15):215-226.
  5.  28
    The Method of Extensive Abstraction: The Construction of Objects.Guillaume Durand - 2008 - In Michel Weber and Will Desmond, Handbook of Whiteheadian Process Thought. De Gruyter. pp. 645-652.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  23
    An Abstract Algebraic Logic Study of da Costa’s Logic and Some of its Paraconsistent Extensions.Hugo Albuquerque & Carlos Caleiro - 2022 - Bulletin of Symbolic Logic 28 (4):477-528.
    Two famous negative results about da Costa’s paraconsistent logic ${\mathscr {C}}_1$ (the failure of the Lindenbaum–Tarski process [44] and its non-algebraizability [39]) have placed ${\mathscr {C}}_1$ seemingly as an exception to the scope of Abstract Algebraic Logic (AAL). In this paper we undertake a thorough AAL study of da Costa’s logic ${\mathscr {C}}_1$. On the one hand, we strengthen the negative results about ${\mathscr {C}}_1$ by proving that it does not admit any algebraic semantics whatsoever in the sense of Blok (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  28
    Extension Properties and Subdirect Representation in Abstract Algebraic Logic.Tomáš Lávička & Carles Noguera - 2018 - Studia Logica 106 (6):1065-1095.
    This paper continues the investigation, started in Lávička and Noguera : 521–551, 2017), of infinitary propositional logics from the perspective of their algebraic completeness and filter extension properties in abstract algebraic logic. If follows from the Lindenbaum Lemma used in standard proofs of algebraic completeness that, in every finitary logic, intersection-prime theories form a basis of the closure system of all theories. In this article we consider the open problem of whether these properties can be transferred to lattices of filters (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  65
    Des Événements aux objects: La méthode de l’abstraction extensive chez A. N. Whitehead [From Events to Objects. A. N. Whitehead’s Method of Extensive Abstraction]. [REVIEW]Ronny Desmet - 2008 - Process Studies 37 (1):189-192.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  33
    A Note on Natural Extensions in Abstract Algebraic Logic.Petr Cintula & Carles Noguera - 2015 - Studia Logica 103 (4):815-823.
    Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  76
    Qualia, Extension and Abstraction.Bowman L. Clarke - 1986 - The Monist 69 (2):216-234.
    Rudolph Carnap’s Aufbau was one of the more ambitious philosophical programs of the twentieth century. His proposal was to begin with elementarerlebnisse —cross sections of one total stream of experience temporally limited by the least perceivable segment of time—and an undefined primitive relation, recollection of similarity, holding between the elementary experiences. Without any further non-logical terms, the goal was to utilize a logic, such as that of Principia Mathematica, and actually to construct logically, or to define formally, all the kinds (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11.  19
    A tool for merging extensions of abstract argumentation frameworks.Jérôme Delobelle & Jean-Guy Mailly - 2022 - Argument and Computation 13 (3):361-368.
    We describe a tool that allows the merging of extensions of argumentation frameworks, following the approach defined by 33–42). The tool is implemented in Java, and is highly modular thanks to Object Oriented Programming principles. We describe a short experimental study that assesses the scalability of the approach, as well as the impact on runtime of using an integrity constraint.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  16
    A general approach to extension-based semantics in abstract argumentation.Lixing Tan, Zhaohui Zhu & Jinjin Zhang - 2023 - Artificial Intelligence 315 (C):103836.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  58
    La méthode d’abstraction extensive en physique.Thomas Mueller - 2009 - Chromatikon 5:97-107.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  14
    Des Événements aux Objets: La Méthode de l'Abstraction Extensive Chez A. N. Whitehead. Préface de Michel Malherbe.Guillaume Durand - 2006 - De Gruyter.
    De 1905 à 1922, l uvre d'Alfred North Whitehead a pour but principal de montrer comment les objets fondamentaux de la géométrie, de la physique et de la perception sont abstraits à partir d'un seul et unique type d' entités définies comme les éléments ultimes de l'expérience sensible : les événements. WHitehead développe dès lors la méthode de l'abstraction extensive : un modèle logico-mathématique qui permet d'exprimer ces différents types d'objets dans les termes mêmes des événements et de (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Prolegomenon To Any Future Neo‐Logicist Set Theory: Abstraction And Indefinite Extensibility.Stewart Shapiro - 2003 - British Journal for the Philosophy of Science 54 (1):59-91.
    The purpose of this paper is to assess the prospects for a neo‐logicist development of set theory based on a restriction of Frege's Basic Law V, which we call (RV): ∀P∀Q[Ext(P) = Ext(Q) ≡ [(BAD(P) & BAD(Q)) ∨ ∀x(Px ≡ Qx)]] BAD is taken as a primitive property of properties. We explore the features it must have for (RV) to sanction the various strong axioms of Zermelo–Fraenkel set theory. The primary interpretation is where ‘BAD’ is Dummett's ‘indefinitely extensible’.1 Background: what (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  16.  98
    Life Extension and Mental Ageing.Christopher Wareham - 2012 - Philosophical Papers 41 (3):455-477.
    Abstract Objections to life extension often focus on its effects for individual well-being. Prominent amongst these concerns is the possibility that life extending technologies will extend lifespan without preventing the ageing of the mind. Writers on the subject express the fear that life extending drugs will keep us physically youthful whilst our minds decay, succumbing to dementia, boredom, and loneliness. Generally these fears remain speculative, in part due to the absence of genuine life extending technologies. In this paper, however, I (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  33
    The Extensive Continuum versus the “Extensive Dis-Continuum” in Whitehead.Dwayne Schulz - 2018 - Process Studies 47 (1):5-25.
    In this article, I argue for the redundancy of Whitehead’s Platonic notion of the extensive continuum, counterposing it to his related notion of an atomic “ether of events.” I argue that Whitehead’s atomic ether is more compatible with orthodox general relativity than generally supposed and remarkably close to the contemporary idea of a discrete manifold in the causal set theory of quantum gravity. I argue that the method of extensive abstraction complements Whitehead’s atomic hypothesis by demonstrating the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  22
    On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method.Pietro Baroni, Massimiliano Giacomin & Beishui Liao - 2014 - Artificial Intelligence 212 (C):104-115.
  19.  1
    Abstract argumentation and (optimal) stable marriage problems.Francesca Toni - 2020 - Argument and Computation 11 (1-2):15-40.
    In his pioneering work on Abstract Argumentation, P.M. Dung set a wide scenario by connecting stable models in Logic and Game Theory to simple Abstract Argumentation Frameworks ( AAF), which are essentially directed graphs in which arguments are represented as nodes, and the attack relation is represented by arrows. From such abstraction and simplicity, it is possible to capture important properties in many different fields. The Stable Marriage ( SM) problem is exactly one of such representable problems. Given two (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  56
    Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation.Bas van Gijzel & Henry Prakken - 2012 - Argument and Computation 3 (1):21 - 47.
    Carneades is a recently proposed formalism for structured argumentation with varying proof standards, inspired by legal reasoning, but more generally applicable. Its distinctive feature is that each statement can be given its own proof standard, which is claimed to allow a more natural account of reasoning under burden of proof than existing formalisms for structured argumentation, in which proof standards are defined globally. In this article, the two formalisms are formally related by translating Carneades into the ASPIC+ framework for structured (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  21.  18
    Abstract argumentation and (optimal) stable marriage problems.Stefano Bistarelli & Francesco Santini - 2020 - Argument and Computation 11 (1-2):15-40.
    In his pioneering work on Abstract Argumentation, P.M. Dung set a wide scenario by connecting stable models in Logic and Game Theory to simple Abstract Argumentation Frameworks ( AAF), which are essentially directed graphs in which arguments are represented as nodes, and the attack relation is represented by arrows. From such abstraction and simplicity, it is possible to capture important properties in many different fields. The Stable Marriage ( SM) problem is exactly one of such representable problems. Given two (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  89
    Abstraction and set theory.Bob Hale - 2000 - Notre Dame Journal of Formal Logic 41 (4):379--398.
    The neo-Fregean program in the philosophy of mathematics seeks a foundation for a substantial part of mathematics in abstraction principles—for example, Hume’s Principle: The number of Fs D the number of Gs iff the Fs and Gs correspond one-one—which can be regarded as implicitly definitional of fundamental mathematical concepts—for example, cardinal number. This paper considers what kind of abstraction principle might serve as the basis for a neo- Fregean set theory. Following a brief review of the main difficulties (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  23. Supporting abstract relational space-time as fundamental without doctrinism against emergence.Sascha Vongehr - manuscript
    The present paper aims to contribute to the substantivalism versus relationalism debate and to defend general relativity (GR) against pseudoscientific attacks in a novel, especially inclusive way. This work was initially motivated by the desire to establish the incompatibility of any ether theories with accelerated cosmic expansion and inflation (motto: where would a hypothetical medium supposedly come from so fast?). The failure of this program is of interest for emergent GR concepts in high energy particle physics. However, it becomes increasingly (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  21
    Initial sets in abstract argumentation frameworks.Yuming Xu & Claudette Cayrol - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):260-279.
    Dung’s abstract argumentation provides us with a general framework to deal with argumentation, non-monotonic reasoning and logic programming. For the extension-based semantics, one of the basic principles is I-maximality which is in particular related with the notion of skeptical justification. Another one is directionality which can be employed for the study of dynamics of argumentation. In this paper, we introduce two new extension-based semantics into Dung’s abstract argumentation, called grounded-like semantics and initial semantics which satisfy the I-maximality and directionality principles. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  20
    Conception of university extension from Santiago of Cuba medical sciences.Daniel Sebastián García Torres, Rosandra Díaz Suárez, Miguel Enrique Sánchez Hechavarría & Mirelna Mendoza Ruíz - 2018 - Humanidades Médicas 18 (3):566-575.
    RESUMEN El presente artículo está dirigido a sistematizar una concepción teórica y metodológica que sustente el proceso de extensión universitaria en la carrera de Medicina en Cuba. Entre los resultados se destaca el lugar y papel de la extensión universitaria en el sistema de la formación integral del profesional a la que se asigna una connotación especial, de marcado contenido axiológico, coherente con las necesidades y proyecciones sociales que facilita la formación del educando y fortalece la relación institución-comunidad. Es factible (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  40
    The extension of Peer review, how should it or should not be done?Hidetoshi Kihara - 2003 - Social Epistemology 17 (1):65 – 77.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Abstract of "part-of-speech tagging of modern hebrew texts".Yoad Winter - unknown
    Words in Semitic texts often consist of a concatenation of word segments, each corresponding to a Part-of-Speech (POS) category. Semitic words may be ambiguous with regard to their segmentation as well as to the POS tags assigned to each segment. When designing POS taggers for Semitic languages, a major architectural decision concerns the choice of the atomic input tokens (terminal symbols). If the tokenization is at the word level the output tags must be complex, and represent both the segmentation of (...)
    No categories
     
    Export citation  
     
    Bookmark  
  28.  31
    Constructing Natural Extensions of Propositional Logics.Adam Přenosil - 2016 - Studia Logica 104 (6):1179-1190.
    The proofs of some results of abstract algebraic logic, in particular of the transfer principle of Czelakowski, assume the existence of so-called natural extensions of a logic by a set of new variables. Various constructions of natural extensions, claimed to be equivalent, may be found in the literature. In particular, these include a syntactic construction due to Shoesmith and Smiley and a related construction due to Łoś and Suszko. However, it was recently observed by Cintula and Noguera that both of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  20
    (1 other version)Abstraction: An alternative neurocognitive account of recognition, prediction, and decision making.Valerie F. Reyna & David A. Broniatowski - 2020 - Behavioral and Brain Sciences 43.
    Gilead et al. offer a thoughtful and much-needed treatment of abstraction. However, it fails to build on an extensive literature on abstraction, representational diversity, neurocognition, and psychopathology that provides important constraints and alternative evidence-based conceptions. We draw on conceptions in software engineering, socio-technical systems engineering, and a neurocognitive theory with abstract representations of gist at its core, fuzzy-trace theory.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  44
    Temporal Self-Extension: Implications for Temporal Comparison and Autobiographical Memory.Philip Broemer & Adam Grabowski - 2015 - Polish Psychological Bulletin 46 (2):246-261.
    Research on temporal comparison has shown that people dissociate themselves from their past to attain a positive self view. Social comparison research has demonstrated that the distinctness of contextually activated information determines whether a recalled self exerts assimilation or contrast effects on the current self. However, hardly any study addressed individual differences. Also, very little is known about whether the ease or difficulty to date past events and experiences influences current self-judgments. We present a new scale capturing the degree of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Abstract Measurement Theory.Louis Narens (ed.) - 1985 - MIT Press.
    The need for quantitative measurement represents a unifying bond that links all the physical, biological, and social sciences. Measurements of such disparate phenomena as subatomic masses, uncertainty, information, and human values share common features whose explication is central to the achievement of foundational work in any particular mathematical science as well as for the development of a coherent philosophy of science. This book presents a theory of measurement, one that is "abstract" in that it is concerned with highly general axiomatizations (...)
    Direct download  
     
    Export citation  
     
    Bookmark   68 citations  
  32.  26
    The Disappearing “Advantage of Abstract Examples in Learning Math”.Dragan Trninic, Manu Kapur & Tanmay Sinha - 2020 - Cognitive Science 44 (7):e12851.
    When teaching a novel mathematical concept, should we present learners with abstract or concrete examples? In this experiment, we conduct a critical replication and extension of a well‐known study that argued for the general advantage of abstract examples (Kaminski, Sloutsky, & Heckler, 2008a). We demonstrate that theoretically motivated yet minor modifications of the learning design put this argument in question. A key finding from this study is that participants who trained with improved concrete examples performed as well as, or better (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Extension, Intension and Dormitive Virtue.Catherine Legg - 1999 - Transactions of the Charles S. Peirce Society 35 (4):654 - 677.
    Would be fairer to call Peirce’s philosophy of language “extensionalist” or “intensionalist”? The extensionalisms of Carnap and Quine are examined, and Peirce’s view is found to be prima facie similar, except for his commitment to the importance of “hypostatic abstraction”. Rather than dismissing this form of abstraction (famously derided by Molière) as useless scholasticism, Peirce argues that it represents a crucial (though largely unnoticed) step in much working inference. This, it is argued, allows Peirce to transcend the extensionalist-intensionalist (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. A Proposed Probabilistic Extension of the Halpern and Pearl Definition of ‘Actual Cause’.Luke Fenton-Glynn - 2017 - British Journal for the Philosophy of Science 68 (4):1061-1124.
    ABSTRACT Joseph Halpern and Judea Pearl draw upon structural equation models to develop an attractive analysis of ‘actual cause’. Their analysis is designed for the case of deterministic causation. I show that their account can be naturally extended to provide an elegant treatment of probabilistic causation. 1Introduction 2Preemption 3Structural Equation Models 4The Halpern and Pearl Definition of ‘Actual Cause’ 5Preemption Again 6The Probabilistic Case 7Probabilistic Causal Models 8A Proposed Probabilistic Extension of Halpern and Pearl’s Definition 9Twardy and Korb’s Account 10Probabilistic (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  35.  36
    N extensions à Extensions de la grille.Philippe Morel - 2005 - Multitudes 1 (1):57-65.
    Le Corbusier still believed that architecture’s fundamental measure should be man. With the exception of Hilberseimer, who more perspicaciously believed in the advent of an abstract, conceptual and computational form of production, architecture has been late in grasping the interlinkage of science, industry and capitalism. Even if it means a questioning of its own foundations, it can no longer feign ignorance of a production process that relies increasingly on linguistic constructions, on an « ambient factory » of interconnected PCs.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  36.  61
    On central extensions of algebraic groups.Tuna Altinel & Gregory Cherlin - 1999 - Journal of Symbolic Logic 64 (1):68-74.
    In this paper the following theorem is proved regarding groups of finite Morley rank which are perfect central extensions of quasisimple algebraic groups.Theorem1.Let G be a perfect group of finite Morley rank and let C0be a definable central subgroup of G such that G/C0is a universal linear algebraic group over an algebraically closed field; that is G is a perfect central extension of finite Morley rank of a universal linear algebraic group. Then C0= 1.Contrary to an impression which exists in (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  13
    Hyperthematics. An extension of Josiah Royce's Philosophy of Interpretation.Marc Anderson - 2011 - Dissertation, Ku Leuven
    Contents Acknowledgements iii I. Royce and the Interpretation of His Contemporaries Introduction 1 1. Royce and Lotze 25 Introduction to Lotze. Lotze's ontology. Royce's response to Lotze. Successfull metaphysics renders experience broadly consistent without denying types of human experience. Logically testing metaphysical assumptions offers a promising methodology. The individual is not immediately given but realized through a process. The individual is not immediately given but realized through a process. Conclusion. 2. Royce and James 66 The friendship of James and Royce. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. The Limits of Abstraction.Bob Hale - 2006 - Philosophy and Phenomenological Research 72 (1):223-232.
    Kit Fine’s book is a study of abstraction in a quite precise sense which derives from Frege. In his Grundlagen, Frege contemplates defining the concept of number by means of what has come to be called Hume’s principle—the principle that the number of Fs is the same as the number of Gs just in case there is a one-to-one correspondence between the Fs and the Gs. Frege’s discussion is largely conducted in terms of another, similar but in some respects (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  39.  72
    Epistemic Primacy vs. Ontological Elusiveness of Spatial Extension: Is There an Evolutionary Role for the Quantum?Massimo Pauri - 2011 - Foundations of Physics 41 (11):1677-1702.
    A critical re-examination of the history of the concepts of space (including spacetime of general relativity and relativistic quantum field theory) reveals a basic ontological elusiveness of spatial extension, while, at the same time, highlighting the fact that its epistemic primacy seems to be unavoidably imposed on us (as stated by A.Einstein “giving up the extensional continuum … is like to breathe in airless space”). On the other hand, Planck’s discovery of the atomization of action leads to the fundamental recognition (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. On Floridi’s Method of Levels of Abstraction.Jan van Leeuwen - 2014 - Minds and Machines 24 (1):5-17.
    ion is arguably one of the most important methods in modern science in analysing and understanding complex phenomena. In his book The Philosophy of Information, Floridi (The philosophy of information. Oxford University Press, Oxford, 2011) presents the method of levels of abstraction as the main method of the Philosophy of Information. His discussion of abstraction as a method seems inspired by the formal methods and frameworks of computer science, in which abstraction is operationalised extensively in programming languages (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  54
    Using abstract resources to control reasoning.Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott - 1998 - Journal of Logic, Language and Information 7 (1):77-101.
    Many formalisms for reasoning about knowing commit an agent to be logically omniscient. Logical omniscience is an unrealistic principle for us to use to build a real-world agent, since it commits the agent to knowing infinitely many things. A number of formalizations of knowledge have been developed that do not ascribe logical omniscience to agents. With few exceptions, these approaches are modifications of the possible-worlds semantics. In this paper we use a combination of several general techniques for building non-omniscient reasoners. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42.  18
    Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics.George Voutsadakis - 2018 - Bulletin of the Section of Logic 47 (2):69.
    This work adapts techniques and results first developed by Malinowski and by Marek in the context of referential semantics of sentential logics to the context of logics formalized as π-institutions. More precisely, the notion of a pseudoreferential matrix system is introduced and it is shown how this construct generalizes that of a referential matrix system. It is then shown that every π–institution has a pseudo-referential matrix system semantics. This contrasts with referential matrix system semantics which is only available for self-extensional (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  51
    Abstract Forms of Quantification in the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - 2023 - Review of Symbolic Logic 16 (2):449-479.
    The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. Utilizing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  44.  30
    Fregean Extensions of First‐Order Theories.John L. Bell - 1994 - Mathematical Logic Quarterly 40 (1):27-30.
    It is shown by Parsons [2] that the first-order fragment of Frege's logical system in the Grundgesetze der Arithmetic is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first-order theories. We also show that a natural attempt to further strengthen our result runs afoul of Tarski's theorem on the undefinability of truth.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  45. Whitehead's extensive continuum.David L. Miller - 1946 - Philosophy of Science 13 (2):144-149.
    It seems that Whitehead's original problem, as evidenced in his earlier works, was epistemological and metaphysical dualism. His method of extensive abstraction is an attempt to bring the factual world and the abstract world of thought together. So far as his books on nature are concerned, then, Whitehead denied the ultimate reality of a static world and accepted the reality of dynamic relations analogous to the relations found in a biological organism.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  46.  68
    Explicit Abstract Objects in Predicative Settings.Sean Ebels-Duggan & Francesca Boccuni - 2024 - Journal of Philosophical Logic 53 (5):1347-1382.
    Abstractionist programs in the philosophy of mathematics have focused on abstraction principles, taken as implicit definitions of the objects in the range of their operators. In second-order logic (SOL) with predicative comprehension, such principles are consistent but also (individually) mathematically weak. This paper, inspired by the work of Boolos (Proceedings of the Aristotelian Society 87, 137–151, 1986) and Zalta (Abstract Objects, vol. 160 of Synthese Library, 1983), examines explicit definitions of abstract objects. These axioms state that there is a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  44
    Intensional completeness in an extension of gödel/dummett logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
    We enrich intuitionistic logic with a lax modal operator and define a corresponding intensional enrichment of Kripke models M = (W, , V) by a function T giving an effort measure T(w, u) {} for each -related pair (w, u). We show that embodies the abstraction involved in passing from true up to bounded effort to true outright. We then introduce a refined notion of intensional validity M |= p : and present a corresponding intensional calculus iLC-h which gives (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  27
    Structural constraints for dynamic operators in abstract argumentation.Johannes P. Wallner - 2020 - Argument and Computation 11 (1-2):151-190.
    Many recent studies of dynamics in formal argumentation within AI focus on the well-known formalism of Dung’s argumentation frameworks (AFs). Despite the usefulness of AFs in many areas of argumentation, their abstract notion of arguments creates a barrier for operators that modify a given AF, e.g., in the case that dependencies between arguments have been abstracted away that are important for subsequent modifications. In this paper we aim to support development of dynamic operators on formal models in abstract argumentation by (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  14
    On Abstract and Historical Hypotheses and on Value Judgments in Economic Sciences: Critical Edition, with an Introduction and Afterword by Paolo Silvestri.Paolo Silvestri (ed.) - 2015 - Routledge.
    Luigi Einaudi was a leading liberal economist, economic historian and political figure. This book provides the English-speaking world with a first critical edition of an unpublished version of Einaudi’s most important epistemological essay. The issues analysed here lie at the core of the problem concerning the nature and scope of economic sciences and the role played by economists in the public sphere, with particular emphasis on the interaction between economists and the ruling class. The earlier version of this essay has (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  89
    Specious Present, Phenomenal Extension, and Mereological Inversion: A Problem for Physicalism about the Mind.Lyu Zhou - 2023 - Journal of Consciousness Studies 30 (3):155-180.
    The specious present (James, 1890/1950) is the phenomenal temporal structure of the representational content of my present experience. This article is a study of the mereological structure of the specious present and what it reveals about the nature of the mind. I argue that the specious present has certain features that cannot be easily explained within the framework of physicalism about the mind — the view that consciousness is nothing over and above what is physical. In particular, the specious present (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 969