Review the Istvan Kiraly V.'s book: Death and History.

Defining Ecosophy (ecological wisdom) like a contemporary philosophy of survival, security and a sustainable Human Development, terrestrial nature and society, the author of this article approaches the correlation between it and the digital version of security in the context of new technologies. Human survival is in connection with the protection, optimal functioning of the natural environment and the development of human society. Human evolution, physical and psychological (the issues of Anthropoecology, a medical-biological science, deals with them), depends on the natural (...) and social environment, on the development of new techniques and technologies. New technologies (nano-, bio-, info-, socio-technologies) can ensure the security and the increasing development of the human being, but they can threaten it too. The author does not deny behaviours, the possibility that human intellect could be non-biological. Moreover, the author believes if it comes to it, that we will not be able to speak about the human species. New technologies like the traditional and less new, are intended to help in solving various problems related to health, society interactions with nature, human society and diverse cultures, societies and states. The philosophy of security and the digital one, like the components of Ecosophy, along with philosophical aspects of Anthropoecology, General Ecology and Social Ecology, needs like any other science or philosophy to elaborate systems of concepts, principles and laws. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

Ecosophy or ecological wisdom – the new philosophy of contemporary life is also a philosophy of security, digital content, tolerance; it is a philosophy of survival and sustainable development of man, society and nature. Man, society as well as science currently need and will need a new philosophy – ecosophy. All together and each one in part they are based on security, first of all on human security. The interaction of philosophy with science occurs historically through three main stages. The (...) first one is characterized by the ancient belief that all the theoretical knowledge is philosophy. The second one, which has started approximately in the 15th century, suggests that the science is apparently independent from philosophy as a main focus. The third stage, that has just started, treats the scientific knowledge as complementary to the philosophical one. Both of them can successfully develop and function only with reciprocal interaction. Studying and understanding of the scientific knowledge leads to the professional development. The study of philosophy develops and strengthens the spirituality, the core of a developed personality. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

With AI permeating our lives, there is widespread concern regarding the proper framework needed to morally assess and regulate it. This has given rise to many attempts to devise ethical guidelines that infuse guidance for both AI development and deployment. Our main concern is that, instead of a genuine ethical interest for AI, we are witnessing moral diplomacies resulting in moral bureaucracies battling for moral supremacy and political domination. After providing a short overview of what we term ‘ethics washing’ in (...) the AI industry, we analyze the 2021 UNESCO Intergovernmental Meeting of Experts (Category II) tasked with drafting the Recommendation on the Ethics of Artificial Intelligence and show why the term ‘moral diplomacy’ is better suited to explain what is happening in the field of the ethics of AI. Our paper ends with some general considerations regarding the future of the ethics of AI. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

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 concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

Intellectual property has become the apple of discord in today’s moral and political debates. Although it has been approached from many different perspectives, a final conclusion has not been reached. In this paper I will offer a new way of thinking about intellectual property rights (IPRs), from a left-libertarian perspective. My thesis is that IPRs are not (natural) original rights, aprioric rights, as it is usually argued. They are derived rights hence any claim for intellectual property is weaker than the (...) correlative duties attached to self-ownership and world-ownership rights, which are of crucial importance in any left-libertarian view. Moreover, IPRs lack priority in front of these two original rights and should be overridden by stronger claims of justice. Thus, as derived rights, IPRs should not benefit of strong enforcement like any original rights especially if it could be in the latters’ detriment. (shrink)

The future rests under the sign of technology. Given the prevalence of technological neutrality and inevitabilism, most conceptualizations of the future tend to ignore moral problems. In this paper we argue that every choice about future technologies is a moral choice and even the most technology-dominated scenarios of the future are, in fact, moral provocations we have to imagine solutions to. We begin by explaining the intricate connection between morality and the future. After a short excursion into the history of (...) Artificial Intelligence, we analyse two possible scenarios, which show that building the future with technology is, first and foremost, a moral endeavor. (shrink)

