Results for 'Structural proof theory'

1000+ found
Order:
  1. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value.John Corcoran - 1971 - Journal of Structural Learning 3 (2):1-16.
    1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  59
    Takeuti's Proof Theory in the Context of the Kyoto School.Andrew Arana - 2019 - Jahrbuch Für Philosophie Das Tetsugaku-Ronso 46:1-17.
    Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Ontology of Quantum Field Theory: Structural Realism Vindicated?David Glick - 2016 - Studies in History and Philosophy of Science Part A 59:78-86.
    In this paper I elicit a prediction from structural realism and compare it, not to a historical case, but to a contemporary scientific theory. If structural realism is correct, then we should expect physics to develop theories that fail to provide an ontology of the sort sought by traditional realists. If structure alone is responsible for instrumental success, we should expect surplus ontology to be eliminated. Quantum field theory (QFT) provides the framework for some of the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  43
    The Basics of Display Calculi.Tim Lyon, Christian Ittner, Timo Eckhardt & Norbert Gratzl - 2017 - Kriterion - Journal of Philosophy 31 (2):55-100.
    The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  30
    On Deriving Nested Calculi for Intuitionistic Logics From Semantic Systems.Tim Lyon - 2020 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 177-194.
    This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7.  48
    Proof Theory of Finite-Valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
    The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  8. A Theory of Structural Determination.J. Gallow - 2016 - Philosophical Studies 173 (1):159-186.
    While structural equations modeling is increasingly used in philosophical theorizing about causation, it remains unclear what it takes for a particular structural equations model to be correct. To the extent that this issue has been addressed, the consensus appears to be that it takes a certain family of causal counterfactuals being true. I argue that this account faces difficulties in securing the independent manipulability of the structural determination relations represented in a correct structural equations model. I (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.
    We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach - 2000 - In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201.
    Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. Questions About Proof Theory Vis-À-Vis Natural Language Semantics (2007).Anna Szabolcsi - manuscript
    Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation2 in a compositional fashion. For example, No whale flies is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences based on semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  36
    Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. 93413 Cham, Germany: Springer. pp. 202-218.
    This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Structural Explanation in Social Theory.Frank Jackson & Philip Pettit - 1992 - In K. Lennon & D. Charles (eds.), Reduction, Explanation, and Realism. Oxford University Press. pp. 97--131.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  14. Objectivity And Proof In A Classical Indian Theory Of Number.Jonardon Ganeri - 2001 - Synthese 129 (3):413-437.
    Download  
     
    Export citation  
     
    Bookmark  
  15. Prove It! The Burden of Proof Game in Science Vs. Pseudoscience Disputes.Massimo Pigliucci & Maarten Boudry - 2014 - Philosophia 42 (2):487-502.
    The concept of burden of proof is used in a wide range of discourses, from philosophy to law, science, skepticism, and even in everyday reasoning. This paper provides an analysis of the proper deployment of burden of proof, focusing in particular on skeptical discussions of pseudoscience and the paranormal, where burden of proof assignments are most poignant and relatively clear-cut. We argue that burden of proof is often misapplied or used as a mere rhetorical gambit, with (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  16.  87
    On the Alleged Simplicity of Impure Proof.Andrew Arana - 2017 - In Roman Kossak & Philip Ording (eds.), Simplicity: Ideals of Practice in Mathematics and the Arts. pp. 207-226.
    Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof is one that avoids what is “extrinsic,” “extraneous,” “distant,” “remote,” “alien,” or “foreign” to the problem or theorem under investigation. In the background of these attributions is the view that there is a distance measure (or a variety of such measures) between mathematical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Discourse Grammars and the Structure of Mathematical Reasoning III: Two Theories of Proof,.John Corcoran - 1971 - Journal of Structural Learning 3 (3):1-24.
    ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. A Structural Theory of Everything.Brian D. Josephson - manuscript
    (v.3) In this paper it is argued that Barad's Agential Realism, an approach to quantum mechanics originating in the philosophy of Niels Bohr, can be the basis of a 'theory of everything' consistent with a proposal of Wheeler that 'observer-participancy is the foundation of everything'. On the one hand, agential realism can be grounded in models of self- organisation such as the hypercycles of Eigen, while on the other agential realism, by virtue of the 'discursive practices' that constitute one (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19.  49
    'Violence That Works on the Soul': Structural and Cultural Violence in Religion and Peacebuilding.Jason Springs - 2015 - In Atalia Omer, R. Scott Appleby & David Little (eds.), Oxford Handbook of Religion, Conflict, and Peacebuilding. New York, USA: Oxford University Press. pp. 146-179.
    This article makes the case for the necessity of a multi-focal conception of violence in religion and peacebuilding. I first trace the emergence and development of the analytical concepts of structural and cultural violence in peace studies, demonstrating how these lenses both draw central insights from, but also differ from and improve upon, critical theory and reflexive sociology. I argue that addressing structural and cultural forms of violence are concerns as central as addressing direct (explicit, personal) forms (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Actor Network, Ontic Structural Realism and the Ontological Status of Actants.Corrado Matta - 2014 - Proceedings of the 9th International Conference on Networked Learning 2014.
    In this paper I discuss the ontological status of actants. Actants are argued as being the basic constituting entities of networks in the framework of Actor Network Theory (Latour, 2007). I introduce two problems concerning actants that have been pointed out by Collin (2010). The first problem concerns the explanatory role of actants. According to Collin, actants cannot play the role of explanans of networks and products of the same newtork at the same time, at pain of circularity. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21.  39
    Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic Via Linear Nested Sequents.Tim Lyon - 2020 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 156-176.
    This paper employs the linear nested sequent framework to design a new cut-free calculus (LNIF) for intuitionistic fuzzy logic---the first-order Goedel logic characterized by linear relational frames with constant domains. Linear nested sequents---which are nested sequents restricted to linear structures---prove to be a well-suited proof-theoretic formalism for intuitionistic fuzzy logic. We show that the calculus LNIF possesses highly desirable proof-theoretic properties such as invertibility of all rules, admissibility of structural rules, and syntactic cut-elimination.
    Download  
     
    Export citation  
     
    Bookmark  
  22. 1983 Review in Mathematical Reviews 83e:03005 Of: Cocchiarella, Nino “The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy: Bertrand Russell's Early Philosophy, Part I”. Synthese 45 (1980), No. 1, 71-115.John Corcoran - 1983 - MATHEMATICAL REVIEWS 83:03005.
    CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .
    Download  
     
    Export citation  
     
    Bookmark  
  23.  48
    The Changing Practices of Proof in Mathematics: Gilles Dowek: Computation, Proof, Machine. Cambridge: Cambridge University Press, 2015. Translation of Les Métamorphoses du Calcul, Paris: Le Pommier, 2007. Translation From the French by Pierre Guillot and Marion Roman, $124.00HB, $40.99PB.Andrew Arana - 2017 - Metascience 26 (1):131-135.
    Review of Dowek, Gilles, Computation, Proof, Machine, Cambridge University Press, Cambridge, 2015. Translation of Les Métamorphoses du calcul, Le Pommier, Paris, 2007. Translation from the French by Pierre Guillot and Marion Roman.
    Download  
     
    Export citation  
     
    Bookmark  
  24. The Reasonable and the Relevant: Legal Standards of Proof.Georgi Gardiner - 2019 - Philosophy and Public Affairs 47 (3):288-318.
    According to a common conception of legal proof, satisfying a legal burden requires establishing a claim to a numerical threshold. Beyond reasonable doubt, for example, is often glossed as 90% or 95% likelihood given the evidence. Preponderance of evidence is interpreted as meaning at least 50% likelihood given the evidence. In light of problems with the common conception, I propose a new ‘relevant alternatives’ framework for legal standards of proof. Relevant alternative accounts of knowledge state that a person (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  22
    On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.Seungrak Choi - 2019 - Dissertation, Korea University
    In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical derivation paradoxical. Chapter 2 deals (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26.  79
    Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.Carlo Nicolai - manuscript
    The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Recent Work on the Proof Paradox.Lewis D. Ross - 2020 - Philosophy Compass 15 (6).
    Recent years have seen fresh impetus brought to debates about the proper role of statistical evidence in the law. Recent work largely centres on a set of puzzles known as the ‘proof paradox’. While these puzzles may initially seem academic, they have important ramifications for the law: raising key conceptual questions about legal proof, and practical questions about DNA evidence. This article introduces the proof paradox, why we should care about it, and new work attempting to resolve (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Structural Chaos.Conor Mayo-Wilson - 2015 - Philosophy of Science 82 (5):1236-1247.
    A dynamical system is called chaotic if small changes to its initial conditions can create large changes in its behavior. By analogy, we call a dynamical system structurally chaotic if small changes to the equations describing the evolution of the system produce large changes in its behavior. Although there are many definitions of “chaos,” there are few mathematically precise candidate definitions of “structural chaos.” I propose a definition, and I explain two new theorems that show that a set of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  29. A Possible Answer to Newman’s Objection From the Perspective of Informational Structural Realism.Lavinia Marin - 2015 - Revue Roumaine de Philosophie 59 (2):307-318.
    This paper aims to reconstruct a possible answer to the classical Newman’s objection which has been used countless times to argue against structural realism. The reconstruction starts from the new strand of structural realism – informational structural realism – authored by Luciano Floridi. Newman’s objection had previously stated that all propositions which comprise the mathematical structures are merely trivial truths and can be instantiated by multiple models. This paper examines whether informational structural realism can overcome this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth.William D'Alessandro - 2020 - Synthese:1-44.
    Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Kant, Morality, and Hell.James Edwin Mahon - 2015 - In Robert Arp & Ben McCraw (eds.), The Concept of Hell. Palgrave-Macmillan. pp. 113-126.
    In this paper I argue that, although Kant argues that morality is independent of God (and hence, agrees with the Euthyphro), and rejects Divine Command Theory (or Theological Voluntarism), he believes that all moral duties are also the commands of God, who is a moral being, and who is morally required to punish those who transgress the moral law: "God’s justice is the precise allocation of punishments and rewards in accordance with men’s good or bad behavior." However, since we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32.  26
    Physik und Ontologie – oder Die 'Ontologiebeladenheit' der Epistemologie und die 'Realismusdebatte'.Rudolf Lindpointner - manuscript
    The question of what ontological insights can be gained from the knowledge of physics (keyword: ontic structural realism) cannot obviously be completely separated from the view of physics as a science from an epistemological perspective. This is also visible in the debate about 'scientific realism'. This debate makes it clear, in the form of the importance of perception as a criterion for the assertion of existence in relation to the 'theoretical entities' of physics, that epistemology itself is 'ontologically loaded'. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Bohm's Approach and Individuality.Paavo Pylkkänen, Basil Hiley & Ilkka Pättiniemi - 2016 - In Alexandre Guay & Thomas Pradeu (eds.), Individuals Across the Sciences. Oxford, UK: Oxford University Press.
    Ladyman and Ross argue that quantum objects are not individuals and use this idea to ground their metaphysical view, ontic structural realism, according to which relational structures are primary to things. LR acknowledge that there is a version of quantum theory, namely the Bohm theory, according to which particles do have denite trajectories at all times. However, LR interpret the research by Brown et al. as implying that "raw stuff" or haecceities are needed for the individuality of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  34. Minimal Type Theory (MTT).Pete Olcott - manuscript
    Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.
    Download  
     
    Export citation  
     
    Bookmark  
  35.  96
    Structural Relativity and Informal Rigour.Neil Barton - forthcoming - In Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics.
    Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  84
    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  
  37. Decision Theory.Lara Buchak - 2016 - In Christopher Hitchcock & Alan Hajek (eds.), Oxford Handbook of Probability and Philosophy. Oxford University Press.
    Decision theory has at its core a set of mathematical theorems that connect rational preferences to functions with certain structural properties. The components of these theorems, as well as their bearing on questions surrounding rationality, can be interpreted in a variety of ways. Philosophy’s current interest in decision theory represents a convergence of two very different lines of thought, one concerned with the question of how one ought to act, and the other concerned with the question of (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  38. The Theory of Judgment Aggregation: An Introductory Review.Christian List - 2012 - Synthese 187 (1):179-207.
    This paper provides an introductory review of the theory of judgment aggregation. It introduces the paradoxes of majority voting that originally motivated the field, explains several key results on the impossibility of propositionwise judgment aggregation, presents a pedagogical proof of one of those results, discusses escape routes from the impossibility and relates judgment aggregation to some other salient aggregation problems, such as preference aggregation, abstract aggregation and probability aggregation. The present illustrative rather than exhaustive review is intended to (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  39. A Theory of Presumption for Everyday Argumentation.David M. Godden & Douglas N. Walton - 2007 - Pragmatics and Cognition 15 (2):313-346.
    The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  40. On Structural Accounts of Model-Explanations.Martin King - 2016 - Synthese 193 (9):2761-2778.
    The focus in the literature on scientific explanation has shifted in recent years towards model-based approaches. In recent work, Alisa Bokulich has argued that idealization has a central role to play in explanation. Bokulich claims that certain highly-idealized, structural models can be explanatory, even though they are not considered explanatory by causal, mechanistic, or covering law accounts of explanation. This paper focuses on Bokulich’s account in order to make the more general claim that there are problems with maintaining that (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  41. The CEMI Field Theory Gestalt Information and the Meaning of Meaning.Johnjoe McFadden - 2013 - Journal of Consciousness Studies 20 (3-4):3-4.
    In earlier papers I described the conscious electromagnetic information (CEMI) field theory, which claimed that the substrate of consciousness is the brain’s electromagnetic (EM) field. I here further explore this theory by examining the properties and dynamics of the information underlying meaning in consciousness. I argue that meaning suffers from a binding problem, analogous to the binding problem described for visual perception, and describe how the gestalt (holistic) properties of meaning give rise to this binding problem. To clarify (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42.  51
    Women of Color Structural Feminisms.Elena Ruíz - forthcoming - In Shirley-Anne Tate (ed.), The Palgrave Handbook on Critical Race And Gender.
    One way to track the many critical impacts of women of color feminisms is through the powerful structural analyses of gendered and racialized oppression they offer. This article discusses diverse lineages of women of color feminisms in the global South that tackle systemic structures of power and domination from their situated perspectives. It offers an introduction to structuralist theories in the humanities and differentiates them from women of color feminist theorizing, which begins analyses of structures from embodied and phenomenological (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. A Unified Account of General Learning Mechanisms and Theory‐of‐Mind Development.Theodore Bach - 2014 - Mind and Language 29 (3):351-381.
    Modularity theorists have challenged that there are, or could be, general learning mechanisms that explain theory-of-mind development. In response, supporters of the ‘scientific theory-theory’ account of theory-of-mind development have appealed to children's use of auxiliary hypotheses and probabilistic causal modeling. This article argues that these general learning mechanisms are not sufficient to meet the modularist's challenge. The article then explores an alternative domain-general learning mechanism by proposing that children grasp the concept belief through the progressive alignment (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  93
    Structural Realism and Jurisprudence.Kevin Lee - 2017 - Legal Issues Journal 5 (2).
    Some Anglophone legal theorists look to analytic philosophy for core presuppositions. For example, the epistemological theories of Ludwig Wittgenstein and Willard Quine shape the theories of Dennis Patterson and Brian Leiter, respectively. These epistemologies are anti-foundational since they reject the kind of certain grounding that is exemplified in Cartesian philosophy. And, they are coherentist in that they seek to legitimate truth-claims by reference to entire linguistic systems. While these theories are insightful, the current context of information and communication technologies (ICT) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45.  93
    A Methodological Note on Proving Agreement Between the Elementary Process Theory and Modern Interaction Theories.Cabbolet Marcoen - manuscript
    The Elementary Process Theory (EPT) is a collection of seven elementary process-physical principles that describe the individual processes by which interactions have to take place for repulsive gravity to exist. One of the two main problems of the EPT is that there is no proof that the four fundamental interactions (gravitational, electromagnetic, strong, and weak) as we know them can take place in the elementary processes described by the EPT. This paper sets forth the method by which it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Retention Myths Vs. Well-Managed Resources: Promises and Failings of Structural Realism (2014).Jean-Michel Delhotel - manuscript
    Turning away from entities and focusing instead exclusively on ‘structural’ aspects of scientific theories has been advocated as a cogent response to objections levelled at realist conceptions of the aim and success of science. Physical theories whose (predictive) past successes are genuine would, in particular, share with their successors structural traits that would ultimately latch on to ‘structural’ features of the natural world. Motives for subscribing to Structural Realism are reviewed and discussed. It is argued that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47.  63
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. A Note on Carnap’s Result and the Connectives.Tristan Haze - 2019 - Axiomathes 29 (3):285-288.
    Carnap’s result about classical proof-theories not ruling out non-normal valuations of propositional logic formulae has seen renewed philosophical interest in recent years. In this note I contribute some considerations which may be helpful in its philosophical assessment. I suggest a vantage point from which to see the way in which classical proof-theories do, at least to a considerable extent, encode the meanings of the connectives (not by determining a range of admissible valuations, but in their own way), and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. On the Explanatory Power of Truth in Logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
    Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Semantic Arithmetic: A Preface.John Corcoran - 1995 - Agora 14 (1):149-156.
    SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a broad (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000