This important new book by one of the world's leading political theorists boldly questions the moral justification for organizing our world as a territorial states-system and proposes major changes to states' sovereign powers.

Wie verändern sich Mensch und Körper durch Technik? Und welches Menschenverständnis vertritt der Transhumanismus? Anna Puzio befasst sich in der ersten philosophischen Studie zur Anthropologie des Transhumanismus mit führenden Personen des Feldes, u. a. mit Nick Bostrom, David Pearce und Natasha Vita-More. Neben Körperoptimierung und Medizintechnologien beleuchtet sie auch Alltagstechnologien wie Wearables. Dabei entwickelt sie einen neuen Ansatz zur Technikanthropologie und ein neues inklusives Menschen- und Körperverständnis im Anschluss an Donna Haraway und den Kritischen Posthumanismus im amerikanischen Raum.

The concept of cooperative question-responses as an extension of cooperative behaviours used by interfaces for databases and information systems is proposed. A procedure to generate question-responses based on question dependency and erotetic search scenarios is presented. The procedure is implemented in Prolog.

The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. (...) Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction. (shrink)

Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only branching rule is the rule of cut. The calculi pertain to classical propositional logic and any of its fragments that may be obtained from adding a set of rules characterizing a two-argument Boolean function to the negation fragment of classical propositional logic. The properties of soundness and completeness (...) of the calculi are demonstrated. The proof of completeness is conducted by Kalmár's method. Most of the presented sequent-calculus rules have been obtained automatically, by a rule-generating algorithm implemented in Python. Correctness of the algorithm is demonstrated. This automated approach allowed us to analyse thousands of possible rules' schemes, hundreds of rules corresponding to Boolean functions, and to nd dozens of those invertible. Interestingly, the analysis revealed that the presented proof-theoretic framework provides a syntactic characteristics of such an important semantic property as functional completeness. (shrink)

An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic ). In this paper, a new erotetic calculus for Classical Propositional Logic ), dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic CLuN and its extensions CLuNs and mbC. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to the (...) authors knowledge, this is the first account of resolution for mbC. Last but not least, as the method is grounded in IEL, it constitutes an important tool for the so-called question-processing. (shrink)

Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always inquisitive; a (...) formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question. (shrink)

Prologue: autumn aroma -- What's left? -- Arts of noticing -- Contamination as collaboration -- Some problems with scale -- Interlude: smelling -- After progress : salvage accumulation -- Working the edge "freedom" -- Open ticket, Oregon -- War stories -- What happened to the state? : two kinds of Asian Americans in translation -- Between the dollar and the yen -- From gifts to commodities and back -- Salvage rhythms : business in disturbance -- Interlude: tracking -- Disturbed beginnings (...) : unintentional design -- The life of the forest : coming up among pines -- History -- Resurgence -- Serendipity -- Ruin in gaps and patches -- In science as translation -- Flying spores -- Interlude: dancing -- In the middle of things -- Matsutake crusaders -- Ordinary assets -- Anti-ending : some people I met along the way -- Spore trail: the further adventures of a mushroom -- Notes -- Index. (shrink)

Our aim is to model the behaviour of a cognitive agent trying to solve a complex problem by dividing it into sub-problems, but failing to solve some of these sub-problems. We use the powerful framework of erotetic search scenarios combined with Kleene’s strong three-valued logic. ESS, defined on the grounds of Inferential Erotetic Logic, has appeared to be a useful logical tool for modelling cognitive goal-directed processes. Using the logical tools of ESS and the three-valued logic, we will show how (...) an agent could solve the initial problem despite the fact that the sub-problems remain unsolved. Thus our model not only indicates missing information but also specifies the contexts in which the problem-solving process may end in success despite the lack of information. We will also show that this model of problem solving may find use in an analysis of natural language dialogues. (shrink)

The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5.

This important new work surveys the source and ramifications of the famed Nuremburg Code -- recognized around the world as one of the cornerstones of modern bioethics.

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.

Grounding theorists insist that grounding and explanation are intimately related. This claim could be understood as saying either that grounding ‘inherits’ its properties from explanation or it could be interpreted as saying that grounding plays an important—possibly an indispensable—role in metaphysical explanation. Or both. I argue that saying that grounding ‘inherits’ its properties from explanation can only be justified if grounding is explanatory by nature, but that this view is untenable. We ought therefore to be ‘separatists’ and view grounding and (...) explanation as distinct. As it turns out, though, once grounding has been in this sense distinguished from the explanation it backs, the view that the role grounding plays in explanation justifies its introduction ends up in serious trouble. I conclude that the role grounding plays in explanation does not justify attributing to grounding whatever nature we think it has, and it most likely does not give us any special reason to think grounding exists. (shrink)

