Results for 'Y. Hodé'

936 found
Order:
  1. Ontological Commitments, Thick and Thin.Harold T. Hodes - 1990 - In George Boolos (ed.), Method, Reason and Language: Essays in Honor of Hilary Putnam. Cambridge University Press. pp. 235-260.
    Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  2. Three Value Logics: An Introduction, A Comparison of Various Logical Lexica and Some Philosophical Remarks.Harold Hodes - 1989 - Annals of Pure and Applied Logic 43 (2):99-145.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  3. Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.
    This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  4. One-step Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):837-872.
    This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Logicism and the ontological commitments of arithmetic.Harold T. Hodes - 1984 - Journal of Philosophy 81 (3):123-149.
    Download  
     
    Export citation  
     
    Bookmark   125 citations  
  6. "The 'Causes' of the Hard Problem".Greg P. Hodes - 2019 - Neuroquantology 16 (9):46-49.
    This note calls attention to the fact that efficient causes – the sort of cause that changes something or makes something happen – can play no constitutive role in the immediate, cognitively conscious relation between cognitive subject and a cognit-ive object. It notes that: (1) it is a necessary condition for an efficient causal relation that it alter its relata; and (2) it is a necessary condition for a conscious cognitive relat-ion that it does not alter its relata. This has (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. On The Sense and Reference of A Logical Constant.Harold Hodes - 2004 - Philosophical Quarterly 54 (214):134-165.
    Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  8. One-Step Modal Logics, Intuitionistic and Classical, Part 2.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):873-910.
    Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. On modal logics which enrich first-order S5.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (4):423 - 454.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  10. Some theorems on the expressive limitations of modal languages.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):13 - 26.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  11. The composition of Fregean thoughts.Harold T. Hodes - 1982 - Philosophical Studies 41 (2):161 - 178.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  12. Intentional Structure and the Identity Theory of Knowledge in Bernard Lonergan: A Problem with Rational Self-Appropriation.Greg P. Hodes - 2002 - International Philosophical Quarterly 42 (4):437-452.
    Bernard Lonergan has argued for a theory of cognition that is transcendentally secure, that is, one such that any plausible attempt to refute it must presuppose its correctness, and one that also grounds a correct metaphysics and ontology. His proposal combines an identity theory of knowledge with an intentional relation between knower and known. It depends in a crucial way upon an appropriation of one’s own cognitional motives and acts, that is, upon “knowing one’s own knowing.” I argue that because (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Adieu BonJour: Getting Cognitive Possession of "Getting Cognitive Possession".Greg Hodes - unknown
    In this paper I argue that Bonjour’s claim that empirical beliefs can only be justified by other empirical beliefs and his use of non-normative “spontaneous empirical beliefs” and the “The Doxastic Preumption” fail to solve the problems of coherence theory. I propose a justification of empirical (and other beliefs) based on the work of B. Lonergan.
    Download  
     
    Export citation  
     
    Bookmark  
  14. The Modal Theory Of Pure Identity And Some Related Decision Problems.Harold T. Hodes - 1984 - Mathematical Logic Quarterly 30 (26-29):415-423.
    Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.
    Download  
     
    Export citation  
     
    Bookmark  
  15. Where do sets come from?Harold T. Hodes - 1991 - Journal of Symbolic Logic 56 (1):150-175.
    A model-theoretic approach to the semantics of set-theoretic discourse.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  16. An Exact Pair for the Arithmetic Degrees Whose Join is Not a Weak Uniform Upper Bound.Harold T. Hodes - 1982 - Recursive Function Theory-Newsletters 28.
    Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Individual-actualism and three-valued modal logics, part 1: Model-theoretic semantics.Harold T. Hodes - 1986 - Journal of Philosophical Logic 15 (4):369 - 401.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Lonergan and perceptual direct realism: Facing up to the problem of the external material world.Greg Hodes - 2007 - International Philosophical Quarterly 47 (2):203-220.
    In this paper I call attention to the fact that Lonergan gives two radically opposed accounts of how sense perception relates us to the external world and of how we know that this relation exists. I argue that the position that Lonergan characteristically adopts is not the one implied by what is most fundamental in his theory of cognition. I describe the initial epistemic position with regard to the problem of skepticism about the external material world that is in fact (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Axioms for actuality.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):27 - 34.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  20. What would it "be like" to solve the hard problem?: Cognition, consciousness, and qualia zombies.Greg P. Hodes - 2005 - Neuroquantology 3 (1):43-58.
    David Chalmers argues that consciousness -- authentic, first-person, conscious consciousness -- cannot be reduced to brain events or to any physical event, and that efforts to find a workable mind-body identity theory are, therefore, doomed in principle. But for Chalmers and non-reductionist in general consciousness consists exclusively, or at least paradigmatically, of phenomenal or qualia-consciousness. This results in a seriously inadequate understanding both of consciousness and of the “hard problem.” I describe other, higher-order cognitional events which must be conscious if (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Jumping through the transfinite: The master code hierarchy of Turing degrees.Harold T. Hodes - 1980 - Journal of Symbolic Logic 45 (2):204-220.
    Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Upper bounds on locally countable admissible initial segments of a Turing degree hierarchy.Harold T. Hodes - 1981 - Journal of Symbolic Logic 46 (4):753-760.
    Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is based on (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Finite level borel games and a problem concerning the jump hierarchy.Harold T. Hodes - 1984 - Journal of Symbolic Logic 49 (4):1301-1318.
    Download  
     
    Export citation  
     
    Bookmark  
  24. Individual-actualism and three-valued modal logics, part 2: Natural-deduction formalizations.Harold T. Hodes - 1987 - Journal of Philosophical Logic 16 (1):17 - 63.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Corrections to "where do sets come from?".Harold T. Hodes - 1991 - Journal of Symbolic Logic 56 (4):1486.
    Download  
     
    Export citation  
     
    Bookmark  
  26. Well-behaved modal logics.Harold T. Hodes - 1984 - Journal of Symbolic Logic 49 (4):1393-1402.
    Download  
     
    Export citation  
     
    Bookmark  
  27. Uniform Upper Bounds on Ideals of Turing Degrees.Harold T. Hodes - 1978 - Journal of Symbolic Logic 43 (3):601-612.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Cut-conditions on sets of multiple-alternative inferences.Harold T. Hodes - 2022 - Mathematical Logic Quarterly 68 (1):95 - 106.
    I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Clearing the Ground: How to Think about Realism and Antirelaism.Greg P. Hodes - manuscript
    Download  
     
    Export citation  
     
    Bookmark  
  30. More about uniform upper Bounds on ideals of Turing degrees.Harold T. Hodes - 1983 - Journal of Symbolic Logic 48 (2):441-457.
    Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. (1 other version)Cardinality logics. Part II: Definability in languages based on `exactly'.Harold Hodes - 1988 - Journal of Symbolic Logic 53 (3):765-784.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Stewart Shapiro’s Philosophy of Mathematics[REVIEW]Harold Hodes - 2002 - Philosophy and Phenomenological Research 65 (2):467–475.
    Two slogans define structuralism: contemporary mathematics studies structures; mathematical objects are places in those structures. Shapiro’s version of structuralism posits abstract objects of three sorts. A system is “a collection of objects with certain relations” between these objects. “An extended family is a system of people with blood and marital relationships.” A baseball defense, e.g., the Yankee’s defense in the first game of the 1999 World Series, is a also a system, “a collection of people with on-field spatial and ‘defensive-role’ (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Husserl: Cientificismo, reducciones y "conciencia purificada". Abordar la polémica husserliana un siglo después.Rodrigo Y. Sandoval - 2016 - Studia Heideggeriana 5:217-254.
    En atención a las críticas de la autointerpretación teórica heideggeriana, abordaremos tres temas fundamentales posteriores al “giro” trascendental husserliano. A la luz de la interpretación contemporánea, buscaremos evitar los lugares comunes de la crítica a Husserl, en aras de una discusión más sofisticada en torno al método fenomenológico. /// Considering the most extended arguments of Martin Heidegger against the transcendental " turn " of Phenomenology, we will approach to three main characters of this sui generis transcendentalism. In light of contemporary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Causation and Explanation in Phenotype Research.Özlem Yılmaz - 2017 - Balkan Journal of Philosophy 9 (1):63-70.
    A phenome occurs through the many pathways of the complex net of interaction between the phenome and its environment; therefore researching and understanding how it arises requires investigation into many possible causes that are in constant interaction with each other. The most comprehensive investigations in biology are the ones in which many biologists from different sub-areas—evolutionary biology, developmental biology, molecular biology, physiology, genetics, epigenetics, ecology—have collaborated. Still, biologists do not always need to collaborate or look for the most comprehensive explanations. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Intervention, Causal Reasoning, and the Neurobiology of Mental Disorders: Pharmacological Drugs as Experimental Instruments.Jonathan Y. Tsou - 2012 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 43 (2):542-551.
    In psychiatry, pharmacological drugs play an important experimental role in attempts to identify the neurobiological causes of mental disorders. Besides being developed in applied contexts as potential treatments for patients with mental disorders, pharmacological drugs play a crucial role in research contexts as experimental instruments that facilitate the formulation and revision of neurobiological theories of psychopathology. This paper examines the various epistemic functions that pharmacological drugs serve in the discovery, refinement, testing, and elaboration of neurobiological theories of mental disorders. I (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  36. “Omnis determinatio est negatio” – Determination, Negation and Self-Negation in Spinoza, Kant, and Hegel.Yitzhak Y. Melamed - 2012 - In Eckart Förster & Yitzhak Y. Melamed (eds.), Spinoza and German Idealism. New York: Cambridge University Press.
    Spinoza ’s letter of June 2, 1674 to his friend Jarig Jelles addresses several distinct and important issues in Spinoza ’s philosophy. It explains briefly the core of Spinoza ’s disagreement with Hobbes’ political theory, develops his innovative understanding of numbers, and elaborates on Spinoza ’s refusal to describe God as one or single. Then, toward the end of the letter, Spinoza writes: With regard to the statement that figure is a negation and not anything positive, it is obvious that (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  37. The Building Blocks of Spinoza’s Metaphysics: Substance, Attributes and Modes.Yitzhak Y. Melamed - 2013 - In Michael Della Rocca (ed.), The Oxford Handbook of Spinoza. New York: Oxford University Press. pp. 84-113.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  38. Why Spinoza is Not an Eleatic Monist (Or Why Diversity Exists).Yitzhak Y. Melamed - 2011 - In Philip Goff (ed.), Spinoza on Monism. Houndmills, Basingstoke, Hampshire: Palgrave-Macmillan.
    “Why did God create the World?” is one of the traditional questions of theology. In the twentieth century this question was rephrased in a secularized manner as “Why is there something rather than nothing?” While creation - at least in its traditional, temporal, sense - has little place in Spinoza’s system, a variant of the same questions puts Spinoza’s system under significant pressure. According to Spinoza, God, or the substance, has infinitely many modes. This infinity of modes follow from the (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  39. One Ethic for Three Faiths.Y. Tzvi Langermann - 2011 - In Monotheism and Ethics. Brill.
    Discussion of a short text on ethics, originally Greek, translated into Arabic and Hebrew, and adopted by some Christians, Muslims and Jews for guiding their lives.
    Download  
     
    Export citation  
     
    Bookmark  
  40. An Expert System for Diagnosing Shortness of Breath in Infants and Children.Jihan Y. AbuEl-Reesh & Samy S. Abu-Naser - 2018 - International Journal of Engineering and Information Systems (IJEAIS) 1 (4):89-101.
    Background: With the coming of the Industrial Revolution, the levels of pollution grow significantly. This Technological development contributed to the worsening of shortness breath problems in great shape. especially in infants and children. There are many shortness breath diseases that infants and children face in their lives. Shortness of breath is one of a very serious symptom in children and infants and should never be ignored. Objectives: Along these lines, the main goal of this expert system is to help physician (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  41. Spinoza's Deification of Existence.Yitzhak Y. Melamed - 2013 - Oxford Studies in Early Modern Philosophy 6:75-104.
    The aim of this paper is to clarify Spinoza’s views on some of the most fundamental issues of his metaphysics: the nature of God’s attributes, the nature of existence and eternity, and the relation between essence and existence in God. While there is an extensive literature on each of these topics, it seems that the following question was hardly raised so far: What is, for Spinoza, the relation between God’s existence and the divine attributes? Given Spinoza’s claims that there are (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  42. Spinoza's Anti-Humanism.Yitzhak Y. Melamed - 2011 - In Smith Justin & Fraenkel Carlos (eds.), The Rationalists. Springer/Synthese.
    A common perception of Spinoza casts him as one of the precursors, perhaps even founders, of modern humanism and Enlightenment thought. Given that in the twentieth century, humanism was commonly associated with the ideology of secularism and the politics of liberal democracies, and that Spinoza has been taken as voicing a “message of secularity” and as having provided “the psychology and ethics of a democratic soul” and “the decisive impulse to… modern republicanism which takes it bearings by the dignity of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  43. “Spinoza’s Metaphysics of Substance”.Y. Melamed Yitzhak - 2021 - In Garrett Don (ed.), Don Garrett (ed.), The Cambridge Companion to Spinoza. 2nd edition. Cambridge: Cambridge University Press, forthcoming. Cambridge UP. pp. 61-112.
    ‘Substance’ (substantia, zelfstandigheid) is a key term of Spinoza’s philosophy. Like almost all of Spinoza’s philosophical vocabulary, Spinoza did not invent this term, which has a long history that can be traced back at least to Aristotle. Yet, Spinoza radicalized the traditional notion of substance and made a very powerful use of it by demonstrating – or at least attempting to demonstrate -- that there is only one, unique substance -- God (or Nature) -- and that all other things are (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. “They Did Not Walk the Green Talk!:” How Information Specificity Influences Consumer Evaluations of Disconfirmed Environmental Claims.Davide C. Orazi & Eugene Y. Chan - 2020 - Journal of Business Ethics 163 (1):107-123.
    While environmental claims are increasingly used by companies to appeal consumers, they also attract greater scrutiny from independent parties interested in consumer protection. Consumers are now able to compare corporate environmental claims against external, often disconfirming, information to form their brand attitudes and purchase intentions. What remains unclear is how the level of information specificity of both the environmental claims and external disconfirming information interact to influence consumer reactions. Two experiments address this gap in the CSR communication literature. When specific (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  45. Philosophy of Psychiatry.Jonathan Y. Tsou - 2021 - Cambridge: Cambridge University Press.
    Jonathan Y. Tsou examines and defends positions on central issues in philosophy of psychiatry. The positions defended assume a naturalistic and realist perspective and are framed against skeptical perspectives on biological psychiatry. Issues addressed include the reality of mental disorders; mechanistic and disease explanations of abnormal behavior; definitions of mental disorder; natural and artificial kinds in psychiatry; biological essentialism and the projectability of psychiatric categories; looping effects and the stability of mental disorders; psychiatric classification; and the validity of the DSM's (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  46. The metaphysics of the Theological-Political Treatise.Yitzhak Y. Melamed - 2010 - In Yitzhak Y. Melamed & Michael A. Rosenthal (eds.), Spinoza's 'Theological-Political Treatise': A Critical Guide. New York: Cambridge University Press.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  47. Genetic Epistemology and Piaget's Philosophy of Science: Piaget vs. Kuhn on Scientific Progress.Jonathan Y. Tsou - 2006 - Theory and Psychology 16 (2):203-224.
    This paper concerns Jean Piaget's (1896–1980) philosophy of science and, in particular, the picture of scientific development suggested by his theory of genetic epistemology. The aims of the paper are threefold: (1) to examine genetic epistemology as a theory concerning the growth of knowledge both in the individual and in science; (2) to explicate Piaget's view of ‘scientific progress’, which is grounded in his theory of equilibration; and (3) to juxtapose Piaget's notion of progress with Thomas Kuhn's (1922–1996). Issues of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48. “’Christus secundum spiritum’: Spinoza, Jesus, and the Infinite Intellect”.Yitzhak Y. Melamed - 2012 - In Neta Stahl (ed.), The Jewish Jesus. Routledge.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. To Be 65 Years Old in Turkey: Is It the End of Being an Individual and Competent?Abdullah Yıldız - 2018 - Türkiye Biyoetik Dergisi 5 (3):117-125.
    INTRODUCTION[|]It can be thought that ethical problems will rise as the population gets older. Issues such as competence and autonomy of the elderly are among the rising ehtical problems. The fact people aged 65 and over are being questioned about their competence, is an ethical problem in Turkey and this issue is discussed in this work. [¤]METHODS[|]Many institutions subject people over 65 to adequacy audit in decision making stage and this is repeated for every new situation. As a result of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. La tradition allemande dans la philosophie, de Alain Badiou y Jean-Luc Nancy. [REVIEW]Rodrigo Y. Sandoval - 2018 - Mutatis Mutandis 11:161-164.
    Reseña en español del diálogo entre A. Badiou y J.-L. Nancy, editado por Jan Völker y publicado en 2017.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 936