What is it for a picture to depict a scene? The most orthodox philosophical theory of pictorial representation holds that depiction is grounded in resemblance. A picture represents a scene in virtue of being similar to that scene in certain ways. This essay presents evidence against this claim: curvilinear perspective is one common style of depiction in which successful pictorial representation depends as much on a picture's systematic differences with the scene depicted as on the similarities; it cannot be analyzed (...) in terms of similarity alone. The same problem arises for many other kinds of depiction. The essay concludes that depiction in general is not grounded in resemblance but geometrical transformation. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

My two daughters would love to go tobogganing down the hill by themselves, but they are just toddlers and I am an apprehensive parent, so, before letting them do so, I want to ensure that the toboggan won’t go too fast. But how fast will it go? One way to try to answer this question would be to tackle the problem head on. Since my daughters and their toboggan are initially at rest, according to classical mechanics, their final velocity will (...) be determined by the forces they will be subjected to between the moment the toboggan will be released at the top of the hill and the moment it will reach its highest speed. The problem is that, throughout their downhill journey, my daughters and the toboggan will be subjected to an incredibly large number of forces—from the gravitational pull of any massive object in the universe to the weight of the snowflake that is sitting on the tip of one of my youngest daughter’s hairs—so that any attempt to apply the theory directly to the real-world system in all its complexity seems to be doomed to failure. (shrink)

Our technological lifeworld has become an info-computational media populated by data and algorithms, an artificial environment for life and shared experiences. In this chapter, I tried to sketch three new assumptions for bioethics – it is hardly possible to substantiate ethical guidelines or an idea of normativity in an aprioristic manner; moral status is a function of data entities, not something solely human; agency is plural and thus is shared or sometimes delegated – in order to chart a proposal for (...) a posthuman bioethics. Posthuman is perhaps not the best expression available, but it covers the idea of a shift from a world centered on self-contained and exclusively human agency to a more comprehensive and relational way of thinking. The “posthuman” label should be understood as a rebuttal of biocentrism and anthropocentrism by moving closer to conceptions we encounter in population ethics or in discourse about biosocial and technical systems. Posthuman bioethics is “environmentalist” without losing the humanistic stance. The question regarding how suitable an infocentric bioethics is in practice remains to be settled. The moral principles in bioethics could be reconceived as relying on these new assumptions, in a postindividualistic manner that accepts formal primacy of causal digital artifacts in affording actions in a world of ambient algorithmic intelligence. (shrink)

A semantics of pictorial representation should provide an account of how pictorial signs are associated with the contents they express. Unlike the familiar semantics of spoken languages, this problem has a distinctively spatial cast for depiction. Pictures themselves are two-dimensional artifacts, and their contents take the form of pictorial spaces, perspectival arrangements of objects and properties in three dimensions. A basic challenge is to explain how pictures are associated with the particular pictorial spaces they express. Inspiration here comes from recent (...) proposals that analyze depiction in terms of geometrical projection. In this essay, I will argue that, for a central class of pictures, the projection-based theory of depiction provides the best explanation for how pictures express pictorial spaces, while rival perceptual and resemblance theories fall short. Since the composition of pictorial space is itself the basis for all other aspects of pictorial content, the proposal provides a natural foundation for further pictorial semantics. (shrink)

Interpretations of Kant’s account of the forms of “taking-to-be-true” (Fürwahrhalten) have generally focused on three such forms: opinion (Meinung), belief (Glaube), and knowledge (Wissen). A second distinction that has received comparatively less attention is that between conviction (Überzeugung) and persuasion (Überredung). Kant appears to use the distinction between the subjective and the objective sufficiency of a taking-to-be-true to characterize all of these forms. However, it is impossible to account for the differences between them by relying on this latter distinction alone. (...) In turn, this makes it difficult to fit all of these forms into a single classification of taking-to-be-true. In this chapter, I propose a new approach to conviction and persuasion that dissolves these problems. Conviction and persuasion are not single forms of taking-to-be-true with distinctive characteristics, yet it is not useful to treat them as “classes” of taking-to-be-true either. Rather, they are “operators” that determine whether a taking-to-be-true is apt or inapt, depending on whether it rests on a correct evaluation of the grounds we have. (shrink)