One of David Rosenthal’s many important contributions to the philosophy of mind was his clear and unshirking account of introspection. Here we argue that while there is a kind of introspection (we call it “reflective introspection”) that Rosenthal’s account may be structurally fit to accommodate, there is also a second kind (“primitive introspection”) that his account cannot recover. We introduce Rosenthal’s account of introspection in §1, present the case for the psychological reality of primitive introspection in §2, and argue that (...) Rosenthal’s account lacks the resources to accommodate it in §3. (shrink)

The question of whether there was a “causal nexus” between Bolshevism in the Soviet Union and National Socialism in Germany is far older than the Historikerstreit. Ernst Nolte's controversial thesis implied that the formation of the Nazis as a party (NSDAP) and a movement, and their subsequent rise to power were hardly conceivable without the German bourgeoisie's basic fear of Bolshevism; the Nazis' exterminatory anti-Semitism was only a sort of response to, and the interpretive reversal of, the looming expectation of (...) a Sovietized Germany. Thus, Bolshevik “class genocide” provided the historical model for Nazi “race genocide,” the annihilation of…. (shrink)

The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic calculi which constitute the method of Socratic proofs by Andrzej Wiśniewski. As we explain in the paper, in order to successfully design an erotetic calculus one needs invertible sequent-calculus-style rules. For this reason, the proposed correspondence analysis resulting in invertible rules can constitute a new foundation for the method of Socratic proofs. Correspondence analysis is Kooi and Tamminga's technique for designing proof systems. (...) In this paper it is used to consider sequent calculi with non-branching, invertible rules for the negation fragment of classical propositional logic and its extensions by binary Boolean functions. (shrink)

Domain extension in mathematics occurs whenever a given mathematical domain is augmented so as to include new elements. Manders argues that the advantages of important cases of domain extension are captured by the model-theoretic notions of existential closure and model completion. In the specific case of domain extension via ideal elements, I argue, Manders’s proposed explanation does not suffice. I then develop and formalize a different approach to domain extension based on Dedekind’s Habilitationsrede, to which Manders’s account is compared. I (...) conclude with an examination of three possible stances towards extensions via ideal elements. (shrink)

The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.

The study aims at exposing Meinong's ideas that may be of interest to analytic philosophers. It contains all the basic information concerning Meinong's theory of objects with a special focus upon 'objectives', which are Meinong's propositions. Meinong's theory of meaning and his epistemological views are discussed in detail. An outline of his conception of truth, which is classified as firmly realistic, is followed by a review of the critical works touching upon Meinong's epistemological ideas. Finally, Meinong's theory of objects is (...) presented as inspiring the development of Meinongian logics, with his Aussersein as the prototype of an all-inclusive semantic domain. The issues considered include reference of terms and sentences as well as the general features of a Meinongian-style semantics. (shrink)

Within debates concerning responsibility for ignorance the distinction between moral and factual ignorance is often treated as crucial. Many prominent accounts hold that while factual ignorance routinely exculpates, moral ignorance never does so. The view that there is an in-principle distinction between moral and factual ignorance has been referred to as the “Asymmetry Thesis.” This view stands in opposition to the “Parity Thesis,” which holds that moral and factual ignorance are in-principle similar. The Parity Thesis has been closely aligned with (...) volitionist accounts of moral responsibility, whereas the Asymmetry Thesis has been closely aligned with Quality of Will accounts. Two central questions are at work here: how ignorance excuses, and whether it excuses in the same way for both moral and factual ignorance. I will argue that these questions have often been confused in the present debate, and once we have distinguished more clearly between them, it seems that Quality of Will accounts are compatible with the Parity Thesis. And more generally: that the distinction between moral and factual ignorance is far less important in debates about responsibility for ignorance than it has often appeared. (shrink)

Modifying the descriptive and theoretical generalizations of Relativized Minimality, we argue that a significant subset of weak island violations arise when an extracted phrase should scope over some intervener but is unable to. Harmless interveners seem harmless because they can support an alternative reading. This paper focuses on why certain wh-phrases are poor wide scope takers, and offers an algebraic perspective on scope interaction. Each scopal element SE is associated with certain operations (e.g., not with complements). When a wh-phrase scopes (...) over some SE, the operations associated with that SE are performed in its denotation domain. The requisite operations may or may not be available in a domain, however. We present an empirical analysis of a variety of wh-phrases. It is argued that the wh-phrases that escape all weak islands (i.e., can scope over any intervener) are those that range over individuals, the reason being that all Boolean operations are defined for their domain. Collectives, manners, amounts, numbers, etc. all denote in domains with fewer operations and are thus selectively sensitive to scopal interveners—a “semantic relativized minimality effect”. (shrink)

