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.

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 (...) the SF genre, and that amount of SF consumption would be correlated with adoption of these views. -/- Groups of respondents involved in medical ethical and environmental issues were surveyed in 1992 (N=278). SF consumption was found, at first-order correlation and controlling for covariates, to be associated with: greater support for extending rights to animal and machine intelligence; greater enthusiasm for technology, and rejection of limits to human endeavors; and greater social libertarianism. SF consumption was not associated with specific views on the cognitively and physically disabled; support for abortion rights; or economic libertarianism. (shrink)

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 (...) Simondon, with its critique of Norbert Wiener‘s first-order cybernetics, offers a precursor to the conception of second-order cybernetics (as endorsed byFrancisco Varela, Humberto Maturana, and Ricardo B. Uribe) and, specifically, its autopoietic treatment of information. It has been argued by those such as Frank Pasquale that neuro-inferential deep learning systems premised on predictive patterning, suchas AlphaGo Zero, have a veiled logic and, thus, are ̳black boxes‘. In detailing a philosophical-historical approach to demystify predictive patterning/processing and the logic of such deep learning algorithms, this paper attempts to shine a light on such systems and their inner workingsàla Simondon. (shrink)

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 (...) second-order disruptions are highly significant. Secondly, technologies may be classified as disruptive based on their technological features or based on their societal impact. Depending on which of these classifications one adopts and takes as the starting point of ethical inquiry, different ethical questions are foregrounded. Thirdly, the ethics of disruptive technology raises concerns at four different levels of technology assessment: the technology level, the artifact level, the application level, and the society level. The respective suitability of approaches in technology ethics to address concerns about disruptive technologies co-varies with the respective level of analysis. The article clarifies these distinctions, thereby laying some of the groundwork for an ethical framework tailored for assessing disruptive technologies. (shrink)

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 (...) affordance theory by James Gibson. With this concept of creation as deviative responsiveness, we articulate the human contribution to human-technology creation, namely, our intentional deviation of the inhibiting forces of the currently dominant niche or meaningful world of human-technology relations, in order to become responsive to new affordances in human-technology creation that constitute a new niche or world of human-technology relations. (shrink)

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 (...) contradictions of the current unipolar world and explain in what way globalization has become more profitable for the developing countries but not for the developed ones. The paper also explains the strengthening belief that the US leading status will inevitably weaken. In this connection we discuss the alternatives of the American strategy and the possibility of the renaissance of the American leadership. The last section presents a factor analysis which allows stating that the world is shifting toward a new balance of power and is likely to become the world without a leader. The new world order will consist of a number of large blocks, coalitions and countries acting within a framework of rules and mutual responsibility. However, the transition to a new world order will take certain time (about two decades). This period, which we denote as the epoch of new coalitions, will involve a reconfiguration of the World-System and bring an increasing turbulence and conflict intensity. There are grounds to conclude that in 2011–2012 the World-System experienced to some extent a phase transition to a qualitatively new state of global protest activity. This phase transition is shown to bear some resemblance to the one which the World-System experienced in the early 1960s. The first (after 1919) phase transition of this sort occurred in the early 1960s and was related to the growth of global informational connectivity after the World War II, as well as the improvement of the means of protest self-organization due to the spread of television, portable radio receivers, portable electric loud-speakers and other technologies of the Fourth Kondratieff Cycle. The phase transition of the early 2010s was prepared by a new wave of growth of global informational connectivity, as well as the improvement of the means of protest self-organization due to the spread of various technologies of the Fifth Kondratieff cycle (the Internet, satellite television, Twitter and other social networks, mobile telephony etc.). Similarly to what was observed during the Fourth Kondratieff Wave, during the Fifth Cycle while the spread of these technologies was going on for many years before 2011, their internal colossal potential for generating and spreading protest activity was realized in one leap, as a phase transition. (shrink)

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 (...) thought experiment in service of a thought experiment. In order for an argument involving a thought experiment to progress debate in applied ethics three things must be true. First, the thought experiment must accurately represent and illuminate a pressing ethical dilemma. Second – and most obviously – the central claims of the argument regarding the thought experiment must be plausible. Third, it must be possible to apply or develop the arguments established with reference to the thought experiment to the real world cases the experiment is intended to illuminate. In this commentary, I argue that there are serious reasons to question the extent to which their argument meets each of these challenges involved in the use of thought experiments in applied ethics. While Savulescu et al. succeed in showing how behavioural modification might be compatible with freedom and autonomy – and perhaps justifiable even if it were not — in the fantastic case they consider, there is little we can conclude from this about any technology of “moral bioenhancement” in the foreseeable future. Indeed, there is a real danger that their argument will license attempts to manipulate behaviour through drugs and brain implants, which raise profound moral issues that they barely mention. (shrink)

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 (...) a fundamental role. The tools are created by interpretation, and any technological praxis is situation-bound. The characteristics of sciences are very different – or even the opposite – ones: in sciences we want to reach a situation-free knowledge. Scientific knowledge is not situation-bound, it is universally valid. The question is: how can we use the situation-bound technological praxis for building up of situation-free scientific knowledge? It can be shown that a specific application of philosophical principles and ideas makes this possible. Philosophy can create worlds from situations. Consequently, following certain prescriptions of both technology and philosophy, we can perform a scientific praxis. In this paper, some historical and philosophical arguments will be presented to show this interrelatedness, the most fundamental relationships between science, technology, and philosophy. (shrink)

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 (...) productive and for the socio-economic system to be more sustainable by using increasingly efficient IT. This article provides empirical evidence and potential explanations for this problem. Many counterproductive effects of IT can be explained economically by rebound effects. Beyond that, we conclude that the technological determinism adopted by decision-makers is the main obstacle in translating IT’s progress into non-technical goals. (shrink)

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 (...) transformation and avoid the potentially problematic consequences. Most of our specific examples and concerns come from the blockchain/Web3 universe, as this has received the greatest investment, attention, and adoption to date. However, we aim to offer a framework for governance decision-making in conditions of uncertainty that applies more broadly to other DSTs. Specifically, under the framework of prudent vigilance, we propose a pragmatic, democratic, and pluralist approach to navigating bold experimentation with social practices and political economy enabled by these technologies. Our overarching goal is to provide a framework open to transformative improvement and constrained by guardrails and guiding values supportive of democracy, freedom, and pluralism. We take a relatively strong position, rather than simply laying out ethical issues and potential approaches. We seek to be provocative in order to spur further work and hope this paper will serve as a first bridge between academic philosophy and the DST community, which have hardly interacted to date. (shrink)

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 (...) e-commerce, virtual reality of e-commerce, and the power of aggregation in e-commerce are analyzed. (shrink)

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 (...) that have been raised in the public domain against the use of gene-drive technologies to eradicate mosquitoes. The first objection invokes the concept of the ‘sanctity of life’ in order to claim that we should not drive an animal to extinction. In response, I follow Peter Singer in raising doubts about general appeals to the sanctity of life, and argue that neither individual mosquitoes nor mosquitoes species considered holistically are appropriately described as bearing a significant degree of moral status. The second objection claims that seeking to eradicate mosquitoes amounts to displaying unacceptable degrees of hubris. Although I argue that this objection also fails, I conclude by claiming that it raises the important point that we need to acquire more empirical data about, inter alia, the likely effects of mosquito eradication on the ecosystem, and the likelihood of gene-drive technology successfully eradicating the intended mosquito species, in order to adequately inform our moral analysis of gene-drive technologies in this context. (shrink)

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, (...) I plan to expose the degree to which epistemic agency is made possible by an under-researched species of emotion called epistemic feelings. Perhaps, the most epistemically significant is the feeling of confidence. In particular, epistemic feelings make epistemic agency possible by making errors in reasoning salient or the potential lack thereof. -/- Second, in order to diagnose the reasons for PofM, I will analyze the emotional basis of epistemic agency in the context of emerging technologies. Epistemic feelings ought to be construed as motivators of epistemic acts, specifically acts following exposure to misinformation spread by social media. For example, a recent study found that subjects on YouTube have a 6.3% probability in five clicks to go from watching innocuous videos to misogynistic videos. Accordingly, one prominent view holds that social media algorithms lead subjects down the proverbial rabbit hole, producing content that elicits strong emotional reactions. -/- But under-researched is the degree to which these emotions are intertwined with epistemic feelings, so that subjects are likely to misjudge the information as correct due to being primed to do so by processing the AI's suggested media. Thus, when this technology is used in epistemic practices, the result is invariably epistemically bad behavior because of how this manner of producing content motivates epistemic acts through the production of erroneous feelings of confidence, which result from the perceived ease of cognitive processing: the content is easy to process and so, the subject confidently misjudges, it is true. As of yet, an account of this cognitive and emotional decision-making process has not been used to analyze how emerging technologies are threatening epistemic agency, and thus our wellbeing as knowers. -/- Finally, I plan to develop therapeutics for PofM by outlining how to reform our collective epistemic practices. Thus, this project complements existing research in virtue epistemology, specifically by articulating the challenges to cultivating epistemic virtues and warding off the vices of the mind. In summation, the project aims to account for how emerging technologies are committing a form of epistemic injustice through the exploitation of cognitive biases and the production of erroneous epistemic feelings, with the overarching goal being a framework for convalescing from the pandemic of misinformation plaguing our age. (shrink)

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.

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that (...) only the cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

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 (...) of QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

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 (...) attempt to implement the guiding idea, and provide solutions for some but not all of them. I conclude by outlining some directions for further research. (shrink)

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 (...) axioms, definitions, and theorems still remain; however, some new results are obtained. If the conclusions attained are correct and true, then N1 solves the problem of evil through the refutation of a version of religious determinism, showing that the attributes of God in Classical Theism, namely, those of omniscience, omnipotence, infallibility, and omnibenevolence, when adequately formalized, are consistent with the existence of evil in the world. We consider that N1 is a good example of how formal systems can be applied in solving interesting philosophical issues, particularly in Philosophy of Religion and Analytic Theology, establishing bridges between such disciplines. (shrink)