Ground offers the hope of vindicating and illuminating an classic philosophical idea: the layered conception, according to which reality is structured by relations of dependence, with physical phenomena on the bottom, upon which chemistry, then biology, and psychology reside. However, ground can only make good on this promise if it is appropriately formally behaved. The paradigm of good formal behavior can be found in the currently dominant grounding orthodoxy, which holds that ground is transitive, antisymmetric, irreflexive, and foundational. However, heretics (...) have recently challenged the orthodoxy. In this paper, I examine ground’s ability to vindicate the layered conception upon various relaxations of the orthodox assumptions. I argue that highly unorthodox views of ground can still vindicate the layered conception and that, in some ways, the heretical views enable ground to better serve as a guide to reality’s layering than do orthodox views of ground. (shrink)

In this paper, I aim to defend Gadamer’s philosophical hermeneutics against what I call the radical hermeneutic critique, specifically the critique developed in Robert Bernasconi’s article “’You Don’t Know What I’m Talking About’: Alterity and the Hermeneutic Ideal” (1995). Key to this critique is the claim that Gadamer’s account does not rise to the ethical task of embracing the alterity of the Other, but instead reduces it to a projection of one’s self. The implication is therefore that Gadamer’s philosophical hermeneutics (...) has to be rejected on ethical grounds, as it does not appreciate but assimilates the alterity of the Other. In contrast to this radical hermeneutic critique, I argue that Gadamer’s philosophical hermeneutics can accommodate an Other that is not assimilated but appreciated, on the condition that the unique status of a dialogue with the Other as a person is no longer neglected, as Gadamer does, but instead truly distinguished from a dialogue with the Other as a text. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

2020 is the year of the first pandemic lived through the Internet. More than half of the world population is now online and because of self-isolation, our moral and social lives unfold almost exclusively online. Two pressing questions arise in this context: how much can we rely on the Internet, as a set of technologies, and how much should we trust online platforms and applications? In order to answer these two questions, I develop an argument based on two fundamental assumptions: (...) the development stage of today’s Internet is a contingent and not a necessary one and technologies are never neutral. My argument is that today’s pandemic produced an acceleration of the change which started almost 30 years ago, one of online migration, datafication and algorithmization of day to day life, a change in which digital technologies take on the classic role of institutions, both formal and informal. My thesis is a descriptive one, although it has some normative implications: this take over is not just a translation, but a modification or mutation which demands a creative collective answer, although users don’t have direct power over it. When they play the role of institutions, these technologies are surrogates or simulacra. I offer the paradigmatic case of online education, an experiment we were forced into because of the pandemic, in order to show that the institutional matrix of education cannot be reproduced online, due to the limitations of the medium and of the applications, especially those concerning physical presence. In the end I will critically address the question of the role played by Artificial Intelligence in the pandemic, and then I will show that the open source ethics was more useful in approaching scientifically and technologically the problems generated by the epidemic. (shrink)

A review of the volume that brings together K.R. Popper's writings on deductive logic and its foundations. I emphasize Popper's inferentialist position in his earlier articles and Carnap's influence on many of his logical ideas (an interesting letter from Carnap to Popper is also summarised in the review).

In this paper, I distinguish three general approaches to public trust in science, which I call the individual approach, the semi-social approach, and the social approach, and critically examine their proposed solutions to what I call the problem of harmful distrust. I argue that, despite their differences, the individual and the semi-social approaches see the solution to the problem of harmful distrust as consisting primarily in trying to persuade individual citizens to trust science and that both approaches face two general (...) problems, which I call the problem of overidealizing science and the problem of overburdening citizens. I then argue that in order to avoid these problems we need to embrace a (thoroughly) social approach to public trust in science, which emphasizes the social dimensions of the reception, transmission, and uptake of scientific knowledge in society and the ways in which social forces influence both positively and negatively the trustworthiness of science. (shrink)