Democratic innovations have been widely presented by both academics and practitioners as a potential remedy to the crisis of representative democracy. Many argue that deliberation should play a pivotal role in these innovations, fostering greater citizen participation and political influence. However, it remains unclear how digitalization affects the quality of deliberation—whether digital democratic innovations (DDIs) undermine or enhance deliberation. This paper takes an inductive approach in political theory to critically examine three features of online deliberation that matter for deliberative democracy: (...) scale, transparency, and the facilitation of equality. It argues that the enhancement of equality should be given special attention when designing and implementing deliberative DDIs. Equality is a basic democratic value that is crucial for the intrinsic quality of deliberation. One way of enhancing equality through digital deliberative practices is via AI facilitation, which can assist human facilitators and help mitigate power dynamics, often present in non-digital settings. (shrink)

We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity. We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.

This chapter argues that human and animal minds indeed depend on a collection of domain-specific, task-specific, and encapsulated cognitive systems: on a set of cognitive ‘modules’ in Fodor's sense. It also argues that human and animal minds are endowed with domain-general, central systems that orchestrate the information delivered by core knowledge systems. The chapter begins by reviewing the literature on spatial reorientation in animals and in young children, arguing that spatial reorientation bears the hallmarks of core knowledge and of modularity. (...) It then considers studies of older children and adults, arguing that human spatial representations change qualitatively over development and show capacities not found in any other species. Finally, it presents two new experiments that investigate the role of emerging spatial language in uniquely human navigation performance. (shrink)

Artificial intelligence (AI), blockchain, virtual and augmented reality, (semi-)autonomous ve- hicles, autoregulatory weapon systems, enhancement, reproductive technologies and human- oid robotics – these technologies (and many others) are no longer speculative visions of the future; they have already found their way into our lives or are on the verge of a breakthrough. These rapid technological developments awaken a need for orientation: what distinguishes hu- man from machine and human intelligence from artificial intelligence, how far should the body be allowed to (...) be changed and what are the dangers and opportunities presented by these technologies? Many of these questions are also addressed to theology. For example, questions about the image of humanity, the understanding of creation, the ethics of technological body interventions or the moral status of robots. What does theology have to say about these technological developments? It is the right time for theology to scientifically explore tech- nologization and AI and to formulate answers. As technology changes the various areas of human life, society and the world around us, the places and topics of theology are also undergoing transformation. Puzio, Anna: Theology Meets AI: Examining Perspectives, Tasks, and Theses on the Intersection of Technology and Religion. In: Puzio, Anna/Kunkel, Nicole/Klinge, Hendrik (Hg.): Alexa, How Do You Feel About Religion? Theological Approaches to Technology and Artificial Intelligence (Theology and AI 1). Darmstadt: wbg 2023, S. 29–41. DOI: 10.53186/1030373. (shrink)

The treatise attempts to approach and deal with some of the most fundamental problems facing anyone who wishes to uphold some version of the so-called theory of tropes. Three assumptions serve as a basis for the investigation: tropes exist, only tropes exist, and a one-category trope-theory along these lines should be developed so that the tropes it postulates are able to serve as truth-makers for all kinds of atomic propositions. Provided that these assumptions are accepted, it is found that the (...) trope-theorist will have to deal with two important problems. First, some atomic propositions seem to require universal truth-makers. Second, some atomic propositions seem to require concrete truth-makers. As tropes are abstract particulars, it follows that the trope-theorist, in order to fulfil assumption, must provide an account of exactly how he or she could construct universality and concreteness from his or her basic stock of tropes. In the treatise such constructions are attempted and some basic problems with such constructions are revealed. Although these problems are serious enough it is argued that it is nevertheless possible to deal with these basic issues while staying squarely within the boundaries of a one-category trope-ontology. (shrink)

Ways of Scope Taking is concerned with syntactic, semantic and computational aspects of scope. Its starting point is the well-known but often neglected fact that different types of quantifiers interact differently with each other and other operators. The theoretical examination of significant bodies of data, both old and novel, leads to two central claims. (1) Scope is a by-product of a set of distinct Logical Form processes; each quantifier participates in those that suit its particular features. (2) Scope interaction is (...) further constrained by the semantics of the interacting operators. The arguments are developed using Minimalist syntax, Generalized Quantify theory, Discourse Representation Theory, and algebraic semantics. The contributors (Beghelli, Ben-Shalom, Doetjes, Farkas, Gutiérrez Rexach, Honcoop, Stabler, Stowell, Szabolcsi and Zwarts) make tightly related theoretical assumptions and focus on related empirical phenomena, which include the direct and inverse scope of quantifiers, distributivity, negation, modal and intensional contexts, weak islands, event-related readings, interrogatives, wh/quantifier interactions, and Hungarian syntax. An introduction to the formal semantics background is provided. Audience: Linguists, philosophers, computational and psycholinguists; advanced undergraduates, graduate students and researchers in these fields. (shrink)

