Results for 'First order technology'

942 found
Order:
  1. Technology’s in-betweeness.Luciano Floridi - 2013 - Philosophy and Technology 26 (2):111–115.
    One of the most obvious features that characterises any technology is its in-betweeness—comprising technologies that stand in-between human users and natural affordances (natural objects, processes, or phenomena). This paper analyses technologies on the basis of their first- second- or third-order nature, and discusses how Information Communication Technologies (ICTs) are creating a new externality.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Aliens, Technology and Freedom: SF Consumption and SocioEthical Attitudes.James Hughes - 1995 - Futures Research Quarterly 4 (11):39-58.
    As we enter the 21st century, we do well to consider the values implicit in science fiction, the principal arena of future speculation in popular culture. This study explored whether consumption of science fiction (SF) is correlated with distinctive socio-ethical views. SF tends to advocate the extension of value and rights to all forms of intelligence, regardless of physical form; enthusiasm for technology; and social and economic libertarianism. This suggests that consumers with these socio-ethical views would be attracted to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. The Ethics of Disruptive Technologies: Towards a General Framework.Jeroen Hopster - forthcoming - In J. F. de Paz Santana & D. H. de la Iglesia (eds.), New Trends in Disruptive Technologies, Tech Ethics and Artificial Intelligence. Springer Nature.
    Disruptive technologies can be conceptualized in different ways. Depending on how they are conceptualized, different ethical issues come into play. This article contributes to a general framework to navigate the ethics of disruptive technologies. It proposes three basic distinctions to be included in such a framework. First, emerging technologies may instigate localized “first-order” disruptions, or systemic “second-order” disruptions. The ethical significance of these disruptions differs: first-order disruptions tend to be of modest ethical significance, whereas (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. A Promethean Philosophy of External Technologies, Empiricism, & the Concept: Second-Order Cybernetics, Deep Learning, and Predictive Processing.Ekin Erkan - 2020 - Media Theory 4 (1):87-146.
    Beginning with a survey of the shortcoming of theories of organology/media-as-externalization of mind/body—a philosophical-anthropological tradition that stretches from Plato through Ernst Kapp and finds its contemporary proponent in Bernard Stiegler—I propose that the phenomenological treatment of media as an outpouching and extension of mind qua intentionality is not sufficient to counter the ̳black-box‘ mystification of today‘s deep learning‘s algorithms. Focusing on a close study of Simondon‘s On the Existence of Technical Objectsand Individuation, I argue that the process-philosophical work of Gilbert (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. The Role of Human Creativity in Human-Technology Relations.Vincent Blok - 2022 - Philosophy and Technology 1 (3):1-19.
    One of the pressing issues in philosophy of technology is the role of human creativity in human-technology relations. We first observe that a techno-centric orientation of philosophy of technology leaves open the role and contribution of human creativity in technological evolution, while an anthropocentric orientation leaves open the role of the technical milieu in technological evolution. Subsequently, we develop a concept of creation as deviation and responsiveness in response to affordances in the environment, inspired by the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. The `science = technology + philosophy' thesis.Laszlo Ropolyi - 2004 - In S. Kaneva (ed.), Challenges Facing Philosophy In United Europe. IPhR – BAS. pp. 39-49.
    Based on recent trends in philosophy of science, in philosophy of technology, and in technosience studies it can be concluded that the following formula expresses a significant relationship of the relevant disciplines: science is equal to technology plus philosophy. In order to disclose the meaning of this relationship first of all we have to characterize a kind of philosophy of technology. In this view, the human rule over technological situations and the creation/use of tools play (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. World order transformation and sociopolitical destabilization.Leonid Grinin, Andrey Korotayev, Leonid Issaev, Alisa Shishkina, Evgeny Ivanov & Kira Meshcherina - 2017 - Basic Research Program: Working Papers.
    The present working paper analyzes the world order in the past, present and future as well as the main factors, foundations and ideas underlying the maintaining and change of the international and global order. The first two sections investigate the evolution of the world order starting from the ancient times up to the late twentieth century. The third section analyzes the origin and decline of the world order based on the American hegemony. The authors reveal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Ethics of Decentralized Social Technologies: Lessons from Web3, the Fediverse, and Beyond.Danielle Allen, Woojin Lim, Eli Frankel, Joshua Simons, Divya Siddarth & Glen Weyl - 2023 - Edmond and Lily Safra Center for Ethics.
    This paper argues that the plethora of experiments with decentralized social technologies (DSTs)—clusters of which are sometimes called “the Web 3.0 ecosystem” or “the Fediverse”—have brought us to a constitutional moment. These technologies enable radical innovations in social, economic, and political institutions and practices, with the potential to support transformative approaches to political economy. They demand governance innovation. The paper develops a framework of prudent vigilance for making ethical choices in this space that help to both grasp positive opportunities for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. (Im)Moral technology? Thought experiments and the future of `mind control'.Robert Sparrow - 2014 - In Akira Akabayashi (ed.), The Future of Bioethics: International Dialogues. New York: Oxford University Press. pp. 113-119.
    In their paper, “Autonomy and the ethics of biological behaviour modification”, Savulescu, Douglas, and Persson discuss the ethics of a technology for improving moral motivation and behaviour that does not yet exist and will most likely never exist. At the heart of their argument sits the imagined case of a “moral technology” that magically prevents people from developing intentions to commit seriously immoral actions. It is not too much of a stretch, then, to characterise their paper as a (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  10. Driven to extinction? The ethics of eradicating mosquitoes with gene-drive technologies.Jonathan Pugh - 2016 - Journal of Medical Ethics 42 (9):578-581.
    Mosquito-borne diseases represent a significant global disease burden, and recent outbreaks of such diseases have led to calls to reduce mosquito populations. Furthermore, advances in ‘gene-drive’ technology have raised the prospect of eradicating certain species of mosquito via genetic modification. This technology has attracted a great deal of media attention, and the idea of using gene-drive technology to eradicate mosquitoes has been met with criticism in the public domain. In this paper, I shall dispel two moral objections (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  11.  99
    E-commerce from the Perspective of the Philosophy of Technology.S. M. Reza Amiri Tehrani - 2011 - Philosophy of Science 1 (2):65-95.
    In order to analyze e-commerce from the perspective of theories of the philosophy of technology, first the characteristics of e-commerce are examined and then analyzed from the viewpoint of the philosophy of technology. In the first section of the article, topics such as definitions and models of e-commerce, electronic contracts, electronic payments, and electronic customs are investigated. In the second section, topics including the technology of e-commerce, requirements of e-commerce, ethics and e-commerce, identity and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Rebound effects of progress in information technology.Lorenz M. Hilty, Andreas Köhler, Fabian Schéele, Rainer Zah & Thomas Ruddy - 2006 - Poiesis and Praxis 4 (1):19-38.
    Information technology (IT) is continuously making astounding progress in technical efficiency. The time, space, material and energy needed to provide a unit of IT service have decreased by three orders of magnitude since the first personal computer (PC) was sold. However, it seems difficult for society to translate IT’s efficiency progress into progress in terms of individual, organizational or socio-economic goals. In particular it seems to be difficult for individuals to work more efficiently, for organizations to be more (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Hijacking Epistemic Agency - How Emerging Technologies Threaten our Wellbeing as Knowers.John Dorsch - 2022 - Proceedings of the 2022 Aaai/Acm Conference on Ai, Ethics, and Society 1.
    The aim of this project to expose the reasons behind the pandemic of misinformation (henceforth, PofM) by examining the enabling conditions of epistemic agency and the emerging technologies that threaten it. I plan to research the emotional origin of epistemic agency, i.e. on the origin of our capacity to acquire justification for belief, as well as on the significance this emotional origin has for our lives as epistemic agents in our so-called Misinformation Age. This project has three objectives. First, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. The Notion of information in early cybernetics and in Gilbert Simondon's philosophy.Juho Rantala - manuscript
    This paper will examine the notion of information in the early cybernetics and in Gilbert Simondon’s philosophy. First, we will be outlining the notion of information of early (or first-order) cyberneticians. Secondly, we will summarize Simondon’s concept of information. Finally, the last part of the paper will be dealing shortly with the present understanding of information which has expanded since the beginning of the 20th century. -/- Presented at Doctoral Congress in Philosophy 22.–24.10.2018, University of Tampere, Finland.
    Download  
     
    Export citation  
     
    Bookmark  
  15. First-order modal logic in the necessary framework of objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
    I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  16. First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  17. Reasons for Meaningful Human Control.Herman Veluwenkamp - 2022 - Ethics and Information Technology 24 (4):1-9.
    ”Meaningful human control” is a term invented in the political and legal debate on autonomous weapons system, but it is nowadays also used in many other contexts. It is supposed to specify conditions under which an artificial system is under the right kind of control to avoid responsibility gaps: that is, situations in which no moral agent is responsible. Santoni de Sio and Van den Hoven have recently suggested a framework that can be used by system designers to operationalize this (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. First-Order Representationalist Panqualityism.Harry Rosenberg - forthcoming - Erkenntnis:1-16.
    Panqualityism, recently defended by Sam Coleman, is a variety of Russellian monism on which the categorical properties of fundamental physical entities are qualities, or, in Coleman’s exposition, unconscious qualia. Coleman defends a quotationalist, higher-order thought version of panqualityism. The aim of this paper is, first, to demonstrate that a first-order representationalist panqualityism is also available, and to argue positively in its favor. For it shall become apparent that quotationalist and first-order representationalist panqualityism are, in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. A First-Order Modal Theodicy: God, Evil, and Religious Determinism.Gesiel Borges da Silva & Fábio Bertato - 2019 - South American Journal of Logic 5 (1):49-80.
    Edward Nieznanski developed in 2007 and 2008 two different systems in formal logic which deal with the problem of evil. Particularly, his aim is to refute a version of the logical problem of evil associated with a form of religious determinism. In this paper, we revisit his first system to give a more suitable form to it, reformulating it in first-order modal logic. The new resulting system, called N1, has much of the original basic structure, and many (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. First-Order Logic with Adverbs.Tristan Grøtvedt Haze - forthcoming - Logic and Logical Philosophy:1-36.
    This paper introduces two languages and associated logics designed to afford perspicuous representations of a range of natural language arguments involving adverbs and the like: first-order logic with basic adverbs (FOL-BA) and first-order logic with scoped adverbs (FOL-SA). The guiding logical idea is that an adverb can come between a term and the rest of the statement it is a part of, resulting in a logically stronger statement. I explain various interesting challenges that arise in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.
    This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Paraconsistent First-Order Logic with infinite hierarchy levels of contradiction.Jaykov Foukzon - manuscript
    In this paper paraconsistent first-order logic LP^{#} with infinite hierarchy levels of contradiction is proposed. Corresponding paraconsistent set theory KSth^{#} is discussed.Axiomatical system HST^{#}as paraconsistent generalization of Hrbacek set theory HST is considered.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology.Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte - 2019 - In Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte (eds.), ”, Proceedings of the Joint Ontology Workshops (JOWO), Graz.
    Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. (1 other version)Categories of First-Order Quantifiers.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.
    One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25. First-order belief and paraconsistency.Srećko Kovač - 2009 - Logic and Logical Philosophy 18 (2):127-143.
    A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. What is Logical in First-Order Logic?Boris Čulina - manuscript
    In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - 2019 - Acta Analytica 34 (3):369-383.
    Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. First-Order Logic and Some Existential Sentences.Stephen K. McLeod - 2011 - Disputatio 4 (31):255-270.
    ‘Quantified pure existentials’ are sentences (e.g., ‘Some things do not exist’) which meet these conditions: (i) the verb EXIST is contained in, and is, apart from quantificational BE, the only full (as against auxiliary) verb in the sentence; (ii) no (other) logical predicate features in the sentence; (iii) no name or other sub-sentential referring expression features in the sentence; (iv) the sentence contains a quantifier that is not an occurrence of EXIST. Colin McGinn and Rod Girle have alleged that standard (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. The ‘Empirical’ in the Empirical Turn: A Critical Analysis.Mariska Thalitha Bosschaert & Vincent Blok - 2022 - Foundations of Science 1 (2):1-22.
    During the second half of the twentieth century, several philosophers of technology argued that their predecessors had reflected too abstractly and pessimistically on technology. In the view of these critics, one should study technologies empirically in order to fully understand them. They developed several strategies to empirically inform the philosophy of technology and called their new approach the empirical turn. However, they provide insufficient indications of what exactly is meant by empirical study in their work. This (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. On Globes, the Earth and the Cybernetics of Grace.Claudia Westermann - 2021 - Technoetic Arts 19 (1):29-47.
    Following the traces of a statement by Margaret Mead, emphasizing that the first photographic images of the Earth from space presented notions of fragility, the article contextualizes the recent critique of the dominant representation of the Earth as a globe that emerged in conjunction with the discourse on the Anthropocene. It analyses the globe as an image and the sentiments that accompanied it since the first photographs of our planet from space were published in 1968. The article outlines (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
    A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  32. Completeness of a first-order temporal logic with time-gaps.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - Theoretical Computer Science 160 (1-2):241-270.
    The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Frege's Begriffsschrift is Indeed First-Order Complete.Yang Liu - 2017 - History and Philosophy of Logic 38 (4):342-344.
    It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
    Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Relevant first-order logic LP# and Curry’s paradox resolution.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal Volume 4, Issue 1-1, January 2015 DOI: 10.11648/J.Pamj.S.2015040101.12.
    In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent Set Theories〖NF〗n^C.
    Download  
     
    Export citation  
     
    Bookmark  
  36.  52
    Catchwords: On Heidegger and "Americanism".John Thomas Giordano - 2003 - Philosophica: International Journal of Philosophy 32 (1):74-89.
    Heidegger uses the term "Americanism" to refer to a certain technological-political trend which involves the inability to think the essence of technology. This would also involve the oblivion of the question of Being. His fear of both Americanism and Communism is what led him to support the National Socialist movement. Both the critics and followers of Heidegger gloss over his criticism of Americanism. Yet Heidegger's writings on this subject remain important for us. First, because Americanism would refer to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Elegance and Parsimony in First-Order Necessitism.Violeta Conde - forthcoming - Daimon: Revista Internacional de Filosofía.
    In his book Modal Logic as Metaphysics, Timothy Williamson defends first-order necessitism using simplicity as a powerful argument. However, simplicity is decomposed into two different, even antagonistic, sides: elegance and parsimony. On the one hand, elegance is the property of theories possessing few and simple principles that allow them to deploy all their theoretical power; on the other hand, parsimony is the property of theories having the fair and necessary number of ontological entities that allow such theories give (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. First-Order Quantifiers.G. Aldo Antonelli - manuscript
    In §21 of Grundgesetze der Arithmetik asks us to consider the forms: a a2 = 4 and a a > 0 and notices that they can be obtained from a φ(a) by replacing the function-name placeholder φ(ξ) by names for the functions ξ2 = 4 and ξ > 0 (and the placeholder cannot be replaced by names of objects or of functions of 2 arguments).
    Download  
     
    Export citation  
     
    Bookmark  
  39. Towards the Epistemology of the Internet of Things Techno-Epistemology and Ethical Considerations Through the Prism of Trust.Ori Freiman - 2014 - International Review of Information Ethics 22:6-22.
    This paper discusses the epistemology of the Internet of Things [IoT] by focusing on the topic of trust. It presents various frameworks of trust, and argues that the ethical framework of trust is what constitutes our responsibility to reveal desired norms and standards and embed them in other frameworks of trust. The first section briefly presents the IoT and scrutinizes the scarce philosophical work that has been done on this subject so far. The second section suggests that the field (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  40. A cosa serve la filosofia? Alcune note a Sulle cause e gli usi della filosofia di Hans Jonas.Fabio Fossa - 2018 - InCircolo - Rivista di Filosofia E Culture 5:110-132.
    In questo saggio si propone una lettura congetturale delle brevi note sulla questione dell’utilità del pensiero filosofico che Hans Jonas appunta in chiusura della conferenza Sulle cause e gli usi della filosofia (1955). A tal fine mi rivolgo innanzitutto alla ricostruzione dell’etica socratica che Jonas elabora nello scritto Virtù e saggezza in Socrate e in seconda battuta alla discussione della dottrina della scienza di Bacon abbozzata in Prospettive filosofiche sulla rilevanza della conoscenza per l’uomo e poi ripresa in scritti successivi. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. The Emerging Concept of Responsible Innovation. Three Reasons why it is Questionable and Calls for a Radical Transformation of the Concept of Innovation.V. Blok & P. Lemmens - 2015 - In Bert-Jaap Koops, Ilse Oosterlaken, Henny Romijn, Tsjalling Swierstra & Jeroen van den Hoven (eds.), Responsible Innovation 2: Concepts, Approaches, and Applications. Cham: Springer International Publishing. pp. 19-35.
    Abstract In this chapter, we challenge the presupposed concept of innovation in the responsible innovation literature. As a first step, we raise several questions with regard to the possibility of ‘responsible’ innovation and point at several difficulties which undermine the supposedly responsible character of innovation processes, based on an analysis of the input, throughput and output of innovation processes. It becomes clear that the practical applicability of the concept of responsible innovation is highly problematic and that a more thorough (...)
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  42. The story of humanity and the challenge of posthumanity.Zoltán Boldizsár Simon - 2019 - History of the Human Sciences 32 (2).
    Today’s technological-scientific prospect of posthumanity simultaneously evokes and defies historical understanding. On the one hand, it implies a historical claim of an epochal transformation concerning posthumanity as a new era. On the other, by postulating the birth of a novel, better-than-human subject for this new era, it eliminates the human subject of modern Western historical understanding. In this article, I attempt to understand posthumanity as measured against the story of humanity as the story of history itself. I examine the fate (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
    It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Is Leibnizian calculus embeddable in first order logic?Piotr Błaszczyk, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Taras Kudryk, Thomas Mormann & David Sherry - 2017 - Foundations of Science 22 (4):73 - 88.
    To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on pro- cedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscript
    We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. The Emperor's New Phenomenology? The Empirical Case for Conscious Experience without First-Order Representations.Hakwan Lau & Richard Brown - 2018 - In Adam Pautz & Daniel Stoljar (eds.), Blockheads! Essays on Ned Block’s Philosophy of Mind and Consciousness. new york: MIT Press.
    We discuss cases where subjects seem to enjoy conscious experience when the relevant first-order perceptual representations are either missing or too weak to account for the experience. Though these cases are originally considered to be theoretical possibilities that may be problematical for the higher-order view of consciousness, careful considerations of actual empirical examples suggest that this strategy may backfire; these cases may cause more trouble for first-order theories instead. Specifically, these cases suggest that (I) recurrent (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  47. Mathematical Modeling of Biological and Social Evolutionary Macrotrends.Leonid Grinin, Alexander V. Markov & Andrey V. Korotayev - 2014 - In Leonid Grinin & Andrey Korotayev (eds.), History & Mathematics: Trends and Cycles. Volgograd: "Uchitel" Publishing House. pp. 9-48.
    In the first part of this article we survey general similarities and differences between biological and social macroevolution. In the second (and main) part, we consider a concrete mathematical model capable of describing important features of both biological and social macroevolution. In mathematical models of historical macrodynamics, a hyperbolic pattern of world population growth arises from non-linear, second-order positive feedback between demographic growth and technological development. Based on diverse paleontological data and an analogy with macrosociological models, we suggest (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In Baaz Matthias, Preining Norbert & Zach Richard (eds.), 36th Interna- tional Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. IEEE Press.
    All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Mapping Value Sensitive Design onto AI for Social Good Principles.Steven Umbrello & Ibo van de Poel - 2021 - AI and Ethics 1 (3):283–296.
    Value Sensitive Design (VSD) is an established method for integrating values into technical design. It has been applied to different technologies and, more recently, to artificial intelligence (AI). We argue that AI poses a number of challenges specific to VSD that require a somewhat modified VSD approach. Machine learning (ML), in particular, poses two challenges. First, humans may not understand how an AI system learns certain things. This requires paying attention to values such as transparency, explicability, and accountability. Second, (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  50. Matthew Handelman: The Mathematical Imagination: On the Origins and Promise of Critical Theory. [REVIEW]Francoise Monnoyeur - 2020 - Phenomenological Reviews 5.
    The Mathematical Imagination focuses on the role of mathematics and digital technologies in critical theory of culture. This book belongs to the history of ideas rather than to that of mathematics proper since it treats it on a metaphorical level to express phenomena of silence or discontinuity. In order to bring more readability and clarity to the non-specialist readers, I firstly present the essential concepts, background, and objectives of his book...
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 942