The Internet has been identified in human enhancement scholarship as a powerful cognitive enhancement technology. It offers instant access to almost any type of information, along with the ability to share that information with others. The aim of this paper is to critically assess the enhancement potential of the Internet. We argue that unconditional access to information does not lead to cognitive enhancement. The Internet is not a simple, uniform technology, either in its composition, or in its use. We will (...) look into why the Internet as an informational resource currently fails to enhance cognition. We analyze some of the phenomena that emerge from vast, continual fluxes of information–information overload, misinformation and persuasive design—and show how they could negatively impact users’ cognition. Methods for mitigating these negative impacts are then advanced: individual empowerment, better collaborative systems for sorting and categorizing information, and the use of artificial intelligence assistants that could guide users through the informational space of today’s Internet. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Warfare is becoming increasingly automated, from automatic missile defense systems to micro-UAVs (WASPs) that can maneuver through urban environments with ease, and each advance brings with it ethical questions in need of resolving. Proponents of lethal autonomous weapons systems (LAWS) provide varied arguments in their favor; robots are capable of better identifying combatants and civilians, thus reducing "collateral damage"; robots need not protect themselves and so can incur more risks to protect innocents or gather more information before using deadly force; (...) robots can assess situations more quickly and do so without emotion, reducing the likelihood of fatal mistakes due to human error; and sending robots to war protects our own soldiers from harm. However, these arguments only point in favor of autonomous weapons systems, failing to demonstrate why such systems need be made *lethal*. In this paper I argue that if one grants all of the proponents' points in favor of LAWS, then, contrary to what might be expected, this leads to the conclusion that it would be both immoral and illegal to deploy *lethal* autonomous weapons, because the many features that speak in favor of them also undermine the need for them to be programmed to take lives. In particular, I argue that such systems, if lethal, would violate the moral and legal principle of necessity, which forbids the use of weapons that impose superfluous injury or unnecessary harm. I conclude by highlighting that the argument is not against autonomous weapons per se, but only against *lethal* autonomous weapons. (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...) only the intended semantical interpretation. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

This interview, conducted over the span of several months, tracks the respective journeys of Constantin V. Boundas and Daniel W. Smith with the philosophy of Gilles Deleuze. Rather than “becoming Deleuzian,” which is neither desirable nor possible, these exchanges reflect an array of encounters with Deleuze. These include the initial discoveries of Deleuze’s writings by Boundas and Smith, in-person meetings between Boundas and Deleuze, and the wide-ranging and influential philosophical work on Deleuze’s concepts produced by both Boundas and Smith. (...) At stake in this discussion are key contributions by Deleuze to continental philosophy, including the distinction between the virtual and the actual and the very nature of a “concept.” Also at stake is the formative or pedagogical impact of a philosopher, like Deleuze, on those who find and fully engage with his texts, concepts, and project. Cette interview, menée sur plusieurs mois, suit les parcours respectifs de Constantin V. Boundas et Daniel W. Smith avec la philosophie de Gilles Deleuze. Au lieu de « devenir Deleuzien, » ce qui n’est ni souhaitable ni possible, ces échanges reflètent un éventail de rencontres avec Deleuze. Il s’agit notamment des premières découvertes des écrits de Deleuze par Boundas et Smith, des rencontres en personne entre Boundas et Deleuze, et du travail philosophique vaste et in????luent sur les concepts de Deleuze produit par Boundas et Smith. L’enjeu ici étant les contributions clés de Deleuze à la philosophie continentale, y compris la distinction entre le virtuel et l’actuel, et la nature même d’un « concept. » Mais il y a aussi l’impact formateur ou pédagogique d’un philosophe, comme Deleuze, sur ceux qui trouvent et s’engagent pleinement dans ses textes, ses concepts et ses projets. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

The last couple of decades have witnessed a renewed interest in the notion of inductive risk among philosophers of science. However, while it is possible to find a number of suggestions about the mitigation of inductive risk in the literature, so far these suggestions have been mostly relegated to vague marginal remarks. This paper aims to lay the groundwork for a more systematic discussion of the mitigation of inductive risk. In particular, I consider two approaches to the mitigation of inductive (...) risk—the individualistic approach, which maintains that individual scientists are primarily responsible for the mitigation of inductive risk, and the socialized approach, according to which the responsibility for the mitigation of inductive risk should be more broadly distributed across the scientific community or, even more broadly, across society. I review some of the argument for and against the two approaches and introduce two new problems for the individualistic approach, which I call the problem of precautionary cascades and the problem of exogenous inductive risk, and I argue that a socialized approach might alleviate each of these problems. (shrink)

