Results for 'Logical Investigations'

1000+ found
Order:
  1. Logical Investigations Volume 1.Edmund Husserl - 2001 - Routledge.
    Edmund Husserl is the founder of phenomenology and the Logical Investigations is his most famous work. It had a decisive impact on twentieth century philosophy and is one of few works to have influenced both continental and analytic philosophy. This is the first time both volumes have been available in paperback. They include a new introduction by Dermot Moran, placing the Investigations in historical context and bringing out their contemporary philosophical importance. These editions include a new preface (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  54
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Husserl’s Logical Investigations.Kevin Mulligan & Barry Smith - 1986 - Grazer Philosophische Studien 27 (1):199-207.
    The magisterial analyses of logic and meaning advanced in Husserl's Logical Investigations of 1900/01 have for a number of reasons been neglected by analytical philosophers in subsequent decades. This state of affairs has to do, in part, with the history of the editions and translations of Husserl's writings. Findlay's readable but imperfect translation appeared seventy years after the work itself was first published, and the editors and translators and expositors of Husserl's works have reflected the prevailing philosophical atmosphere (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  47
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. A Forgotten Source in the History of Linguistics: Husserl's Logical Investigations.Simone Aurora - 2015 - Bulletin d'Analyse Phénoménologique 11.
    In appearance, Husserl’s writings seem not to have had any influence on linguistic research, nor does what the German philosopher wrote about language seem to be worth a place in the history of linguistics. The purpose of the paper is exactly to contrast this view, by reassessing both the position and the role of Husserl’s early masterpiece — the Logical Investigations — within the history of linguistics. To this end, I will focus mainly on the third (On the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  67
    Surrogates and Empty Intentions: Husserl’s “On the Logic of Signs” as the Blueprint for His First Logical Investigation.Thomas Byrne - 2017 - Husserl Studies 33 (3):211-227.
    This paper accomplishes two tasks. First, I examine in detail Edmund Husserl’s earliest philosophy of surrogates, as it is found in his 1890 “On the Logic of Signs ”. I analyze his psychological and logical investigations of surrogates, where the former is concerned with explaining how these signs function and the latter with how they do so reliably. His differentiation of surrogates on the basis of their genetic origins and degrees of necessity is discussed. Second, the historical importance (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  7.  37
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Husserl’s Concept of Motivation: The Logical Investigations and Beyond.Philip J. Walsh - 2013 - History of Philosophy & Logical Analysis 16 (1):70-83.
    Husserl introduces a phenomenological concept called “motivation” early in the First Investigation of his magnum opus, the Logical Investigations. The importance of this concept has been overlooked since Husserl passes over it rather quickly on his way to an analysis of the meaningful nature of expression. I argue, however, that motivation is essential to Husserl’s overall project, even if it is not essen- tial for defining expression in the First Investigation. For Husserl, motivation is a relation between mental (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  48
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  44
    The Dawn of Husserl’s Pure Logical Grammar: Husserl’s Study of Inauthentic Judgments From “On The Logic Of Signs” as the Germ of the “Fourth Logical Investigation”.Thomas Byrne - 2017 - Studia Phaenomenologica 17:285-308.
    This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs.” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are revealed (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  11.  54
    A “Principally Unacceptable” Theory: Husserl’s Rejection and Revision of His Philosophy of Meaning Intentions From the Logical Investigations.Thomas Byrne - 2020 - Studia Phaenomenologica 20:357-378.
    This paper accomplishes two goals. First, the essay elucidates Husserl’s descriptions of meaning consciousness from the 1901 Logical Investigations. I examine Husserl’s observations about the three ways we can experience meaning and I discuss his conclusions about the structure of meaning intentions. Second, the paper explores how Husserl reworked that 1901 theory in his 1913/14 Revisions to the Sixth Investigation. I explore how Husserl transformed his descriptions of the three intentions involved in meaningful experience. By doing so, Husserl (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Belief Dynamics: (Epistemo)Logical Investigations.Allard Tamminga - 2001 - Dissertation, University of Amsterdam
    C.S. Peirce's and Isaac Levi's accounts of the belief-doubt-belief model are discussed and evaluated. It is argued that the contemporary study of belief change has metamorphosed into a branch of philosophical logic where empirical considerations have become obsolete. A case is made for reformulations of belief change systems that do allow for empirical tests. Last, a belief change system is presented that (1) uses finite representations of information, (2) can adequately deal with inconsistencies, (3) has finite operations of change, (4) (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Re-Examining Husserl’s Non-Conceptualism in the Logical Investigations.Chad Kidd - 2019 - Archiv für Geschichte der Philosophie 101 (3):407-444.
    A recent trend in Husserl scholarship takes the Logische Untersuchungen (LU) as advancing an inconsistent and confused view of the non-conceptual content of perceptual experience. Against this, I argue that there is no inconsistency about non-conceptualism in LU. Rather, LU presents a hybrid view of the conceptual nature of perceptual experience, which can easily be misread as inconsistent, since it combines a conceptualist view of perceptual content (or matter) with a non-conceptualist view of perceptual acts. I show how this hybrid (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  32
    The Dawn of Pure Logical Grammar: Husserl’s Study of Inauthentic Judgments From ‘On the Logic of Signs’ as the Germ of the Fourth Logical Investigation.Thomas Byrne - 2017 - Studia Phaenomenologica 1 (17):285-308.
    This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs (Semiotic).” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Why is There Something Rather Than Nothing? A Logical Investigation.Jan Heylen - 2017 - Erkenntnis 82 (3):531-559.
    From Leibniz to Krauss philosophers and scientists have raised the question as to why there is something rather than nothing. Why-questions request a type of explanation and this is often thought to include a deductive component. With classical logic in the background only trivial answers are forthcoming. With free logics in the background, be they of the negative, positive or neutral variety, only question-begging answers are to be expected. The same conclusion is reached for the modal version of the Question, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Morpho-Logical Investigations: Wittgenstein and Spengler.A. Losev - 2012 - Philosophia: International Journal of Philosophy 4.
    The influence of Spengler on Wittgenstein's philosophical development is considered. The point of interest is in a significant methodological restructuring which it appears to have produced. After an initial over-enthusiastic reception, Wittgenstein is seen to object on some points which he attempted to emend in his own philosophy. Spengler's name disappeared inreworked manuscripts but traces persist in the Philosophical Investigations and an important section (§89-133) is found to be connected with it.
    Download  
     
    Export citation  
     
    Bookmark  
  17.  17
    Relationship between Being and Consciousness in Husserl’s Logical Investigation.Seyed Mohammad Hosseini - 2021 - فلسفه 49 (1):64-83.
    This article tries to examine Husserl's theory of signification and reference, while presenting a content-oriented view of theory of intentionality and proposing the theory of the ideality of meaning, and thus explores the relation between Being and consciousness under the category of "objectivity" in logical investigation; Because the relationship between Being and consciousness must be sought at the intersection of theory of intentionality and objectivity. This intersection can be proposed in the truth condition of the objectivity of meaning, which (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  75
    Husserl’s Covert Critique of Kant in the Sixth Book of Logical Investigations.Corijn van Mazijk - 2019 - Continental Philosophy Review 52 (1):15-33.
    In the final book of Logical Investigations from 1901, Husserl develops a theory of knowledge based on the intentional structure of consciousness. While there is some textual evidence that Husserl considered this to entail a critique of Kantian philosophy, he did not elaborate substantially on this. This paper reconstructs the covert critique of Kant’s theory of knowledge which LI contains. With respect to Kant, I discuss three core aspects of his theory of knowledge which, as Husserl’s reflections on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Investigating Subsumption in SNOMED CT: An Exploration Into Large Description Logic-Based Biomedical Terminologies.Olivier Bodenreider, Barry Smith, Anand Kumar & Anita Burgun - 2007 - Artificial Intelligence in Medicine 39 (3):183-195.
    Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  14
    Performance Investigation of AC Servomotor Position Control Using Fuzzy Logic and Observer Based Controllers.Mustefa Jibril, Mesay Tadesse & Elias Alemayehu - 2021 - Report and Opinion Journal 13 (1):1-5.
    An AC servomotor which is mostly a two-phase induction motor with two stator field coils placed 90 electrical degrees apart used for controlling position, speed and acceleration in manufacturing industries. In this paper, a two-phase induction motor has been designed with a fuzzy logic and observer based controllers to improve the performance of the system. Comparison of the AC servomotor with the proposed controllers for tracking a step and a square desired position signal input has been done using Matlab/Simulink toolbox (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Philosophical Investigation Series: Selected Texts on Logic / Série Investigação Filosófica: Textos Selecionados de Lógica.Danilo Fraga Dantas & Rodrigo Cid - 2020 - Pelotas - Princesa, Pelotas - RS, Brasil: UFPEL's Publisher / Editora da UFPEL.
    Este livro marca o início da Série Investigação Filosófica. Uma série de livros de traduções de textos de plataformas internacionalmente reconhecidas, que possa servir tanto como material didático para os professores das diferentes subáreas e níveis da Filosofia quanto como material de estudo para o desenvolvimento pesquisas relevantes na área. Nós, professores, sabemos o quão difícil é encontrar bons materiais em português para indicarmos. E há uma certa deficiência na graduação brasileira de filosofia, principalmente em localizações menos favorecidas, com relação (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.
    A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to similarities (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  23. Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
    It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  24. Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  25. Logic and Formal Ontology.B. Smith - 1989 - In J. N. Mohanty & W. McKenna (eds.), Husserl’s Phenomenology: A Textbook. Lanham: University Press of America. pp. 29-67.
    The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of cognitive subjects. (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  26. Existential Quantifier, Logic and the Christian Trinitarian Monotheism: An Investigation of a Relationship Between Formal Sciences and Philosophy of Religion.Paulo Júnio de Oliveira - 2017 - Revista Brasileira de Filosofia da Religião 4 (2):134-151.
    This article discusses a relation between the formal science of logical semantics and some monotheistic, polytheistic and Trinitarian Christian notions. This relation appears in the use of the existential quantifier and of logical-modal notions when some monotheistic and polytheistic concepts and, principally, the concept of Trinity Dogma are analyzed. Thus, some presupposed modal notions will appear in some monotheistic propositions, such as the notion of “logically necessary”. From this, it will be shown how the term “God” is a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Truthmaker Semantics for Relevant Logic.Mark Jago - 2020 - Journal of Philosophical Logic 49 (4):681-702.
    I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  28. Logic for Exact Entailment.Kit Fine & Mark Jago - 2018 - Review of Symbolic Logic:1-21.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  29.  90
    Investigating Subsumption in DL-Based Terminologies: A Case Study in SNOMED CT.Olivier Bodenreider, Barry Smith, Anand Kumar & Anita Burgun - 2004 - In Proceedings of the First International Workshop on Formal Biomedical Knowledge Representation (KR-MED 2004). pp. 12-20.
    Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  30. Deontic Logics Based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - forthcoming - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Springer.
    Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  31. Impossible Worlds and Logical Omniscience: An Impossibility Result.Jens Christian Bjerring - 2013 - Synthese 190 (13):2505-2524.
    In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  32. Abstract Logic of Oppositions.Fabien Schang - 2012 - Logic and Logical Philosophy 21 (4):415--438.
    A general theory of logical oppositions is proposed by abstracting these from the Aristotelian background of quantified sentences. Opposition is a relation that goes beyond incompatibility (not being true together), and a question-answer semantics is devised to investigate the features of oppositions and opposites within a functional calculus. Finally, several theoretical problems about its applicability are considered.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  33. Logic and Formal Ontology.Barry Smith - 2000 - Manuscrito 23 (2):275-323.
    Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  34. Kites, Models and Logic: Susan Sterrett Investigates Models in Wittgenstein's World.Susan G. Sterrett - 2008/9 - Interview About Book for SimplyCharly.Com.
    This is the text of Dr. Sterrett's replies to an interviewer's questions for simplycharly.com, a website with interviews by academics on various authors, philosophers, and scientists.
    Download  
     
    Export citation  
     
    Bookmark  
  35.  63
    The Logical Strength of Compositional Principles.Richard Heck - 2018 - Notre Dame Journal of Formal Logic 59 (1):1-33.
    This paper investigates a set of issues connected with the so-called conservativeness argument against deflationism. Although I do not defend that argument, I think the discussion of it has raised some interesting questions about whether what I call “compositional principles,” such as “a conjunction is true iff its conjuncts are true,” have substantial content or are in some sense logically trivial. The paper presents a series of results that purport to show that the compositional principles for a first-order language, taken (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Vagueness, Logic and Use: Four Experimental Studies on Vagueness.Phil Serchuk, Ian Hargreaves & Richard Zach - 2011 - Mind and Language 26 (5):540-573.
    Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  37. Some Investigations on mbC and mCi.Marcelo E. Coniglio & Tarcísio G. Rodrígues - 2014 - In Cezar A. Mortari (ed.), Tópicos de lógicas não clássicas. NEL/UFSC. pp. 11-70.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. A Logic for Frege's Theorem.Richard Heck - 2011 - In Frege’s Theorem: An Introduction. Oxford University Press.
    It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  39. Co-Constructive Logic for Proofs and Refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.
    This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not want to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Parts and Moments. Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
    A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  41. Gerhard Schurz, The Is-Ought Problem: An Investigation in Philosophical Logic.C. Pigden - 2001 - Australasian Journal of Philosophy 79 (4):578-579.
    Book Information The Is-Ought Problem: An Investigation in Philosophical Logic. By Gerhard Schurz. Kluwer. Dordrecht. 1997. Pp. x + 332. £92.25.
    Download  
     
    Export citation  
     
    Bookmark  
  42. First-Order Modal Logic in the Necessary Framework of Objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
    I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  43. Triviality Results and the Relationship Between Logical and Natural Languages.Justin Khoo & Matthew Mandelkern - 2019 - Mind 128 (510):485-526.
    Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  44. The Problem of Logical Omniscience, the Preface Paradox, and Doxastic Commitments.Niels Skovgaard-Olsen - 2017 - Synthese 194 (3):917-939.
    The main goal of this paper is to investigate what explanatory resources Robert Brandom’s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. One such case in particular (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. INVESTIGATING KNOWLEDGE AND OPINION.John Corcoran - 2014 - In A. Buchsbaum A. Koslow (ed.), The Road to Universal Logic. Vol. I. SPRINGER. pp. 95-126.
    This work treats the correlative concepts knowledge and opinion, in various senses. In all senses of ‘knowledge’ and ‘opinion’, a belief known to be true is knowledge; a belief not known to be true is opinion. In this sense of ‘belief’, a belief is a proposition thought to be true—perhaps, but not necessarily, known to be true. All knowledge is truth. Some but not all opinion is truth. Every proposition known to be true is believed to be true. Some but (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  92
    Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2010 - Annals of Pure and Applied Logic 161 (3):289-304.
    In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  47. What is Logical Form?Ernest Lepore & Kirk Ludwig - 2002 - In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Clarendon Press. pp. 54--90.
    Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  48. An Arithmetization of Logical Oppositions.Fabien Schang - 2016 - In Jean-Yves Beziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Bâle, Suisse: pp. 215-237.
    An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Translations Between Logical Systems: A Manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.
    The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  50. Some Connections Between Epistemic Logic and the Theory of Nonadditive Probability.Philippe Mongin - 1992 - In Paul Humphreys (ed.), Patrick Suppes: Scientific Philosopher. Dordrecht: Kluwer. pp. 135-171.
    This paper is concerned with representations of belief by means of nonadditive probabilities of the Dempster-Shafer (DS) type. After surveying some foundational issues and results in the D.S. theory, including Suppes's related contributions, the paper proceeds to analyze the connection of the D.S. theory with some of the work currently pursued in epistemic logic. A preliminary investigation of the modal logic of belief functions à la Shafer is made. There it is shown that the Alchourrron-Gärdenfors-Makinson (A.G.M.) logic of belief change (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 1000