Do the new sciences of well-being provide knowledge that respects the nature of well-being? This book written from the perspective of philosophy of science articulates how this field can speak to well-being proper and can do so in a way that respects the demands of objectivity and measurement.

Trope theory is the view that the world is a world of abstract particular qualities. But if all there is are tropes, how do we account for the truth of propositions ostensibly made true by some concrete particular? A common answer is that concrete particulars are nothing but tropes in compresence. This answer seems vulnerable to an argument (first presented by F. H. Bradley) according to which any attempt to account for the nature of relations will end up either in (...) contradiction, nonsense, or will lead to a vicious infinite regress. I investigate Bradley’s argument and claim that it fails to prove what it sets out to. It fails, I argue, because it does not take all the different ways in which relation and relata may depend on one another into account. If relations are entities that are distinct from yet essentially dependent upon their relata, the Bradleyan problem is solved. We are then free to say that tropes in compresence are what make true propositions ostensibly made true by concrete particulars. (shrink)

Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of extensional complements (...) the domain restriction treatment is inadequate for at least two independent reasons. One has to do with the fact that not only upward monotonic quantifi ers support pairlist readings, and the other with the derivation of apparent scope out readings. The reasoning is supplemented with some discussion of the semantic properties of layered quantifi ers.  The above will establish the need for quantifi cation, so the question arises how the objections explicitly enlisted in the literature against quantifi cation can be answered. Section 4 considers the de dicto reading of the quantifi er s restriction, quanti cational variability, and the absence of pairlist readings with whether questions, and argues that they need not militate against the quanti ficational analysis. -/- Section 5 summarizes the emergent proposal -/- Finally, section 6 discusses the signifi cance of the above findings for the behavior of weak islands. (shrink)

Extensively investigated in the field of psychology, psychiatry, education, and social policy, self-esteem has been comparatively under-researched in philosophy. However, a number of theories and notions relevant to the understanding of self-esteem and related experiences have been put forward in both classical and contemporary phenomenology of emotion. Drawing upon this body of research, in this chapter I will present a phenomenological account of self-esteem. First, I will suggest that this is best understood as a particular kind of background affective orientation, (...) and, more specifically, as a narratively shaped “existential feeling”. I will then move to explore the relevance of such an account for the philosophical understanding of pride, embarrassment, and shyness, thus providing an example of the influence exerted by self-esteem on other self-related affects and traits. (shrink)

Kann der christliche Glaube an Gott in einer der Freiheit verpflichteten Moderne bedeutsam sein? Wie kann man von Gott sprechen unter dem Anspruch der Autonomie der Vernunft? Die Studie gibt darauf eine Antwort mittels einer Analyse der genealogischen Rekonstruktionen von Moderne, wie sie die Philosophen Hermann Krings und Herbert Schnädelbach vorgelegt haben. Dabei zeigt sich, dass es innertheologische Momente waren, die am Ende des Spätmittelalters die Moderne freigesetzt haben. So lässt sich die Moderne als eine Epoche begreifen, in der der (...) Glaube nochmals radikalisiert hermeneutisch erschlossen werden kann." --provided by publisher, back cover. (shrink)

Plotinus (204/5-270 C.E.) is a central figure in the history of Western philosophy. However, during the Middle Ages he was almost unknown. None of the treatises constituting his Enneads were translated, and ancient translations were lost. Although scholars had indirect access to his philosophy through the works of Proclus, St. Augustine, and Macrobius, among others, it was not until 1492 with the publication of the first Latin translation of the Enneads by the humanist philosopher Marsilio Ficino (1433-1499) that Plotinus was (...) reborn to the Western world. Ficino's translation was accompanied by a long commentary in which he examined the close relationship between metaphysics and anthropology that informed Plotinus's philosophy. Focusing on Ficino's interpretation of Plotinus's view of the soul and of human nature, this book excavates a fundamental chapter in the history of Platonic scholarship, one which was to inform later readings of the Enneads up until the nineteenth century. It will appeal to scholars and students interested in the history of Western philosophy, intellectual history, and book history. (shrink)

Whatever societies accept as "knowledge" is embedded in specific epistemological, political and economic power relations. How is knowledge produced and functionalized? What is the difference between knowledge and the sciences? Can there be science without universal truth claims? Questions like these, all of them highly relevant, are discussed in twelve essays from the perspective of Sociology, Law, Cultural Studies and the Humanities.