Public reason liberalism is defined by the idea that laws and policies should be justifiable to each person who is subject to them. But what does it mean for reasons to be public or, in other words, suitable for this process of justification? In response to this question, Kevin Vallier has recently developed the traditional distinction between consensus and convergence public reason into a classification distinguishing three main approaches: shareability, accessibility and intelligibility. The goal of this paper is to defend (...) the accessibility approach by demonstrating its ability to strike an appealing middle course in terms of inclusivity between shareability and intelligibility. We first argue against Vallier that accessibility can exclude religious reasons from public justification. Second, we use scientific reasons as a case study to show that accessibility excludes considerably fewer reasons than shareability. Throughout the paper, we connect our discussion of accessibility to John Rawls’s model of public reason, so as to give substance to the accessibility approach and to further our understanding of Rawls’s influential model. (shrink)

This paper explores the socio-epistemic practice of shopping for experts. I argue that expert shopping is particularly likely to occur on what Thi Nguyen calls cognitive islands. To support my argument, I focus on macroeconomics. First, I make a prima-facie case for thinking that macroeconomics is a cognitive island. Then, I argue that ordinary people are particularly likely to engage in expert shopping when it comes to macroeconomic matters. In particular, I distinguish between two kinds of expert shopping, which I (...) call cynical and wishful, and introduce the notion of assisted expert shopping, which occurs when people or organizations shop for experts on behalf of other people. I argue that assisted expert shopping can sometime result in what I call a propagandistic use of expertise. Finally, I critically examine some possible reasons for optimism and find them wanting. I conclude by suggesting that that much of what I said about shopping for macroeconomic experts might also apply mutatis mutandis to other policy-relevant domains of expertise. (shrink)

This chapter develops a semantic theory for maps and situates it within the broader geography of meaning and semiotic significance. The discussion focuses on three central aspects of map semantics: the use of space, line marking, and linguistic tags. It is argued that the treatment of space in maps must be based on geometrical projection from a viewpoint rather than the traditional analysis in terms of spatial isomorphism. The chapter then shows how to integrate the projection-based semantics of maps and (...) the symbolic semantics of markers and tags, within the framework of possible-world semantics. The resulting account addresses issues of accuracy, viewpoint, orientation, and exhaustivity. (shrink)

I develop an interpretation of Maurice Merleau-Ponty's concept of motor intentionality, one that emerges out of a reading of his presentation of a now classic case study in neuropathology—patient Johann Schneider—in Phenomenology of Perception. I begin with Merleau-Ponty's prescriptions for how we should use the pathological as a guide to the normal, a method I call triangulation. I then turn to his presentation of Schneider's unusual case. I argue that we should treat all of Schneider's behaviors as pathological, not only (...) his abstract movements, as is commonly acknowledged in the secondary literature, but also crucially his concrete movements. Using these facts of Schneider's illness, I reconstruct a ‘fundamental function’ of consciousness, as Merleau-Ponty called it, in which there are two kinds of bodily agency: the power of the body to be solicited by a situation and the power of the body to project a situation. I propose that these powers became dissociated in Schneider's case, as evidenced by his abstract and concrete movements, while in the normal case, these powers comprise a dynamic unity, enacted as motor intentionality. I also discuss how my interpretation complements Merleau-Ponty's assertion that motor intentions exist between mind and matter. (shrink)

Recent epidemiological research on the social determinants of health has been used to attack an important framework, associated with Norman Daniels, that depicts healthcare as special. My aim is to rescue the idea that healthcare has special importance in society, although specialness will turn out to be mainly limited to clinical care. I build upon the link between Daniels's theory and the work of John Rawls to develop a conception of public justification liberalism that is suitable to the field of (...) justice and health. I argue that, from the perspective of public justification liberalism, (clinical) healthcare deserves special status. (shrink)

