Results for 'C. Farrington'

965 found
Order:
  1. True believers : The intentional strategy and why it works.Daniel C. Dennett - 1981 - In Anthony Francis Heath (ed.), Scientific explanation: papers based on Herbert Spencer lectures given in the University of Oxford. Oxford: Clarendon Press. pp. 150--167.
    Download  
     
    Export citation  
     
    Bookmark   137 citations  
  2. (1 other version)Future progress in artificial intelligence: A survey of expert opinion.Vincent C. Müller & Nick Bostrom - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer. pp. 553-571.
    There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  3. Fiat and Bona Fide Boundaries.Barry Smith & Achille C. Varzi - 2000 - Philosophy and Phenomenological Research 60 (2):401-420.
    There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...)
    Download  
     
    Export citation  
     
    Bookmark   89 citations  
  4. Autonomous killer robots are probably good news.Vincent C. Müller - 2016 - In Ezio Di Nucci & Filippo Santoni de Sio (eds.), Drones and Responsibility: Legal, Philosophical and Socio-Technical Perspectives on the Use of Remotely Controlled Weapons. Routledge. pp. 67-81.
    Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  5. Frege and the Logic of Sense and Reference.Kevin C. Klement - 2001 - New York: Routledge.
    This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...)
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  6. Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.Achille C. Varzi - 1996 - Data and Knowledge Engineering 20:259–286.
    We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  7. The niche.Barry Smith & Achille C. Varzi - 1999 - Noûs 33 (2):214-238.
    The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  8. Mechanisms and Laws: Clarifying the Debate.Marie I. Kaiser & C. F. Craver - 2013 - In Hsiang-Ke Chao, Szu-Ting Chen & Roberta L. Millstein (eds.), Mechanism and Causality in Biology and Economics. Dordrecht: Springer. pp. 125-145.
    Leuridan (2011) questions whether mechanisms can really replace laws at the heart of our thinking about science. In doing so, he enters a long-standing discussion about the relationship between the mech-anistic structures evident in the theories of contemporary biology and the laws of nature privileged especially in traditional empiricist traditions of the philosophy of science (see e.g. Wimsatt 1974; Bechtel and Abrahamsen 2005; Bogen 2005; Darden 2006; Glennan 1996; MDC 2000; Schaffner 1993; Tabery 2003; Weber 2005). In our view, Leuridan (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  9. Boundaries, continuity, and contact.Achille C. Varzi - 1997 - Noûs 31 (1):26-58.
    There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  10. Neutral Monism Reconsidered.Erik C. Banks - 2010 - Philosophical Psychology 23 (2):173-187.
    Neutral monism is a position in metaphysics defended by Mach, James, and Russell in the early twentieth century. It holds that minds and physical objects are essentially two different orderings of the same underlying neutral elements of nature. This paper sets out some of the central concepts, theses and the historical background of ideas that inform this doctrine of elements. The discussion begins with the classic neutral monism of Mach, James, and Russell in the first part of the paper, then (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  11. Vagueness in Geography.Achille C. Varzi - 2001 - Philosophy and Geography 4 (1):49–65.
    Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  12. Hypothetical motivation.Donald C. Hubin - 1996 - Noûs 30 (1):31-54.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  13. New developments in the philosophy of AI.Vincent C. Müller - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer.
    The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  14. What’s Special about Humeanism.Donald C. Hubin - 1999 - Noûs 33 (1):30-45.
    One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  15. Irrational desires.Donald C. Hubin - 1991 - Philosophical Studies 62 (1):23 - 44.
    Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  16. Introduction.Robert C. Koons & George Bealer - 2010 - In Robert C. Koons & George Bealer (eds.), The waning of materialism. New York: Oxford University Press.
    In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  17. Statistical mechanics and thermodynamics: A Maxwellian view.Wayne C. Myrvold - 2011 - Studies in History and Philosophy of Science Part A 42 (4):237-243.
    One finds, in Maxwell's writings on thermodynamics and statistical physics, a conception of the nature of these subjects that differs in interesting ways from the way that they are usually conceived. In particular, though—in agreement with the currently accepted view—Maxwell maintains that the second law of thermodynamics, as originally conceived, cannot be strictly true, the replacement he proposes is different from the version accepted by most physicists today. The modification of the second law accepted by most physicists is a probabilistic (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  18. (2 other versions)Perceptual Integration, Modularity, and Cognitive Penetration.Daniel C. Burnston & Jonathan Cohen - 2015 - In John Zeimbekis & Athanassios Raftopoulos (eds.), The Cognitive Penetrability of Perception: New Philosophical Perspectives. Oxford: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  19. The Universe among Other Things.Achille C. Varzi - 2006 - Ratio 19 (1):107–120.
    Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  20. Events and Event Talk: An Introduction.Fabio Pianesi & Achille C. Varzi - 2000 - In James Higginbotham, Fabio Pianesi & Achille C. Varzi (eds.), Speaking of events. New York: Oxford University Press. pp. 3–47.
    A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  21. Why We Still Need Knowledge of Language.Barry C. Smith - 2006 - Croatian Journal of Philosophy 6 (3):431-456.
    In his latest book, Michael Devitt rejects Chomsky’s mentalist conception of linguistics. The case against Chomsky is based on two principal claims. First, that we can separate the study of linguistic competence from the study of its outputs: only the latter belongs to linguistic inquiry. Second, Chomsky’s account of a speaker’s competence as consisiting in the mental representation of rules of a grammar for his language is mistaken. I shall argue, first, that Devitt fails to make a case for separating (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  22. Pancomputationalism: Theory or metaphor?Vincent C. Müller - 2014 - In Ruth Hagenbruger & Uwe V. Riss (eds.), Philosophy, computing and information science. Pickering & Chattoo. pp. 213-221.
    The theory that all processes in the universe are computational is attractive in its promise to provide an understandable theory of everything. I want to suggest here that this pancomputationalism is not sufficiently clear on which problem it is trying to solve, and how. I propose two interpretations of pancomputationalism as a theory: I) the world is a computer and II) the world can be described as a computer. The first implies a thesis of supervenience of the physical over computation (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  23. Kant, Herbart and Riemann.Erik C. Banks - 2005 - Kant Studien 96 (2):208-234.
    A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  24. Reasoning about Space: The Hole Story.Achille C. Varzi - 1996 - Logic and Logical Philosophy 4:3-39.
    This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  25. Promiscuous Endurantism and Diachronic Vagueness.Achille C. Varzi - 2007 - American Philosophical Quarterly 44 (2):181-189.
    According to a popular line of reasoning, diachronic vagueness creates a problem for the endurantist conception of persistence. Some authors have replied that this line of reasoning is inconclusive, since the endurantist can subscribe to a principle of Diachronic Unrestricted Composition (DUC) that is perfectly parallel to the principle required by the perdurantist’s semantic account. I object that the endurantist should better avoid DUC. And I argue that even DUC, if accepted, would fail to provide the endurantist with the necessary (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  26. Individual and Collective Responsibility.Andrew C. Khoury - 2017 - In Zachary J. Goldberg (ed.), Reflections on Ethics and Responsibility: Essays in Honor of Peter A. French. Cham: Springer. pp. 1-20.
    Building on Peter French’s important work, this chapter draws three distinctions that arise in the context of attributions of moral responsibility, understood as the extent to which an agent is blameworthy or praiseworthy. First, the subject of an attribution of responsibility may be an individual agent or a collective agent. Second, the object of the responsibility attribution may be an individual action (or consequence) or a collective action (or consequence). The third distinction concerns the temporal dimension of the responsibility attribution. (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  27. Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's response adequate?Kevin C. Klement - 2001 - History and Philosophy of Logic 22 (1):13-28.
    In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  28. Unsharpenable Vagueness.John Collins & Achille C. Varzi - 2000 - Philosophical Topics 28 (1):1-10.
    A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  29. Cost Benefit Analysis and the Environment.N. Hanley & C. Spash - 1996 - Environmental Values 5 (2):182-183.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Russell, His Paradoxes, and Cantor's Theorem: Part II.Kevin C. Klement - 2010 - Philosophy Compass 5 (1):29-41.
    Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  31. Representation in digital systems.Vincent C. Müller - 2008 - In P. Brey, A. Briggle & K. Waelbers (eds.), Current Issues in Computing and Philosophy. IOS Press. pp. 116-121.
    Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case or digital (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  32. Biocomplexity: A pluralist research strategy is necessary for a mechanistic explanation of the "live" state.F. J. Bruggeman, H. V. Westerhoff & F. C. Boogerd - 2002 - Philosophical Psychology 15 (4):411 – 440.
    The biological sciences study (bio)complex living systems. Research directed at the mechanistic explanation of the "live" state truly requires a pluralist research program, i.e. BioComplexity research. The program should apply multiple intra-level and inter-level theories and methodologies. We substantiate this thesis with analysis of BioComplexity: metabolic and modular control analysis of metabolic pathways, emergence of oscillations, and the analysis of the functioning of glycolysis.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  33. (1 other version)Particulars and their qualities.Douglas C. Long - 1968 - Philosophical Quarterly 18 (72):193-206.
    Berkeley, Hume, and Russell rejected the traditional analysis of substances in terms of qualities which are supported by an "unknowable substratum." To them the proper alternative seemed obvious. Eliminate the substratum in which qualities are alleged to inhere, leaving a bundle of coexisting qualities--a view that we may call the Bundle Theory or BT. But by rejecting only part of the traditional substratum theory instead of replacing it entirely, Bundle Theories perpetuate certain confusions which are found in the Substratum Doctrine. (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  34. The Best Question.Achille C. Varzi - 2001 - Journal of Philosophical Logic 30 (3):251-258.
    Suppose we get a chance to ask an angel a question of our choice. What should we ask to make the most of our unique opportunity? Ned Markosian has shown that the task is trickier than it might seem. Ted Sider has suggested playing safe and asking: What is the true proposition (or one of the true propositions) that would be most beneficial for us to be told? Let's see whether we can do any better than that.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Russell, His Paradoxes, and Cantor's Theorem: Part I.Kevin C. Klement - 2010 - Philosophy Compass 5 (1):16-28.
    In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  36. The Quest for universality: Reflections on the universal draft declaration on bioethics and human rights.Mary C. Rawlinson & Anne Donchin - 2005 - Developing World Bioethics 5 (3):258–266.
    ABSTRACT This essay focuses on two underlying presumptions that impinge on the effort of UNESCO to engender universal agreement on a set of bioethical norms: the conception of universality that pervades much of the document, and its disregard of structural inequalities that significantly impact health. Drawing on other UN system documents and recent feminist bioethics scholarship, we argue that the formulation of universal principles should not rely solely on shared ethical values, as the draft document affirms, but also on differences (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  37. Supervaluationism and Paraconsistency.Achille C. Varzi - 2000 - In Diderik Batens, Chris Mortensen, Graham Priest & Jean Paul Van Bendegem (eds.), Frontiers in Paraconsistent Logic. Research Studies Press. pp. 279–297.
    Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  38. Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin C. Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.
    It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  39. The number of senses.Kevin C. Klement - 2003 - Erkenntnis 58 (3):303 - 323.
    Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  40. Hinduism.R. C. Zaehner - 1964 - Tijdschrift Voor Filosofie 26 (1):143-143.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  41. The self-defeating character of skepticism.Douglas C. Long - 1992 - Philosophy and Phenomenological Research 52 (1):67-84.
    An important source of doubt about our knowledge of the "external world" is the thought that all of our sensory experience could be delusive without our realizing it. Such wholesale questioning of the deliverances of all forms of perception seems to leave no resources for successfully justifying our belief in the existence of an objective world beyond our subjective experiences. I argue that there is there is a fatal flaw in the very expression of philosophical doubt about the "external world." (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  42. (1 other version)Conjunction and Contradiction.Achille C. Varzi - 2004 - In Graham Priest, Jc Beall & Bradley P. Armour-Garb (eds.), The law of non-contradiction : new philosophical essays. New York: Oxford University Press. pp. 93–110.
    There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  43. Basic Problems of Mereotopology.Achille C. Varzi - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 29–38.
    Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  44. What Makes Logical Truths True?Constantin C. Brîncuș - 2016 - Logos and Episteme 7 (3): 249-272.
    The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Editorial: Risks of general artificial intelligence.Vincent C. Müller - 2014 - Journal of Experimental and Theoretical Artificial Intelligence 26 (3):297-301.
    This is the editorial for a special volume of JETAI, featuring papers by Omohundro, Armstrong/Sotala/O’Heigeartaigh, T Goertzel, Brundage, Yampolskiy, B. Goertzel, Potapov/Rodinov, Kornai and Sandberg. - If the general intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity – so even if we estimate the probability of this event to be fairly low, it is necessary to think about it now. We need to estimate what progress we can expect, what (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Spinoza, Bennett, and Teleology.Lee C. Rice - 1985 - Southern Journal of Philosophy 23 (2):241-253.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Hilpinen's rules of acceptance and inductive logic.Alex C. Michalos - 1971 - Philosophy of Science 38 (2):293-302.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Polynomial ring calculus for modal logics: A new semantics and proof method for modalities: Polynomial ring calculus for modal logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Simple or complex bodies? Trade-offs in exploiting body morphology for control.Matej Hoffmann & Vincent C. Müller - 2017 - In Gordana Dodig-Crnkovic & Raffaela Giovagnoli (eds.), Representation of Reality: Humans, Other Living Organism and Intelligent Machines. Heidelberg: Springer. pp. 335-345.
    Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. A Cantorian argument against Frege's and early Russell's theories of descriptions.Kevin C. Klement - 2008 - In Nicholas Griffin & Dale Jacquette (eds.), Russell Vs. Meinong: The Legacy of "on Denoting". London and New York: Routledge. pp. 65-77.
    It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and his rejection (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 965