‘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 (...) first-order logic cannot adequately deal with some such existentials. The article defends the view that it can. (shrink)

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 (...) predicate calculus with a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

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.

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 (...) spite of their close similarities, radically different theories: quotationalist panqualityism locates qualities in the subject of an experience, while first-order panqualityism locates qualities in the world. I argue that this makes quotationalist panqualityism implausible and first-order, representationalist panqualityism a highly natural, elegant, and intuitive theory. (shrink)

”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 (...) kind of control. It is the purpose of this paper to facilitate further operationalization of ”meaningful human control”. -/- This paper consists of two parts. In the first part I resolve an ambiguity that plagues current operationalizations of MHC. One of the design conditions says that the system should track the reasons of the relevant agents. This condition is ambiguous between the kind of reasons involved. On one interpretation it says that a system should track motivating reasons, while it is concerned with normative reasons on the other. Current participants in the debate interpret the framework as being concerned with (something in the vicinity of) motivating reasons. I argue against this interpretation by showing that meaningful human control requires that a system tracks normative reasons. Moreover, I maintain that an operationalization of meaningful human control that fails to track the right kind of reasons is morally problematic.When this is properly understood, it can be shown that the framework of MHC is committed to the agent-relativity of reasons. More precisely, I argue in the second part of this paper that if the tracking condition of MHC plays an important role in responsibility attribution (as the proponents of the view maintain), then the framework is incompatible with first-order normative theories that hold that normative reasons are agent-neutral (such as many versions of consequentialism). In the final section I present three ways forward for the proponent of MHC as reason-responsiveness. (shrink)

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. (...) A tableau system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{L}_{\mathbf{QB}}$ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences. (shrink)

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, (...) each philosophical approach to these truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

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.

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 (...) languages generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

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.

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).