This paper uses analytic philosophy to prevent merely verbal disputes about the concept of fiction within discussions on fictiones iuris. It provides a survey of potentially fruitful connections between legal fictions and fictionalism. More specifically, I will argue that by enriching current accounts of legal fictions in legal theory with insights from (1) the philosophy of language on fictional speech and from (2) contemporary metaphysics on philosophical fictionalism, it seems natural to explore the position that talk involving fictiones iuris is (...) structurally an exemplification of elliptical speech. Such fictionalism about legal fictions illuminates why prominent condemnations of fictions in law – e.g. as blatant falsehoods, shady fraudulences, or legal defects – are theoretical myths, since they fail to distinguish between analytically distinct (ontological, epistemic, alethic, semantic, and evaluative) levels. Moreover, a fictionalist account might even sharpen our sense of which legal fictions are more “innocent” than others. I will begin by introducing philosophical fictionalism (II), before the fictiones iuris will be characterized as an operation in legal reasoning by consulting the Leibnizian reconstruction of Roman Law’s epistemology (III). Sections IV and V seek to provide further clarifications on the ‘fictional’ / ‘fictitious’ distinction as well as the heterogeneity of fictionalist research questions. Section VI then contains a little guided tour through the different analyses of the concept of fiction(s) within fictionalism. Subsequently, I will show how insights from those discussions contribute to demystify some of the most prominent allegations raised against legal fictions (VII). Fictionalism about legal fictions, Section VIII tentatively suggests, might not only harmonize with both classic and recent treatments of legal fictions, but help to also highlight their epistemic values. In slogan form: fictiones iuris are instruments to preserve legal truths worth having. (shrink)

Volumul ”Sustenabilitatea educației doctorale în economie și afaceri” valorifică ideile și cercetările doctoranzilor de la Universitatea “Alexandru Ioan Cuza” din Iași, școala doctorală de economie și administrarea afacerilor. Lucrările au fost prezentate, prin postere sau în plen, în conferința finală a proiectului SESYR, finanțat prin programul european Jean Monnet. Structurarea volumului în patru subcapitole generice are ca scop valorificarea domeniilor considerate prin filosofia proiectului:managementul proiectelor, antreprenoriat si angajabilitate pentru tinerii cercetători. O colecție de 24 de articole având 35 de autori, (...) oferă un mediu de dezbatere științifică provocatoare pentru publicul cititor din domeniul economic. Focalizarea subiectelor din articolele prezente pe motivațiile de cercetare ale doctoranzilor și postdoctoranzilor face ca acest volum să reprezinte un debut publicistic pentru unii autori iar pentru alții, o consolidare a vocației. Diseminarea pasiunilor în astfel de contexte consolidează colaborarea și deschiderea spre noi subiecte investigative. Volumul este destinat studenților, cercetătorilor și profesorilor și îl propunem ca reper bibliografic pentru dezvoltarea altor idei de cercetare și inovare în arealul nostru tematic. (shrink)

In this chapter, I investigate a problem for Kant’s claim that metaphysics can reach the status of science. The problem arises when one considers Kant’s account of the “architectonic unity” of metaphysics in the Architectonic of Pure Reason. Attaining architectonic unity is a condition for becoming a science for any body of cognitions that purports to be such. This is achieved when the cognitions belonging to a science are systematically organized according to the “idea of reason” which lies at the (...) basis of that science. However, Kant suggests that nobody can ever legitimately claim to have matched the idea of the philosopher, where this appears to imply that nobody can justifiably claim that she has fully grasped the idea of metaphysics. This generates a problem. I suggest that when Kant claims that the idea of the philosopher must remain an ideal or an archetype, he has a particular conception of philosophy in mind, that is, philosophy as a doctrine of wisdom. According to this understanding, philosophy must provide an example of how one can become virtuous. However, this is only a partial solution to our problem, for reasons that will be illustrated. (shrink)

This essay calls attention to a set of linguistic interactions between counterfactual conditionals, on one hand, and possibility modals like could have and might have, on the other. These data present a challenge to the popular variably strict semantics for counterfactual conditionals. Instead, they support a version of the strict conditional semantics in which counterfactuals and possibility modals share a unified quantificational domain. I’ll argue that pragmatic explanations of this evidence are not available to the variable analysis. And putative counterexamples (...) to the unified strict analysis, on careful inspection, in fact support it. Ultimately, the semantics of conditionals and modals must be linked together more closely than has sometimes been recognized, and a unified strict semantics for conditionals and modals is the only way to fully achieve this. (shrink)

