Results for 'machine assertion'

967 found
Order:
  1.  23
    Proxy Assertions and Agency: The Case of Machine-Assertions.Chirag Arora - 2024 - Philosophy and Technology 37 (1):1-19.
    The world is witnessing a rise in speech-enabled devices serving as epistemic informants to their users. Some philosophers take the view that because the utterances produced by such machines can be phenomenologically similar to an equivalent human speech, and they may deliver the same function in terms of delivering content to their audience, such machine utterances should be conceptualized as “assertions”. This paper argues against this view and highlights the theoretical and pragmatic challenges faced by such a conceptualization which (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Can Artificial Entities Assert?Ori Freiman & Boaz Miller - 2018 - In Sanford Goldberg (ed.), The Oxford Handbook of Assertion. Oxford University Press. pp. 415-436.
    There is an existing debate regarding the view that technological instruments, devices, or machines can assert ‎or testify. A standard view in epistemology is that only humans can testify. However, the notion of quasi-‎testimony acknowledges that technological devices can assert or testify under some conditions, without ‎denying that humans and machines are not the same. Indeed, there are four relevant differences between ‎humans and instruments. First, unlike humans, machine assertion is not imaginative or playful. Second, ‎machine (...) is prescripted and context restricted. As such, computers currently cannot easily switch ‎contexts or make meaningful relevant assertions in contexts for which they were not programmed. Third, ‎while both humans and computers make errors, they do so in different ways. Computers are very sensitive to ‎small errors in input, which may cause them to make big errors in output. Moreover, automatic error control ‎is based on finding irregularities in data without trying to establish whether they make sense. Fourth, ‎testimony is produced by a human with moral worth, while quasi-testimony is not. Ultimately, the notion of ‎quasi-testimony can serve as a bridge between different philosophical fields that deal with instruments and ‎testimony as sources of knowledge, allowing them to converse and agree on a shared description of reality, ‎while maintaining their distinct conceptions and ontological commitments about knowledge, humans, and ‎nonhumans.‎. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  3. Egalitarian Machine Learning.Clinton Castro, David O’Brien & Ben Schwan - 2023 - Res Publica 29 (2):237–264.
    Prediction-based decisions, which are often made by utilizing the tools of machine learning, influence nearly all facets of modern life. Ethical concerns about this widespread practice have given rise to the field of fair machine learning and a number of fairness measures, mathematically precise definitions of fairness that purport to determine whether a given prediction-based decision system is fair. Following Reuben Binns (2017), we take ‘fairness’ in this context to be a placeholder for a variety of normative egalitarian (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4. (1 other version)Minds, Machines and Gödel.J. R. Lucas - 1961 - Etica E Politica 5 (1):1.
    In this article, Lucas maintains the falseness of Mechanism - the attempt to explain minds as machines - by means of Incompleteness Theorem of Gödel. Gödel’s theorem shows that in any system consistent and adequate for simple arithmetic there are formulae which cannot be proved in the system but that human minds can recognize as true; Lucas points out in his turn that Gödel’s theorem applies to machines because a machine is the concrete instantiation of a formal system: therefore, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   166 citations  
  5.  2
    Euclid Machines.Wagner Sanz & Petrucio Viana - forthcoming - Studia Logica:1-32.
    The Book I of Euclid’s Elements begins with three propositiones that ask for the solution of three problems. Unlike other propositiones, these do not assert properties or relationships between geometric objects. In them, some of these objects are assumed as given, and actions are demanded in order to obtain other objects. The solution to this type of problem is a construction, and its foundations can be found in the definitions and postulates of the Geometry of Euclid. Furthermore, each construction is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  26
    Rejecting Amanda Machin’s Complacent Democracy.Rob Lawlor - 2017 - Environmental Ethics 39 (2):211-233.
    Machin defends a new approach to climate change, which some claim is an “original” and “lucid” contribution that will “revitalize” the debate. Drawing on Slavoj Žižek’s interpretation of parallax and Chantal Mouffe’s radical democracy, Machin focuses on negotiation rather than moral argument, arguing that we should embrace disagreement. In the process of defending her view, Machin dismisses Naomi Klein, and various moral philosophers, arguing that framing the debate in terms of moral argument is ineffective, divisive, and ultimately leads to extremism (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  15
    Which firms opt for corporate social responsibility assurance? A machine learning prediction.Ephraim Kwashie Thompson & Samuel Buertey - 2023 - Business Ethics, the Environment and Responsibility 32 (2):599-611.
    On the background of voluntary assurances made by corporations in line with the assertions in their corporate social responsibility disclosures, we investigate which types of firms will obtain an independent certification of their corporate social responsibility disclosures. The study is based on firms listed on the Johannesburg Stock Exchange (JSE) from 2015 to 2019. Deviating from traditional regression approaches, we employ machine learning techniques and show that machine learning techniques obtain superior performance compared to traditional logistic regression at (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  84
    Signs and Machines: Capitalism and the Production of Subjectivity.Maurizio Lazzarato - 2014 - MIT Press.
    An analysis of how capitalism today produces subjectivity like any other “good,” and what would allow us to escape its hold. “Capital is a semiotic operator”: this assertion by Félix Guattari is at the heart of Maurizio Lazzarato's Signs and Machines, which asks us to leave behind the logocentrism that still informs so many critical theories. Lazzarato calls instead for a new theory capable of explaining how signs function in the economy, in power apparatuses, and in the production of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  9.  11
    Language and Machine in the Philosophy of Descartes.Stephen Voss & Jean-Pierre Séris - 1993 - In Essays on the philosophy and science of René Descartes. New York: Oxford University Press.
    This chapter discusses Descartes' answers to two questions still being asked today: Can machines fully imitate the functioning and behavior of living things? Can machines think? Descartes answers the first affirmatively and the second negatively. Descartes' two categorical answers are each rooted in the principle of the substantial distinction between body and soul—that is to say, in a metaphysical argument. In the Discourse on Method he asserts that there are two very certain means of distinguishing true men from anthropoid machines (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  82
    Investigating Tree Family Machine Learning Techniques for a Predictive System to Unveil Software Defects.Rashid Naseem, Bilal Khan, Arshad Ahmad, Ahmad Almogren, Saima Jabeen, Bashir Hayat & Muhammad Arif Shah - 2020 - Complexity 2020:1-21.
    Software defects prediction at the initial period of the software development life cycle remains a critical and important assignment. Defect prediction and correctness leads to the assurance of the quality of software systems and has remained integral to study in the previous years. The quick forecast of imperfect or defective modules in software development can serve the development squad to use the existing assets competently and effectively to provide remarkable software products in a given short timeline. Hitherto, several researchers have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  27
    Algorithmic sovereignty: Machine learning, ground truth, and the state of exception.Matthew Martin - forthcoming - Philosophy and Social Criticism.
    This article examines the interplay between contemporary algorithmic security technology and the political theory of the state of exception. I argue that the exception, as both a political and a technological concept, provides a crucial way to understand the power operating through machine learning technologies used in the security apparatuses of the modern state. I highlight how algorithmic security technology, through its inherent technical properties, carries exceptions throughout its political and technological architecture. This leads me to engage with Theodor (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  22
    Timothy Moy. War Machines: Transforming Technologies in the U.S. Military, 1920–1940. xiv + 218 pp., illus., bibl., index. College Station: Texas A&M University Press, 2001. $39.95. [REVIEW]Barton Hacker - 2002 - Isis 93 (2):343-343.
    War Machines: Transforming Technologies in the U.S. Military, 1920–1940, is not as broad as its title might suggest. Timothy Moy does indeed propose a broad thesis, that institutional culture plays a large, though seldom acknowledged, role in technological innovation. But he addresses only two very particular case studies of military innovation between the world wars. The longer reviews the Army Air Force's development of the technology for precision bombing; the shorter examines the U.S. Marine Corps's development of the technology for (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  87
    What Might Machines Mean?Mitchell Green & Jan G. Michel - 2022 - Minds and Machines 32 (2):323-338.
    This essay addresses the question whether artificial speakers can perform speech acts in the technical sense of that term common in the philosophy of language. We here argue that under certain conditions artificial speakers can perform speech acts so understood. After explaining some of the issues at stake in these questions, we elucidate a relatively uncontroversial way in which machines can communicate, namely through what we call verbal signaling. But verbal signaling is not sufficient for the performance of a speech (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14. Powering decision machines with dynamo.Jan van Eijck - unknown
    Dynamic 10gic programming is the result 0f making dynamic versions 0f first order predicate 10gic executable. The main sources of inspiration for this are the dynamic variable binding strategies that have become fashionable in natural language analysis (DRT [8], Anaphora, Logic [2], DPL [7]), the idea of implementing identity assertions as assignment commands familiar from constraint programming, and more in particular from Alma,-0 [1], and the genera.] injunction to explore logical dynamics emanating from the works of J 01121,11 van Benthemw (...)
     
    Export citation  
     
    Bookmark  
  15.  46
    Are Animal Machines? Gómez Pereira and Descartes on Animal Minds.Enrique Chávez-Arvizo - unknown
    Forty two years before Descartes’ birth, in his Antoniana Margarita, Spanish physician and philosopher Gómez Pereira explicitly argues the following assertions: Animals lack reason Animals lack understanding Animals do not think Animals cannot feel Animals cannot see as we do Animals are machines Animals have no rational soul Animals have no indivisible soul Animals have no language The above claims on animal automatism are commonly thought to have originated with Descartes. In this paper I will expound Gómez Pereira’s arguments, contra (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  38
    Signs and Machines: Capitalism and the Production of Subjectivity.Joshua David Jordan (ed.) - 2014 - MIT Press.
    "Capital is a semiotic operator": this assertion by Félix Guattari is at the heart of Maurizio Lazzarato's _ Signs and Machines_, which asks us to leave behind the logocentrism that still informs so many critical theories. Lazzarato calls instead for a new theory capable of explaining how signs function in the economy, in power apparatuses, and in the production of subjectivity. Moving beyond the dualism of signifier and signified, _Signs and Machines_ shows how signs act as "sign-operators" that enter (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. An analysis of Kafka’s Penal Colony and Duchamp’s The Large Glass Through the Concepts of Abstract- Machines and Energeia.Atilla Akalın - 2017 - Medeniyet Art, IMU Art, Design and Architecture Faculty Journal, 3 (1):29-44.
    This study aims to grasp the two distinct artworks one is from the literary field: Penal Colony, written by F. Kafka and the other one is from painting: The Large Glass, designed by M. Duchamp. This text tries to unravel the similarities betwe- en these artworks in terms of two main significations around “The Officer” from Penal Colony and “The Bachelors” from The Large Glass. Because of their vital role on the re-production of status-quo, this text asserts that there is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  43
    Introduction: Busting the Hermeneutical Ghosts in the Hamlet Machine.John F. DeCarlo - 2013 - Journal of Philosophy: A Cross-Disciplinary Inquiry 8 (19):22-32.
    Busting the Hermenuetical Ghosts: Steering clear of pre-modern, Romantic, Freudian, and post-modern readings, DeCarlo asserts how Shakespeare's Hamlet text foreshadows the modern philosophical thought of Descartes, Kant, and Heidegger, particularly in regard to the intellectual issues of thought and doubt, time and action, and being and death.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19. Thinking and being: Heidegger and Wittgenstein on machination and lived-experience.Paul Livingston - 2003 - Inquiry: An Interdisciplinary Journal of Philosophy 46 (3):324 – 345.
    Heidegger's treatment of 'machination' in the Beiträge zur Philosophie begins the critique of technological thinking that would centrally characterize his later work. Unlike later discussions of technology, the critique of machination in Beiträge connects its arising to the predominance of 'lived-experience' ( Erlebnis ) as the concealed basis for the possibility of a pre-delineated, rule-based metaphysical understanding of the world. In this essay I explore this connection. The unity of machination and lived-experience becomes intelligible when both are traced to their (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
    Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turing-computable numeric functions. The Abstract State Machine Theorem states that every classical algorithm is behaviorally equivalent to an abstract state machine. This theorem presupposes three natural postulates about algorithmic computation. Here, we show that augmenting those postulates with an additional requirement regarding basic operations gives a natural axiomatization of computability and a proof (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  21.  94
    Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
    Mathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the presentation of hints and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.
    Church's thesis asserts that a number-theoretic function is intuitively computable if and only if it is recursive. A related thesis asserts that Turing's work yields a conceptual analysis of the intuitive notion of numerical computability. I endorse Church's thesis, but I argue against the related thesis. I argue that purported conceptual analyses based upon Turing's work involve a subtle but persistent circularity. Turing machines manipulate syntactic entities. To specify which number-theoretic function a Turing machine computes, we must correlate these (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  23. Robowarfare: Can robots be more ethical than humans on the battlefield? [REVIEW]John P. Sullins - 2010 - Ethics and Information Technology 12 (3):263-275.
    Telerobotically operated and semiautonomous machines have become a major component in the arsenals of industrial nations around the world. By the year 2015 the United States military plans to have one-third of their combat aircraft and ground vehicles robotically controlled. Although there are many reasons for the use of robots on the battlefield, perhaps one of the most interesting assertions are that these machines, if properly designed and used, will result in a more just and ethical implementation of warfare. This (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  24. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.
    "A valuable collection both for original source material as well as historical formulations of current problems."-- The Review of Metaphysics "Much more than a mere collection of papers . . . a valuable addition to the literature."-- Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   100 citations  
  25. Mechanism and biological explanation.Francisco Varela & Humberto Maturana - 1972 - Philosophy of Science 39 (3):378-382.
    Machines and Biology have been, since antiquity, closely related. From the zoological figures present in astronomical simulacra, through renaissance mechanical imitations of animals, through Decartes' wind pipe nerves, to present day discussions on the computer and the brain, runs a continuous thread. In fact, the very name of mechanism for an attitude of inquiry throughout the history of Biology reveals this at a philosophical level. More often than not, mechanism is mentioned in opposition to vitalism, as an assertion of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  26. Artificial Speech and Its Authors.Philip J. Nickel - 2013 - Minds and Machines 23 (4):489-502.
    Some of the systems used in natural language generation (NLG), a branch of applied computational linguistics, have the capacity to create or assemble somewhat original messages adapted to new contexts. In this paper, taking Bernard Williams’ account of assertion by machines as a starting point, I argue that NLG systems meet the criteria for being speech actants to a substantial degree. They are capable of authoring original messages, and can even simulate illocutionary force and speaker meaning. Background intelligence embedded (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  27.  72
    Cognitive science: The newest science of the artificial.Herbert A. Simon - 1980 - Cognitive Science 4 (1):33-46.
    Cognitive science is, of course, not really a new discipline, but a recognition of a fundamental set of common concerns shared by the disciplines of psychology, computer science, linguistics, economics, epistemology, and the social sciences generally. All of these disciplines are concerned with information processing systems, and all of them are concerned with systems that are adaptive—that are what they are from being ground between the nether millstone of their physiology or hardware, as the case may be, and the upper (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  28.  46
    The Bayesian brain: What is it and do humans have it?Dobromir Rahnev - 2019 - Behavioral and Brain Sciences 42.
    It has been widely asserted that humans have a “Bayesian brain.” Surprisingly, however, this term has never been defined and appears to be used differently by different authors. I argue that Bayesian brain should be used to denote the realist view that brains are actual Bayesian machines and point out that there is currently no evidence for such a claim.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  83
    The disciplinary power of predictive algorithms: a Foucauldian perspective.Paul B. de Laat - 2019 - Ethics and Information Technology 21 (4):319-329.
    Big Data are increasingly used in machine learning in order to create predictive models. How are predictive practices that use such models to be situated? In the field of surveillance studies many of its practitioners assert that “governance by discipline” has given way to “governance by risk”. The individual is dissolved into his/her constituent data and no longer addressed. I argue that, on the contrary, in most of the contexts where predictive modelling is used, it constitutes Foucauldian discipline. Compliance (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  48
    Philosophy—aesthetics—education: Reflections on dance.Tyson Lewis - 2007 - Journal of Aesthetic Education 41 (4):53-66.
    In lieu of an abstract, here is a brief excerpt of the content:Philosophy—Aesthetics—Education:Reflections on DanceTyson Lewis (bio)To create is to lighten, to unburden life, to invent new possibilities of life. The creator is legislator—dancer.—Gilles Deleuze, Pure ImmanenceThe Italian philosopher Giorgio Agamben is perhaps best known for his ongoing interest in the problem of "biopower." Taking up where Michel Foucault ended, Agamben argues that the principle political and philosophical questions of the moment concern the connections between life and power. In this (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  13
    Enlightenment Thought: An Anthology of Sources.Margaret L. King - 2019 - Hackett Publishing Company.
    "Margaret L. King has put together a highly representative selection of readings from most of the more significant—but by no means the most obvious—texts by the authors who made up the movement we have come to call the 'Enlightenment.' They range across much of Europe and the Americas, and from the early seventeenth century until the end of the eighteenth. In the originality of the choice of texts, in its range and depth, this collection offers both wide coverage and striking (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  62
    An idea of nature: A bipolar proposal.Philip Hefner - 2015 - Zygon 50 (2):287-303.
    This article argues that in order to understand nature, we depend on a basic idea or ideal type of nature, following R. G. Collingwood's work The Idea of Nature. Collingwood asserted that the prevailing idea of nature in Western thought evolved through three analogies for understanding nature: living organism, machine, and historical process. His use of the concept of idea is comparable to the use of ideal type proposed by Max Weber and Ernst Troeltsch. This article is a bipolar (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  25
    Making Reproductive Choices in the Face of Genetic Uncertainty.Sigal Klipstein - 2018 - Hastings Center Report 48 (2):42-43.
    In the engaging and thought-provoking book The Gene Machine: How Genetic Technologies Are Changing the Way We Have Kids and the Kids We Have, Bonnie Rochman addresses the question of choice in human reproduction through the lens of knowledge. Asserting that the desire for knowledge is the central theme of modern-day reproduction, she asks, “Is genetic knowledge empowering or fear-inducing or both?” Yet the question at the heart of the book goes beyond knowledge. Rochman delves into whether genetic information (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  54
    The Postmodern Posture.Dmitry Khanin - 1990 - Philosophy and Literature 14 (2):239-247.
    In lieu of an abstract, here is a brief excerpt of the content:Dmitry Khanin THE POSTMODERN POSTURE Postmodernists—the sectarians ofour day—proclaim that the old kingdom of historical narrative and historical subject has perished, and is now being replaced by a new one of ahistorical discourses and ahistorical characters. According to these prophets, "history" is anyway just changes in ways of talking about history. Anyone who does not agree with the ahistoricity of the postmodern world oudook may be accused—and tried on (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  35
    Simulations.Phil Beitchman, Paul Foss & Paul Patton (eds.) - 1983 - Semiotext(E).
    Simulations never existed as a book before it was "translated" into English. Actually it came from two different bookCovers written at different times by Jean Baudrillard. The first part of Simulations, and most provocative because it made a fiction of theory, was "The Procession of Simulacra." It had first been published in Simulacre et Simulations. The second part, written much earlier and in a more academic mode, came from L'Echange Symbolique et la Mort. It was a half-earnest, half-parodical attempt to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Life Itself: A Comprehensive Inquiry Into the Nature, Origin, and Fabrication of Life.Robert Rosen - 2005 - Complexity in Ecological Systems.
    What is life? For four centuries, it has been believed that the only possible scientific approach to this question proceeds from the Cartesian metaphor -- organism as machine. Therefore, organisms are to be studied and characterized the same way "machines" are; the same way any inorganic system is. Robert Rosen argues that such a view is neither necessary nor sufficient to answer the question. He asserts that life is not a specialization of mechanism, but rather a sweeping generalization of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   148 citations  
  37.  60
    No man is an island: The axiom of subjectivity.John Ziman - 2006 - Journal of Consciousness Studies 13 (5):17-42.
    Western thought since the seventeenth century has been dominated by methodological solipsism (Krieger, 1991). The famous sound-bite of René Descartes 'cogito, ergo sum': 'I think, therefore I am', became the starting point for most discourse on the nature of things. This dictum does not advocate idealism. It does not assert that everything is necessarily a construct of the human mind. But it assumes that the world of things and beings is surveyed and interpreted from the point of view of a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  24
    Reasoning about sequences of memory states.Rémi Brochenin, Stéphane Demri & Etienne Lozes - 2010 - Annals of Pure and Applied Logic 161 (3):305-323.
    Motivated by the verification of programs with pointer variables, we introduce a temporal logic whose underlying assertion language is the quantifier-free fragment of separation logic and the temporal logic on the top of it is the standard linear-time temporal logic LTL. We analyze the complexity of various model-checking and satisfiability problems for , considering various fragments of separation logic , various classes of models , and the influence of fixing the initial memory state. We provide a complete picture based (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. De la modification de la sensibilité: L’esthétique de l’Ecole de Graz.Barry Smith - 1985 - Revue D’Esthétique 9:19--37.
    The most obvious varieties of mental phenomena directed to non- existent objects occur in our experiences of works of art. The task of applying the Meinongian ontology of the non-existent to the working out of a theory of aesthetic phenomena was however carried out not by Meinong by his disciple Stephan Witasek in his Grundzüge der allgemeinen Ästhetik of 1904. Witasek shows in detail how our feelings undergo certain sorts of structural modifications when they are directed towards what does not (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  38
    Simulations.Jean Baudrillard - 1983 - Semiotext(E).
    Baudrillard's bewildering thesis, a bold extrapolation on Ferdinand de Saussure's general theory of general linguistics, is in fact a clinical vision of contemporary consumer societies where signs don't refer anymore to anything except themselves. They all are generated by the matrix. Simulations never existed as a book before it was "translated" into English. Actually it came from two different bookCovers written at different times by Jean Baudrillard. The first part of Simulations, and most provocative because it made a fiction of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   85 citations  
  41.  21
    Le questioni morali e le implicazioni psicologiche della riproduzione, del sesso e delle relazioni affettive nelle missioni spaziali.Maurizio Balistreri - 2023 - Rivista Internazionale di Filosofia e Psicologia 14 (3):148-167.
    _Riassunto_: I bisogni sessuali degli astronauti rappresentano un tema lungamente trascurato delle missioni spaziali. Soltanto di recente la comunità scientifica ha incominciato a interessarsi alla vita sessuale degli astronauti e a rivolgere una qualche attenzione alle questioni che riguardano il sesso nello spazio. Comunque, il sesso è una questione centrale per gli astronauti impegnati nelle missioni spaziali. Noi sosteremmo che nella prima fase di esplorazione e di colonizzazione dello spazio e di nuovi pianeti, gli astronauti dovrebbero avere la possibilità di (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  52
    The Politics of Technology: On Bringing Social Theory into Technological Design.Marc Berg - 1998 - Science, Technology and Human Values 23 (4):456-490.
    New approaches in the design of information technologies for work practices are drawing upon theories from sociology, anthropology, and social philosophy. Under the labels of Computer-Supported Cooperative Work and Participatory Design, work is done to "neturn" to design insights gained in the social study of the use of technological artifacts. Aftera brief introduction of these developments, the article zooms in on those authors for whom "better" technologies refer to hopes for more democratic and more worker-oriented workplaces. How do these approaches (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  43.  49
    Pragmatism for a Digital Society: The (In)Significance of Artificial Intelligence and Neural Technology.Matthew Sample & Eric Racine - 2021 - In Orsolya Friedrich, Andreas Wolkenstein, Christoph Bublitz, Ralf J. Jox & Eric Racine (eds.), Clinical Neurotechnology meets Artificial Intelligence. Springer. pp. 81-100.
    Headlines in 2019 are inundated with claims about the “digital society,” making sweeping assertions of societal benefits and dangers caused by a range of technologies. This situation would seem an ideal motivation for ethics research, and indeed much research on this topic is published, with more every day. However, ethics researchers may feel a sense of déjà vu, as they recall decades of other heavily promoted technological platforms, from genomics and nanotechnology to machine learning. How should ethics researchers respond (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  44
    (1 other version)A Lot of People Are Saying: The New Conspiracism and the Assault on Democracy.Nancy L. Rosenblum & Russell Muirhead - 2019 - Princeton University Press.
    How the new conspiracists are undermining democracy—and what can be done about it Conspiracy theories are as old as politics. But conspiracists today have introduced something new—conspiracy without theory. And the new conspiracism has moved from the fringes to the heart of government with the election of Donald Trump. In A Lot of People Are Saying, Russell Muirhead and Nancy Rosenblum show how the new conspiracism differs from classic conspiracy theory, why so few officials speak truth to conspiracy, and what (...)
  45.  1
    Bush Mechanics Tinker with Philosophy.Max Brierty & Stephen Muecke - 2024 - Journal of Continental Philosophy 5 (1):77-92.
    Indigenous cultures have an immanentist ontological basis, as opposed to the largely Western ontology of transcendence. We explore the implications for this assertion in the different ways that technological artifacts can be seen to articulate with human and non-human bodies in extended ecologies. Our method is one of an Indigenous critique of modernity, which aims iconoclastically to deflate the faith, hope and idealism often invested in technologies. Our (counter) examples emerge from the TV series Bush Mechanics, where practical skills (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  22
    Yo no Existo. Problemas para la Semántica Dinámica.Eduardo García Ramírez - 2018 - Tópicos: Revista de Filosofía 56:393-414.
    According to dynamic semantics, what is said by an utterance of a sentence is determined by how the common ground is affected by the acceptance of such utterance. It has been claimed that dynamic semantics offers an account of what is said by an utterance in a context that excels that of traditional static semantics. Assertions of negative existential constructions, of the form ‘X does not exist’, are a case in point. These assertions traditionally pose a problem for philosophers of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  19
    "And They Sang A New Song": Reading John's Revelation From The Position Of The Lamb.J. A. Jackson & Allen H. Redmon - 2005 - Contagion: Journal of Violence, Mimesis, and Culture 12 (1):99-114.
    In lieu of an abstract, here is a brief excerpt of the content:"And They Sang A New Song":Reading John's Revelation From The Position Of The LambJ.A. Jackson (bio) and Allen H. Redmon (bio)Then one of the elders said to me, "Do not weep. See, the Lion of the tribe of Judah, the Root of David, has conquered, so that he can open the scroll and the seven seals." Then I saw between the throne and the four living creatures and among (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  43
    Enemies of patients.Ruth Macklin - 1993 - New York: Oxford University Press.
    A young man, terminally ill and in extreme suffering, asks to be removed from life support, requesting morphine first so he'll be asleep when the machine stops. His physician agrees, but the hospital's chief administrator intervenes, arguing that the morphine might itself cause death, leaving the physician open to criminal indictment for murder. To placate the administrator, the doctor and patient reach a grim compromise: life support will be disconnected first, and only after manifest signs of suffering appear will (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  9
    Du discours à l'action: études pragmatiques.Denis Vernant - 1997 - Paris: Presses Universitaires de France - PUF.
    Longtemps en linguistique, la sémantique a voulu reléguer la pragmatique au rang de discipline marginale. La pragmatique a enfin acquis droit de cité et consistance théorique, elle est un cadre général dans lequel les analyses traditionnelles du langage doivent être interprétées. Ainsi conçue, la pragmatique est un carrefour, point de rencontre des disciplines traitant du langage, approche actionnelle des phénomènes langagiers et communicationnels. Pages de début Prologue Chapitre Premier. Du discours à l'action Chapitre II. Genèse du concept d'assertion Chapitre (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  11
    Expanding Cognition: The Plasticity of Thought.Clayton Crockett - 2024 - In Sangeetha Menon, Saurabh Todariya & Tilak Agerwala (eds.), AI, Consciousness and The New Humanism: Fundamental Reflections on Minds and Machines. Springer Nature Singapore. pp. 295-306.
    This chapter surveys elements of non-human cognition to explore ways to think across the boundary that is usually asserted between living and machinic intelligence, mainly drawing on the work of Catherine Malabou and N. Katherine Hayles. Many continental philosophers follow Martin Heidegger in his sceptical approach to modern technology, even if Heidegger advocates for a more authentic retrieval of Greek techne. Here, however, this chapter engages with Catherine Malabou’s recent book, Morphing Intelligence, to see how she conjoins a biological model (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 967