One well known problem regarding quantifiers, in particular the 1st order 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 languages generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

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.

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. (...) The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)

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 (...) extensions are often justified only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

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 (...) inquiry of the concept is required. As a second step, we analyze the concept of innovation which is self-evidently presupposed in current literature on responsible innovation. It becomes clear that innovation is self-evidently seen as (1) technological innovation, (2) is primarily perceived from an economic perspective, (3) is inherently good and (4) presupposes a symmetry between moral agents and moral addressees. By challenging this narrow and uncritical concept of innovation, we contribute to a second round of theorizing about the concept and provide a research agenda for future research in order to enhance a less naïve concept of responsible innovation. (shrink)

Following the traces of Margaret Mead’s statement that emphasized 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 how (...) the cultural meaning of the whole Earth representation changed in parallel with the appropriation of the image by the large technological enterprises that emerged from America’s counterculture. It returns to the possibility of a coexistence of ‘views from within’ and ‘views from without’ following a detour with Gregory Bateson via Bali and proposes a Cybernetics of Grace as a practice of resistance against pure exteriority. The article concludes by linking the Cybernetics of Grace with the second-order conversations of Gordon Pask. (shrink)

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) (...) and of the authors' temporal logic of linear discrete time with gaps follows. (shrink)

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 (...) sufficient as far as the first-order completeness is concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete. (shrink)

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 (...) found in Leibnizian infinitesimal calculus, then modern infinitesimal frameworks are more appropriate to interpreting Leibnizian infinitesimal calculus than modern Weierstrassian ones. (shrink)

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 (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

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 (...) feedback loops to V1 are most likely not the neural correlate of first-order representations for conscious experience, (II) first-order views seem to have a problem accounting for the phenomenology in these cases, and either (III) a version of the ambitious higher-order approach is superior in that it is the simplest theory that can account for all results at face value, or (IV) a view where phenomenology is jointly determined by both first-order and higher-order states. In our view (III) and (IV) are both live options and the decision between them may ultimately be an empirical question that cannot yet be decided. (shrink)

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 (...) an account of themselves. Since necessitism endorses Barcan Formulae for the sake of elegance, it is committed to a vast number of contingently non-concrete objects, so one may think that it is not qualitatively parsimonious. I argue that necessitism could be viewed as an additive case in the sense that Alan Baker characterizes the adjective so quantitative parsimony should be considered when it comes to necessitism instead of qualitative parsimony. (shrink)

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 (...) leads to the critical question of what counts as an empirically informed philosophy of technology in the empirical turn. In order to answer this question, we first elaborate on the problems that the empirical turn philosophers tried to address; secondly, we sketch their solutions, and, thirdly, we critically discuss their conceptions of empirical study. Our critical analysis of the empirical turn contributes to new efforts to engage in an empirically informed philosophy of technology. (shrink)

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 (...) of epistemology is not sufficiently capable of dealing with technologies, and presents a possible solution to this problem. It is argued that knowledge is not only social phenomena, but also a technological one, and that in order to address epistemological issues in technology, we need to carefully depart from traditional epistemic analysis and form a new approach that is technological (termed here Techno-Epistemology). The third and fourth sections engage in an epistemic analysis of trust by dividing it in to various frameworks. The last section argues that these various frameworks of trust can be understood to form a trustworthy large-scale socio-technological system, emphasizing the place of ethical trust as constituting our commitment to give proper accounts for all of the other frameworks. (shrink)

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 (...) of humanity as the central subject of history in three consecutive steps: first, by exploring how classical philosophies of history achieved the integrity of the greatest historical narrative of history itself through the very invention of humanity as its subject; second, by recounting how this central subject came under heavy criticism by postcolonial and gender studies in the last half-century, targeting the universalism of the story of humanity as the greatest historical narrative of history; and third, by conceptualizing the challenge of posthumanity against both the story of humanity and its criticism. Whereas criticism fragmented history but retained the possibility of smaller-scale narratives, posthumanity does not doubt the feasibility of the story of humanity. Instead, it necessarily invokes humanity, if only in order to be able to claim its supersession by a better-than-human subject. In that, it represents a fundamental challenge to the modern Western historical condition and the very possibility of historical narratives – small-scale or large-scale, fragmented or universal. (shrink)

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.

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.

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. (...) In conclusione offro una ricostruzione dell’idea jonasiana dell’utilità della filosofia come scienza dell’immagine dell’uomo e mostro come tale approccio possa essere significativo anche e soprattutto nell’attuale età tecnologica. -/- English: In this essay I submit an hypothetical reading of the short notes concerning the practical use of phi-losophy which Hans Jonas wrote down at the end of the manuscript Of the causes and uses of phi-losophy. In order to do that, I focus the attention on Socratic Wisdom and Virtue first, where Jonas discussed Socrate’s ethics, and secondly on Jonas’s critique to Francis Bacon's doctrine of science, which he sketched in Some philosophers’ views on the human relevance of knowledge and devel-oped in later writings. My aim is to try and reconstruct Jonas’s ideas concerning the practical value of philosophy as the science of the image of man and to show how this may be relevant to our technological age. (shrink)

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. This is more or less identical with the working of the collective learning (...) mechanism. Based on diverse paleontological data and an analogy with macrosociological models, we suggest that the hyperbolic character of biodiversity growth can be similarly accounted for by non-linear, second-order positive feedback between diversity growth and the complexity of community structure, suggesting the presence within the biosphere of a certain analogue of the collective learning mechanism. We discuss how such positive feedback mechanisms can be modelled mathematically. (shrink)

In medical settings, machines are in close proximity with human beings: with patients who are in vulnerable states of health, who have disabilities of various kinds, with the very young or very old, and with medical professionals. Machines in these contexts are undertaking important medical tasks that require emotional sensitivity, knowledge of medical codes, human dignity, and privacy. -/- As machine technology advances, ethical concerns become more urgent: should medical machines be programmed to follow a code of medical ethics? (...) What theory or theories should constrain medical machine conduct? What design features are required? Should machines share responsibility with humans for the ethical consequences of medical actions? How ought clinical relationships involving machines to be modeled? Is a capacity for empathy and emotion detection necessary? What about consciousness? -/- The essays in this collection by researchers from both humanities and science describe various theoretical and experimental approaches to adding medical ethics to a machine, what design features are necessary in order to achieve this, philosophical and practical questions concerning justice, rights, decision-making and responsibility, and accurately modeling essential physician-machine-patient relationships. -/- This collection is the first book to address these 21st-century concerns. (shrink)

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 (...) that the hyperbolic character of biodiversity growth can be similarly accounted for by non-linear, second-order positive feedback between diversity growth and the complexity of community structure. We discuss how such positive feedback mechanisms can be modelled mathematically. (shrink)