Research on the most effective Linux iptables rules to mitigate Distributed Denial of Service (DDoS) attacks.

In this article, I link the empirical hypothesis that neural representations of sensory stimulation near the body involve a unique motor component to the idea that the perceptual field is structured by skillful bodily activity. The neurophenomenological view that emerges is illuminating in its own right, though it may also have practical consequences. I argue that recent experiments attempting to alter the scope of these near space sensorimotor representations are actually equivocal in what they show. I propose resolving this ambiguity (...) by treating these representations as responsive to the development or degeneration of know-how—which can be isolated as an appropriate object for scientific investigation. (shrink)

Name der Zeitschrift: Nietzsche-Studien Jahrgang: 44 Heft: 1 Seiten: 231-266. -/- Abstract: In this essay I defend my interpretation of the unheard words that Zarathustra whispers into Life’s ear in “The Other Dance Song” and that have long kept commentators puzzled. I argue that what Zarathustra whispers is that he knows that Life is pregnant with his child. Zarathustra’s ability to make Life pregnant depends on his overcoming of Eternal Recurrence which threatens to strangle him with disgust of human beings (...) and all of existence, thereby making him into a spiritual eunuch whose will has turned into not-willing. The insemination of Life is a transfiguring act that raises Life from her blind animality (or materiality) into the level of a spiritually fertile existence, which is the condition of human freedom. This act is performed with the help of our capacity for theoretical knowledge, which is why it requires love of Wisdom. However, love of Wisdom can make us infertile, and thus unfree, when pursued for its own sake (knowledge can choke). I conclude by considering who might be the child of Zarathustra and Life. -/- Zusammenfassung: In diesem Aufsatz verteidige ich meine Interpretation der unhörbaren Wörter, die Zarathustra in „Das andere Tanzlied“ in das Ohr des Lebens flüstert und seit langem Kommentatoren ratlos machen. Was Zarathustra flüstert, ist, so meine These, dass er weiß, dass das Leben mit seinem Kind schwanger ist. Zarathustras Fähigkeit, das Leben zu schwängern, hängt von seiner Überwindung des Gedankens der ewigen Wiederkehr ab, der ihn durch den Überdruss am Menschen und an allem Dasein zu erwürgen bedroht und ihn dabei zu einem spirituellen Eunuchen macht, dessen Wollen zum Nicht-Wollen geworden ist. Die Befruchtung des Lebens ist eine umgestaltende Tat, die das Leben von seiner blinden Tiernatur (oder Stofflichkeit) auf die Ebene eines spirituell fruchtbaren Daseins erhebt, was die Voraussetzung menschlicher Freiheit ist. Dieser Akt wird mit Hilfe unserer Fähigkeit zu theoretischem Wissen ausgeführt, weshalb er Liebe zur Weisheit erfordert. Liebe zur Weisheit kann uns jedoch unfruchtbar und damit unfrei machen, wenn sie um ihrer selbst willen verfolgt wird (Wissen kann ersticken). Ich schließe mit der Überlegung ab, wer Zarathustras und des Lebens Kind sein könnte. (shrink)

Gilbert Ryle famously wrote that practical knowledge (knowing how) is distinct from propositional knowledge (knowing that). This claim continues to have broad philosophical appeal, and yet there are many unsettled questions surrounding Ryle’s basic proposal. In this article, I return to his original work in order to perform some intellectual archeology. I offer an interpretation of Ryle’s concept of action that I call ‘adverbialism’. Actions are constituted by bodily behaviours performed in a certain mode, style or manner. I present various (...) challenges to adverbialism – scenarios in which it seems we publicly behave one way, but privately feel another. And I offer a response – Ryle’s stated practice of re-describing those situations in ways that pose no threat to his adverbialism. I also present an interpretation of practical knowledge in Ryle’s work. Knowing how is a special kind of action, undertaken only when we progressively self-modify our behaviours in the presence of new challenges or opportunities. (shrink)