Results for 'Logical matrix'

1000+ found
Order:
  1. A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc - 2021 - Studia Logica 109 (4):791-828.
    We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Genuine paracomplete logics.Verónica Borja Macías, Marcelo E. Coniglio & Alejandro Hernández-Tello - 2023 - Logic Journal of the IGPL 31 (5):961-987.
    In 2016, Béziau introduces a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws $\varphi,\neg \varphi \vdash \psi$ and $\vdash \neg (\varphi \wedge \neg \varphi)$. In that paper, the author analyzes, among the three-valued logics, which of them satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above-mentioned are $\vdash \varphi, \neg \varphi$ and $\neg (\varphi \vee \neg \varphi) \vdash$. We call genuine paracomplete logics those rejecting (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality.Avi Sion - 2010 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Understanding Vedanta through Films (A Pedagogical Model) – A Case Study of Matrix.Shakuntala Gawde - 2019 - In S. Varkhedi & G. Mahulikar (eds.), New Frontiers in Sanskrit and Indic Knowledge. New Delhi: New Bharatiya Book Corporation. pp. 106-121.
    Indian Philosophy has reached across the globe. It is popular for its practical way towards life. Study of Indian philosophy should be part of all streams of education. Film is effective tool of communication. It attracts all generations and makes strong impression in the mind. Film is always considered as an effective tool in Pedagogy. Philosophy deals with abstract concepts, their correlation and logical reasoning. It deals with the complex problem of reality. People have notion that philosophy is a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework).Damian E. Szmuc - 2021 - Bulletin of the Section of Logic 50 (4):421-453.
    We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  7. An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
    We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite (...) matrix. We show that the last logic of the chain is not finitely axiomatisable. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  8. An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.
    The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  9.  85
    An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
    We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new log- ics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton Peron - 2020 - Logic Journal of the IGPL 28 (3):281-315.
    Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Swap structures semantics for Ivlev-like modal logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. The Truth Table Formulation of Propositional Logic.Tristan Grøtvedt Haze - forthcoming - Teorema: International Journal of Philosophy.
    Developing a suggestion of Wittgenstein, I provide an account of truth tables as formulas of a formal language. I define the syntax and semantics of TPL (the language of Tabular Propositional Logic), and develop its proof theory. Single formulas of TPL, and finite groups of formulas with the same top row and TF matrix (depiction of possible valuations), are able to serve as their own proofs with respect to metalogical properties of interest. The situation is different, however, for groups (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Maximality in finite-valued Lukasiewicz logics defined by order filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. On Classical and Quantum Logical Entropy.David Ellerman - manuscript
    The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting measure on elements (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Does the Soul's sleep generate the Reason? The symbol's compensatory aspect at quantum-psychoid matrix with regard to the Reason's unilateralism. Excerpt by.Donato Santarcangelo - 2014 - Milano MI, Italia: By: T. Cantalupi, D. Santarcangelo, Psiche e Realtà - Tecniche Nuove.
    A Symbol doesn't explain, says Jung. In fact it is beyond the dichotomy of the binary logic, that wants the limiting and restrictive diktat of the tertium non datur to be perpetuated so as to be obliged to choose between two possibilities being anyway on the same nomological axis.
    Download  
     
    Export citation  
     
    Bookmark  
  16. Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC.Richard Zach - 2023 - Logic and Logical Philosophy 32 (2):161-179.
    Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Mediatization theory and digital media.Niels Ole Finnemann - 2011 - Communications 36 (1):67-89.
    In the 20th century, the term “media logic” was introduced to denote the influence of independent mass media on political systems and other institutions. In recent years the idea has been reworked and labeled “mediatization” to widen the framework by including new media and new areas of application. In Section Two the paper discusses different conceptualizations. It is argued that even if they bring new insights, they cannot be unified into one concept, and that they also lack a consistent definition (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. A Theory of Evolution as a Process of Unfolding.Agustin Ostachuk - 2020 - Cosmos and History: The Journal of Natural and Social Philosophy 16 (1):347-379.
    In this work I propose a theory of evolution as a process of unfolding. This theory is based on four logically concatenated principles. The principle of evolutionary order establishes that the more complex cannot be generated from the simpler. The principle of origin establishes that there must be a maximum complexity that originates the others by logical deduction. Finally, the principle of unfolding and the principle of actualization guarantee the development of the evolutionary process from the simplest to the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. On the expressive power of Łukasiewicz square operator.Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio & Lluis Godo - forthcoming - Journal of Logic and Computation.
    The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Actions and Events in Plural Discourse.Kirk Ludwig - 2018 - In Kirk Ludwig & Marija Jankovic (eds.), The Routledge Handbook of Collective Intentionality. New York: Routledge. pp. 476-488.
    This chapter is concerned with plural discourse in the grammatical sense. The goal of the chapter is to urge the value of the event analysis of the matrix of action sentences in thinking about logical form in plural discourse about action. Among the claims advanced are that: -/- 1. The ambiguity between distributive and collective readings of plural action sentences is not lexical ambiguity, either in the noun phrase (NP) or in the verb phrase (VP), but an ambiguity (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. Designing AI for Explainability and Verifiability: A Value Sensitive Design Approach to Avoid Artificial Stupidity in Autonomous Vehicles.Steven Umbrello & Roman Yampolskiy - 2022 - International Journal of Social Robotics 14 (2):313-322.
    One of the primary, if not most critical, difficulties in the design and implementation of autonomous systems is the black-boxed nature of the decision-making structures and logical pathways. How human values are embodied and actualised in situ may ultimately prove to be harmful if not outright recalcitrant. For this reason, the values of stakeholders become of particular significance given the risks posed by opaque structures of intelligent agents (IAs). This paper explores how decision matrix algorithms, via the belief-desire-intention (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  22. Jung and his search for sense. The Jungian Symbol producer of sense as opposed to the foolishness and violence of the rationality of "the age of technology". Excerpt by.Donato Santarcangelo - 2014 - Milano MI, Italia: By: T. Cantalupi, D. Santarcangelo, Psiche e Realtà - Tecniche Nuove..
    Jung's interpretative "matrix" seems to offer us the possibility to frame the social phenomenology concerning the loss of sense, with the consequent load of experience of widespread awkwardness, in a context of epoch-making, progressive, "one-dimensional" reduction of the symbolic. -/- This seems to us the fundamental matrix of the disastrous, schizoid conflict of the present day society: on one side a literalism in keeping with the logics of power and control, disheartening any possibility of individual and collective development (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part Three. DYNAMICS OF GROWTH OF NEW KNOWLEDGE IN POSTACADEMICAL SCIENCE.Valentin Cheshko & Yulia Kosova - 2012 - Practical Philosophy 1:59-69.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  33
    The Conceptual Basis of Perspectivism / Понятийный базис перспективизма.Michael Lewin, Vadim Chaly, Sergey Lugovoy & Leonid Kornilaev - forthcoming - Philosophy of the History of Philosophy.
    In recent decades, perspectivism has developed into an independent epistemological research program. Perspectivism is based on the idea of perspective as an attempt to elucidate an object from a multitude of factors. Perspectivists are concerned with reconstructing and explaining these factors, identifying the conditioning of epistemic acts, using concepts such as “position”/“point of view,” “gaze,” “angle of view,” “horizon,” “focus,” “picture,” “relativity,” and “context”. Although these concepts are part of the perspectivist's toolkit, their content and interrelationship have not yet been (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25.  88
    Editorial - Distopias e Filosofias.Arnaldo Vasconcellos - 2023 - Revista Epistemologia 4 (4):5-6.
    Thomas Kuhn's philosophy brought a series of important ways of interpreting scientific practice, where history came to be understood as a significant part of this dynamic. In his 1962 “The Structure of Scientific Revolutions”, Kuhn provided us with some important concepts such as paradigm, normal science, anomalies and extraordinary science. From then on, science was no longer seen only as a logical structure related to discovery – but it was suggested that scientific changes occurred due to an increase in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. A Dilemma for Skeptics.Stephen Maitzen - 2010 - Teorema: International Journal of Philosophy 29 (1):23-34.
    Some of the most enduring skeptical arguments invoke stories of deception -- the evil demon, convincing dreams, an envatted brain, the Matrix -- in order to show that we have no first-order knowledge of the external world. I confront such arguments with a dilemma: either (1) they establish no more than the logical possibility of error, in which case they fail to threaten fallible knowledge, the only kind of knowledge of the external world most of us think we (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part One.Valentin Cheshko & Yulia Kosova - 2011 - Practical Philosophy 1:94-100.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Man as Trinity of Body, Spirit, and Soul.Marcoen J. T. F. Cabbolet - 2022 - In And now for something completely different: the Elementary Process Theory. Revised, updated and extended 2nd edition of the dissertation with almost the same title. Utrecht: Eburon Academic Publishers. pp. 319-370.
    Although there are several monistic and dualistic approaches to the mind-body problem on the basis of classical or quantum mechanics, thus far no consensus exists about a solution. Recently, the Elementary Process Theory (EPT) has been developed: this corresponds with a fundamentally new disciplinary matrix for the study of physical reality. The purpose of the present research was to investigate the mind-body problem within this newly developed disciplinary matrix. The main finding is that the idea of a duality (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Respiratory Ethics, History and Foundations.Ian Goddard - manuscript
    The Covid-19 pandemic raises the need for an ethical framework addressing unique questions of airborne infectious disease. In particular, are you ethically obliged to wear a face mask? If so, why and when? The Respiratory Ethics Framework (REF) herein derives answers from ethical norms. Always covering coughs and sneezes just in case you might be infectious is an ethical norm. But if you are infectious with an airborne illness, you are probably spreading germs even with every breath and vocalization. Therefore, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Directives and Context.Tadeusz Ciecierski & Paweł Grabarczyk - 2022 - Argumenta 15:35-53.
    The paper aims to add contextual dependence to the new directival theory of meaning, a functional role semantics based on Kazimierz Ajdukiewicz’s directival theory of meaning. We show that the original formulation of the theory does not have a straight answer on how the meaning of indexicals and demonstratives is established. We illustrate it in the example of some problematic axiomatic and inferential directives containing indexicals. We show that the main reason why developing the new directival theory of meaning in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. An Investigation on the Basic Conceptual Foundations of Quantum Mechanics by Using the Clifford Algebra.Elio Conte - 2011 - Advanced Studies in Theoretical Physics 5 (11):485-544.
    We review our approach to quantum mechanics adding also some new interesting results. We start by giving proof of two important theorems on the existence of the A(Si) and i,±1 N Clifford algebras. This last algebra gives proof of the von Neumann basic postulates on the quantum measurement explaining thus in an algebraic manner the wave function collapse postulated in standard quantum theory. In this manner we reach the objective to expose a self-consistent version of quantum mechanics. In detail we (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
    By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Philipp Frank’s Austro-American Logical Empiricism.Thomas Mormann - 2017 - Hopos: The Journal of the International Society for the History of Philosophy of Science 7 (1): 56 - 86.
    The aim of this paper is to discuss the “Austro-American” logical empiricism proposed by physicist and philosopher Philipp Frank, particularly his interpretation of Carnap’s Aufbau, which he considered the charter of logical empiricism as a scientific world conception. According to Frank, the Aufbau was to be read as an integration of the ideas of Mach and Poincaré, leading eventually to a pragmatism quite similar to that of the American pragmatist William James. Relying on this peculiar interpretation, Frank intended (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. Husserl’s Theory of Signitive and Empty Intentions in Logical Investigations and its Revisions: Meaning Intentions and Perceptions.Thomas Byrne - 2020 - Journal of the British Society for Phenomenology 52 (1):16-32.
    This paper examines the evolution of Husserl’s philosophy of nonintuitive intentions. The analysis has two stages. First, I expose a mistake in Husserl’s account of non-intuitive acts from his 1901 Logical Investigations. I demonstrate that Husserl employs the term “signitive” too broadly, as he concludes that all non-intuitive acts are signitive. He states that not only meaning acts, but also the contiguity intentions of perception are signitive acts. Second, I show how Husserl, in his 1913/14 Revisions to the Sixth (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  35. Lewis, Loar and the Logical Form of Attitude Ascriptions.S. Beck - 1988 - South African Journal of Philosophy 7 (2):100-104.
    In this article, the attempts by David Lewis and Brian Loar to make perspicuous the logical form of sentences ascribing propositional attitudes to individuals are set out and criticized. Both work within the assumption of the truth of 'type' physicalism, and require that logically perspicuous attitude ascriptions be compatible with the demands of such a doctrine. It is argued that neither carry out this task successfully - Lewis's perspicuous ascriptions have counter-intuitive implications, while Loar's avoidance of these undermines type (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Simulation Models of the Evolution of Cooperation as Proofs of Logical Possibilities. How Useful Are They?Eckhart Arnold - 2013 - Etica E Politica 15 (2):101-138.
    This paper discusses critically what simulation models of the evolution ofcooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” and the modeling tradition it has inspired. Hardly any of the many simulation models of the evolution of cooperation in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design was (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  37. Strategic Reasoning: Building Cognitive Models from Logical Formulas.Sujata Ghosh, Ben Meijering & Rineke Verbrugge - 2014 - Journal of Logic, Language and Information 23 (1):1-29.
    This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Aristotle’s theory of demonstration and its logical and metaphysical entanglements.Lucas Angioni & Breno Zuppolini - 2019 - Manuscrito 42 (4):i-ix.
    This is an Editorial Note for the special volume of the journal Manuscrito (42: 4) devoted to Aristotle's theory of demonstration and its logical and metaphysical entanglements, which has been organized by me and Breno Zuppolini (as Guest Editors), with papers authored by Benjamin Morison, Owen Goldin, David Bronstein, Michail Peramatzis, Andrea Falcon, Laura Castelli, Paolo Fait, Joseph Karbowski, Adam Crager, Klaus Corcilius, Robert J. Hankinson, Raphael Zillig and Pieter Sjoerd Hasper.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Ingarden’s Husserl: A critical assessment of the 1915 review of the logical investigations.Thomas Byrne - 2020 - HORIZON. Studies in Phenomenology 9 (2):513-531.
    This essay critically assesses Roman Ingarden’s 1915 review of the second edition of Edmund Husserl’s Logical Investigations. I elucidate and critique Ingarden’s analysis of the differences between the 1901 first edition and the 1913 second edition. I specifically examine three tenets of Ingarden’s interpretation. First, I demonstrate that Ingarden correctly denounces Husserl’s claim that he only engages in an eidetic study of consciousness in 1913, as Husserl was already performing eidetic analyses in 1901. Second, I show that Ingarden is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
    In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  41. Logical foundations for belief representation.William J. Rapaport - 1986 - Cognitive Science 10 (4):371-422.
    This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  42. Ignorance and moral judgment: Testing the logical priority of the epistemic.Parker Crutchfield, Scott Scheall, Mark Justin Rzeszutek, Hayley Dawn Brown & Cristal Cardoso Sao Mateus - 2023 - Consciousness and Cognition 108 (C):103472.
    It has recently been argued that a person’s moral judgments (about both their own and others’ actions) are constrained by the nature and extent of their relevant ignorance and, thus, that such judgments are determined in the first instance by the person’s epistemic circumstances. It has been argued, in other words, that the epistemic is logically prior to other normative (e.g., ethical, prudential, pecuniary) considerations in human decision-making, that these other normative considerations figure in decision-making only after (logically and temporally) (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. A quantitative-informational approach to logical consequence.Marcos Antonio Alves & Ítala M. Loffredo D'Otaviano - 2015 - In Beziau Jean-Yves (ed.), The Road to Universal Logic (Studies in Universal Logic). Springer International Publishing. pp. 105-24.
    In this work, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula. As a starting point, we use Shannon‟s quantitative notion of information, founded on the concepts of logarithmic function and probability value. We first consider some of the basic elements of an axiomatic probability theory, and then construct a probabilistic semantics for languages of classical propositional logic. We define the quantity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. What is logical form?Axel Barcelo Aspeitia - manuscript
    A good metaphysical account of logical form, must make clear why logical form is logical. However, this task has proved to be very elusive. Here, I analyze different attempts to meet this challenge and defend an inferential externalism where logical form is grounded on external logical relations as our most promising option.
    Download  
     
    Export citation  
     
    Bookmark  
  45. Supervaluationism and Logical Revisionism.J. R. G. Williams - 2008 - Journal of Philosophy 105 (4):192-212.
    In the literature on supervaluationism, a central source of concern has been the acceptability, or otherwise, of its alleged logical revisionism. I attack the presupposition of this debate: arguing that when properly construed, there is no sense in which supervaluational consequence is revisionary. I provide new considerations supporting the claim that the supervaluational consequence should be characterized in a ‘global’ way. But pace Williamson (1994) and Keefe (2000), I argue that supervaluationism does not give rise to counterexamples to familiar (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  46. Smashing Husserl’s Dark Mirror: Rectifying the Inconsistent Theory of Impossible Meaning and Signitive Substance from the Logical Investigations.Thomas Byrne - 2021 - Axiomathes 31 (2):127-144.
    This paper accomplishes three goals. First, the essay demonstrates that Edmund Husserl’s theory of meaning consciousness from his 1901 Logical Investigations is internally inconsistent and falls apart upon closer inspection. I show that Husserl, in 1901, describes non-intuitive meaning consciousness as a direct parallel or as a ‘mirror’ of intuitive consciousness. He claims that non-intuitive meaning acts, like intuitions, have substance and represent their objects. I reveal that, by defining meaning acts in this way, Husserl cannot account for our (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  47. Causal Connections, Logical Connections, and Skeptical Theism: There Is No Logical Problem of Evil.Perry Hendricks - forthcoming - Religions.
    In this paper, I consider Sterba’s recent criticism of skeptical theism in context of his argument from evil. I show that Sterba’s criticism of skeptical theism shares an undesirable trait with all past criticisms of skeptical theism: it fails. This is largely due to his focus on causal connections and his neglect of logical connections. Because of this, his argument remains vulnerable to skeptical theism.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. The Evolution of Husserl’s Semiotics: The Logical Investigations and its Revisions (1901-1914).Thomas Byrne - 2018 - Bulletin d'Analyse Phénoménologique 14:1-23.
    This paper offers a more comprehensive and accurate picture of Edmund Husserl’s semiotics. I not only clarify, as many have already done, Husserl’s theory of signs from the 1901 Logical Investigations, but also examine how he transforms that element of his philosophy in the 1913/14 Revisions to the Sixth Logical Investigation. Specifically, the paper examines the evolution of two central tenets of Husserl’s semiotics. I first look at how he modifies his classification of signs. I disclose why he (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. The logical reconstruction of pure exchange economics: Another alternative.Douglas Wade Hands - 1985 - Theory and Decision 19 (3):259-278.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  50. Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - 2019 - Acta Analytica 34 (3):369-383.
    Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000