A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Mental causation, idea that it is us – via our minds – who cause bodily actions is as commonsensical as it is indispensable for our understanding of ourselves as rational agents. Somewhat less uncontroversial, but nonetheless widespread (at least among ordinary people) is the idea that the mind is non-physical, following the intuition that what is physical can neither act nor think nor judge morally. Taken together, and cast into a metaphysical thesis, the two intuitions yield interactive dualism: the view (...) that human persons and their minds are non-physical but can nonetheless interact with their bodies, most notably through their brains. This thesis has two main objectives: first, to defend interactive dualism against objections, and second, to show how it can blend in with a physical world in which laws of nature hold. The first part (chapter 1) consists in a brief motivation of interactive dualism as opposed to non-interactive dualism. I argue that non-interactive, epiphenomenalist dualism sacrifices so many crucial aspects of our human existence that interactive dualism is highly to be preferred to it, barring even stronger counterarguments against the latter. It is those putative counterarguments I address in parts II and III. Part II takes on the philosophical objections from the causal closure of the physical and from causal heterogeneity. The former takes the success of physics and physiology as basis for the doctrine of the causal closure of the physical (CCP). I argue against this that there is not only no convincing argument for CCP, but also that any science-based belief in CCP cannot be epistemically justified. As regards the causal heterogeneity objection, it is ‘weighed and found wanting’, because it relies on unwarranted assumptions about causation. In part III, I examine the objection from energy conservation. It roughly says that if interactive dualism were true, then energy would not be conserved, which physics taught us cannot be the case. My reply is that the underlying conception of energy (and momentum) conservation is wrong-headed and not the one that actual physicists use. Instead of being categorical and global, conservation laws are conditional and local, thereby making natural room for mental interaction. Some dualists, however, have sought to make interactive dualism conservation-friendly, notably by invoking quantum physics; I show that these attempts are unnecessary and create more problems than they solve. Finally, in chapter 9, I turn the tables on non-interactionists by investigating current neurophysiological literature on volitional actions, which, though not addressing the question directly, still encourages the interactive dualist picture more than a non-interactionist one. Part IV is about the interplay between interactive dualism and the laws of nature. The ultimate goal is, if possible, to come up with a theory of the laws of nature that explains the lawlike behavior of nature and at the same time makes room for interaction. I begin by pointing out that the laws of nature are or at least should be what physicalists worry about (chapter 10). I then proceed with a historical survey on the development of the notion of laws of nature (chapter 11) that sheds light on its theistic origin. This is followed by an inquiry into the question how a law of nature could possibly be broken (chapter 12) and a survey of the extant metaphysical theories of the laws of nature with special regard to their receptivity to interaction (chapter 13). Finally, in chapter 14 I develop a theory of the laws of nature both faithful to their divine origin and the possibility of mental interaction: dispositionalist divine decretalism, a synthesis of dispositionalism and Jeffrey Koperski’s divine decretalism. (shrink)

Physicalists typically believe that neurophysiology has refuted the thesis that non-physical minds can interact with the brain. In this paper, I argue that it is precisely a closer look at the neurophysiology of volitional actions that suggests otherwise. I start with a clarification of how the present inquiry relates to the main argument for physicalism, and how the most common alternative views relate to the findings of my study. I then give a brief overview of the neurophysiological research about volitional (...) actions, finding that there is no research specifically directed at the pertinent question. I proceed by pointing out what it would take for a complete physical explanation of volitional actions to be true: namely a complete physical explanation of the increase in the firing rate of the neurons with which the sequence leading up to volitional actions starts. Since no dedicated research about this question is available, I offer a study of the known mechanisms of neuronal excitation as a substitute, finding that there is no plausible biochemical or physical mechanism that could explain the causal initiation of volitional actions – at least none that upholds energy conservation. But non-conservation is precisely what interactive dualism, in its most plausible version, predicts. Thus, rather than buttressing physicalism, our empirical knowledge of volitional actions points toward interactive dualism. (shrink)

A defense of the value of studying what Aristotle, in the Politics, refers to as useless things, and thereby a defense of the 'uselessness' of the study of the liberal arts.

The thesis that subsumption is sufficient for explanation is dying out, but the thesis that it is necessary is alive and well. It is difficult to attack this thesis: non-subsumptive counter-examples are declared incomplete, or mere promissory notes. No theory, it is thought, can be explanatory unless it resorts to subsumption at some point. In this paper I attack this thesis by describing a theory that (1) would explain every event it could describe, (2) does not explain by subsumption, and (...) (3) is fundamental in that it is understood to be irreducible (hence there are no unstated laws waiting in the wings). (shrink)

This essay explicates the primary interpretative import of B1: 31-32 in Parmenides poem (On Nature)—lines which have radical implications for the overall argument, and which the traditional arrangement forces into an irreconcilable dilemma. I argue that the “negative” reading of lines 31-32 is preferable, even on the traditional arrangement. This negative reading denies that a third thing is to be taught to the reader by the goddess—a positive account of how the apparent world is to be “acceptably” understood. I then (...) suggest that a rearrangement of the fragments would make more sense overall, while further supporting the “negative” reading as more natural and coherent. In particular, the rearrangement dispels the objection that, “if mortal opinions were not true, why would Parmenides include such a lengthy false account of the apparent world--an account which explicitly denies the conclusions of the earlier section, Truth?”. (shrink)

From Soul to Self takes us on a fascinating journey through philosophy, theology, religious studies and physiological sciences. The contributors explore the relationship between a variety of ideas that have arisen in philosophy, religion and science, each idea seeking to explain why we think we are somehow unique and distinct.

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)

Peirce and Dewey were generally more concerned with the process of scientific activity than purely mathematical work. However, their accounts of knowledge production afford some insights into the epistemology of mathematical postulates, especially definition and axioms. Their rejection of rationalist metaphysics and their emphasis on continuity in inquiry provides the pretext for the pragmatic a priori – hypothetical and operational assumptions whose justification relies on their fruitfulness in the long run. This paper focuses on the application of this idea to (...) the epistemology of definitions and an account of progress in mathematics, although it has broader implications for the study of conceptual change and the function and basis of presuppositions in the sciences. (shrink)

The standard assumption for what perception must do in order to represent a “higher level” content—say, tiger—is that it must represent the kind as such. I argue that this “as such condition” is not constitutive of what it means for a content to be “higher‐level”, and that embracing it produces a range of unfortunate dialectical consequences. After offering this critique, I give an alternative construal, the “extended perceptual space” view of higher‐level contents. This view captures the phenomena targeted by the (...) “higher‐level content” thesis, is empirically supported, and avoids the negative dialectical consequences of the as such condition. (shrink)

In this article I argue that the value of epistemic justification cannot be adequately explained as being instrumental to truth. I intend to show that false belief, which is no means to truth, can nevertheless still be of epistemic value. This in turn will make a good prima facie case that justification is valuable for its own sake. If this is right, we will have also found reason to think that truth value monism is false: assuming that true belief does (...) have value, there is more of final epistemic value than mere true belief. (shrink)

We lay out the fatalist’s argument, making sure to clarify which dialectical moves are available to the libertarian. We then offer a more robust presentation of Ockhamism, responding to obvious objections and teasing out the implications of the view. At this point, we discuss presentism and eternalism in more detail. We then present our argument for the claim that the libertarian cannot take Ockham’s way out of the fatalism argument unless she rejects presentism. Finally, we consider and dispense with objections (...) to our argument. In the end, it ought to be clear that the libertarian must make a choice between Ockham’s way out and presentism. (shrink)

Skipper and Millstein analyze natural selection and mechanism, concluding that natural selection is not a mechanism in the sense of the new mechanistic philosophy. Barros disagrees and provides his own account of natural selection as a mechanism. This discussion identifies a missing piece of Barros's account, attempts to fill in that piece, and reconsiders the revised account. Two principal objections are developed: one, the account does not characterize natural selection; two, the account is not mechanistic. Extensive and persistent variability causes (...) both of these difficulties, so further attempts to describe natural selection as a mechanism are also unlikely to succeed. (shrink)

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

The standard treatment of conditional probability leaves conditional probability undefined when the conditioning proposition has zero probability. Nonetheless, some find the option of extending the scope of conditional probability to include zero-probability conditions attractive or even compelling. This article reviews some of the pitfalls associated with this move, and concludes that, for the most part, probabilities conditional on zero-probability propositions are more trouble than they are worth.

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)

Literature in epistemology tends to suppose that there are three main types of understanding – propositional, atomistic, and objectual. By showing that all apparent instances of propositional understanding can be more plausibly explained as featuring one of several other epistemic states, this paper argues that talk of propositional understanding is unhelpful and misleading. The upshot is that epistemologists can do without the notion of propositional understanding.

Goldman, though still a reliabilist, has made some recent concessions to evidentialist epistemologies. I agree that reliabilism is most plausible when it incorporates certain evidentialist elements, but I try to minimize the evidentialist component. I argue that fewer beliefs require evidence than Goldman thinks, that Goldman should construe evidential fit in process reliabilist terms, rather than the way he does, and that this process reliabilist understanding of evidence illuminates such important epistemological concepts as propositional justification, ex ante justification, and defeat.

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

Despite their popularity, relatively scant attention has been paid to the upshot of Bayesian and predictive processing models of cognition for views of overall cognitive architecture. Many of these models are hierarchical ; they posit generative models at multiple distinct "levels," whose job is to predict the consequences of sensory input at lower levels. I articulate one possible position that could be implied by these models, namely, that there is a continuous hierarchy of perception, cognition, and action control comprising levels (...) of generative models. I argue that this view is not entailed by a general Bayesian/predictive processing outlook. Bayesian approaches are compatible with distinct formats of mental representation. Focusing on Bayesian approaches to motor control, I argue that the junctures between different types of mental representation are places where the transitivity of hierarchical prediction may be broken, and I consider the upshot of this conclusion for broader discussions of cognitive architecture. (shrink)

Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...) the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto. (shrink)

In Van Cleve's "Problems from Kant," it is suggested that his interpretation of Kant's metaphysics resolves the problem of "The Neglected Alternative"--the worry that Kant failed to consider that space and time, while perhaps necessary for sensible intuition, could also be objectively real in-themselves. However, it is far from clear how Van Cleve is supposed to have solved this objection. This paper examines why Van Cleve might have thought the problem resolved on his view, and argues that there is no (...) reason to think the problem has in fact been resolved. (shrink)

We rely on language to know the minds of others, but does language have a role to play in knowing our own minds? To suppose it does is to look for a connection between mastery of a language and the epistemic relation we bear to our inner lives. What could such a connection consist in? To explore this, I shall examine strategies for explaining self-knowledge in terms of the use we make of language to express and report our mental states. (...) Success in these strategies will depend on the view we take of speakers' understanding of the words they use to speak their minds. The key is to avoid circularity in the account of how they know what they mean; for if knowing what one is saying in speaking a language provides a means of knowing one's own mind, it cannot simply be a part of it. I shall look at ways in which we might proceed here, and examine whether the strategy can make room for a genuinely first-person point of view. But first let me try to motivate the problem of self-knowledge. (shrink)

Many advocate practices of ‘local food’ or ‘locavorism’ as a partial solution to the injustices and unsustainability of contemporary food systems. I think that there is much to be said in favor of local food movements, but these virtues are insufficient to immunize locavorism from criticism. In particular, three duties of international ethics—beneficence, repair and fairness—may provide reasons for constraining the developed world’s permissible pursuit of local food. A complete account of why (and how) the fulfillment of these duties constrains (...) locavorism will require extensive empirical evidence about the relationship between agricultural demand-led industrialization, international trade (rules), and local food practices. In this paper I can only gesture at some of this evidence and, for that reason, my policy prescriptions are merely provisional. Instead, the upshot of this paper is that advocates of locavorism ought to be attentive to the empirical-dependence of the moral permissibility of their projects. As local food ‘scales up’—and comes to be embraced as a goal of political communities—these concerns should receive even greater attention. (shrink)

Abstract This paper explores Reiner Schürmann’s account of perigrinal ontology from the perspective of Meister Eckhart. What is so extraordinary about his work is its retrieval of nuances in Plato’s philosophy of mind. Professor Schürmann’s approach to Philosophy focused on a philosopher’s philosophy of mind. For example, his course titles, such as Augustine’s Philosophy, were listed and taught in Augustine’s Philosophy of Mind. The advantage of his approach can best be seen in his study of the Medieval Philosopher Meister Eckhart. (...) In this work, Professor Schürmann totalizes the relationship between the will and the intellect and unites the different categories of Platonic philosophy under the concept of perigrinal ontology. Instead of treating epistemology or aesthetics in isolation, they are examined as they relate to ontology. In Plato’s epistemology, the highest form of knowing is different; at its highest point, knowledge is a seeing. Meister Eckhart and the other Neoplatonic philosophers continued the argument that Plato initiated. This is not an instance of Gnosticism in that the successors of Plato in the Christian tradition are not introducing new material but are extending Plato’s philosophy. At the center of the controversies about Meister Eckhart’s alleged departure from Christian doctrine is the oneness with God. Here, Professor Schürmann acts like a good editor. He painstakingly draws out pertinent distinctions to demonstrate Meister Eckhart’s adherence to tradition. It is interesting in this light to consider what Saint Thomas Aquinas has said on some of these same issues. One can see, too, that Meister Eckhart is a good deal closer to Saint Thomas than is generally thought. Saint Thomas's writings are full of references to Neoplatonic philosophers, but he also actively engages with their ideas. Though exploring this is beyond this paper's scope, Saint Thomas’s commentary of the Christian Neoplatonist Pseudo Dionysius primarily supports this point. We also need to recall that the period in which all this unfolded was a period in history marked by the democratization of religion. More importantly, Meister Eckhart’s time was informed by the democratization of theology. Meister Eckhart’s writings and personal commitment to that project are noteworthy in this context. His decision to teach women in religious orders advanced theology, a historical breakthrough. There are some notable debates that Professor Schürmann addressed in this work. Perhaps chief among these is the overly close connection between the writings of Meister Eckhart and that of the late Heidegger. It had been suggested that Martin Heidegger’s interest in Zen Buddhism was thought to include that of Meister Eckhart. Waiting upon Being and detachment or releasement were similar in these three schools of thought. Professor Schürmann viewed this as a form of syncretism, the mashing up of ideas that seem similar but have important distinctions. For Professor Schürmann, the absolute absence of the faculty of the will in Meister Eckhart’s work distinguished him from these other philosophies. It is striking that Professor Schürmann repeatedly cites texts where Meister Eckhart sees the highest form of knowledge as purely a feature of the intellect. He even goes so far as to note that the will is almost absent from Meister Eckhart’s philosophy of mind. -/- . (shrink)

Epistemic internalism, by stressing the indispensability of the subject’s perspective, strikes many as plausible at first blush. However, many people have tended to reject the position because certain kinds of beliefs have been thought to pose special problems for epistemic internalism. For example, internalists tend to hold that so long as a justifier is available to the subject either immediately or upon introspection, it can serve to justify beliefs. Many have thought it obvious that no such view can be correct, (...) as it has been alleged that internalism cannot account for the possibility of the justification of beliefs stored in memory. -/- My aim in this paper is to offer a response that explains how memory justification is possible in a way that is consistent with epistemic internalism and an awareness condition on justification. Specifically, I will explore the plausibility of various options open to internalists, including both foundationalist and non-foundationalist approaches to the structure of justification. I intend to show that despite other difficult challenges that epistemic internalism might face, memory belief poses no special problems that the resources of internalism cannot adequately address. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

Fictionalism in ontology is a mixed bag. Here I focus on three main variants—which I label after the names of Pascal, Berkeley, and Hume—and consider their relative strengths and weaknesses. The first variant is just a version of the epistemic Wager, applied across the board. The second variant builds instead on the fact that ordinary language is not ontologically transparent; we speak with the vulgar, but deep down we think with the learned. Finally, on the Humean variant it’s the structure (...) of the ontological inventory, not its content, that may turn out to involve fictional elements. That is, for the Humean the fiction lies, not in the reality of common-sense ontology, but in the laws—of unity, identity, causation, etc.—in terms of which we articulate our experience of that reality. In the end, this is the kind of fictionalism that I find most interesting, sensible, and tenable. And I argue that it is even compatible with the sort of “naive” realism we have all come to appreciate in the work of Paolo Bozzi, to whom the paper is dedicated. (shrink)

Many assume that whenever government is entitled to make a law, it is entitled to enforce that law coercively. I argue that the justification of legal authority and the justification of governmental coercion come apart. Both in ideal theory and in actual human societies, governments are sometimes entitled to make laws that they are not entitled to enforce coercively.

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)

Climate adaptation and resilience scholars are struggling to address distributive and procedural justice in climate resilience efforts. While the capability approach (CA) has been widely appraised as a suitable justice basis for this context, there are few detailed studies assessing this possibility. This paper addresses this gap by advancing discussions about the prospects of the CA for guiding justice work in climate resilience. With its emphasis on the final value and mutually irreducible character of the concrete beings and doings of (...) individuals, we find the CA relevant for tackling salient aspects of adaptation, such as the multi-faceted and locally specific nature of climate vulnerability. We also present and discuss a capability application that has particular relevance for including distributive and procedural justice considerations in climate resilience. On the other hand, we find that extant arguments in support of the CA neglect the limitations of the CA and some dilemmas involved in applying it, also overestimating the differences between the CA and other justice approaches, especially those based on resources and needs. These problems lead us to advise against treating the CA as a one-size-fits-all solution to the ills of climate resilience and they further raise a need for joining efforts with complementary approaches. -/- . (shrink)

Warning: includes two somewhat graphic images. This paper is an effort to lay out a taxomony of conceptual relations between the domains of the sublime and the religious. -/- .

Global climate change is one of the most widely discussed problems of our time. However, many libertarian thinkers have not participated in the ethical dimensions of this discussion due to a narrow focus on the scientific basis for concern about climate change. In this paper, I reject this approach and explore the kind of response libertarians should be offering instead. I frame the climate change problem as one which concerns potential rights-infringements and explore different ways in which climate change might (...) be thought to infringe upon rights. I conclude that there are some ways in which climate change might be expected to result in rights-infringements, but that some of the current concern about climate change cannot be reconciled with a rights-oriented paradigm. I close by outlining future directions for research, emphasizing that much remains to be done in order to formulate a complete libertarian perspective on climate change. (shrink)

Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, with (...) its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias? (shrink)

Recent work by Peijnenburg, Atkinson, and Herzberg suggests that infinitists who accept a probabilistic construal of justification can overcome significant challenges to their position by attending to mathematical treatments of infinite probabilistic regresses. In this essay, it is argued that care must be taken when assessing the significance of these formal results. Though valuable lessons can be drawn from these mathematical exercises (many of which are not disputed here), the essay argues that it is entirely unclear that the form of (...) infinitism that results meets a basic requirement: namely, providing an account of infinite chains of propositions qua reasons made available to agents. (shrink)

An examination of the role played by general rules in Hume's positive (nonskeptical) epistemology. General rules for Hume are roughly just general beliefs. The difference between justified and unjustified belief is a matter of the influence of good versus bad general rules, the good general rules being the "extensive" and "constant" ones.

The theory and philosophy of artificial intelligence has come to a crucial point where the agenda for the forthcoming years is in the air. This special volume of Minds and Machines presents leading invited papers from a conference on the “Philosophy and Theory of Artificial Intelligence” that was held in October 2011 in Thessaloniki. Artificial Intelligence is perhaps unique among engineering subjects in that it has raised very basic questions about the nature of computing, perception, reasoning, learning, language, action, interaction, (...) consciousness, humankind, life etc. etc. – and at the same time it has contributed substantially to answering these questions. There is thus a substantial tradition of work, both on AI by philosophers and of theory within AI itself. - The volume contains papers by Bostrom, Dreyfus, Gomila, O'Regan and Shagrir. (shrink)

This paper offers an overview of consciousness and personal identity in eighteenth-century philosophy. Locke introduces the concept of persons as subjects of consciousness who also simultaneously recognize themselves as such subjects. Hume, however, argues that minds are nothing but bundles of perceptions, lacking intrinsic unity at a time or across time. Yet Hume thinks our emotional responses to one another mean that persons in everyday life are defined by their virtues, vices, bodily qualities, property, riches, and the like. Rousseau also (...) takes persons to be fundamentally determined by our socially-mediated emotional responses to one another, though unlike Hume or Locke, he has little interest in placing this account of persons alongside a larger discussion of the human mind and its operations. Developing this idea further, Kant argues that our moral commitments require that we must take ourselves to be free. The fundamental equality that Rousseau sought in the political order is, for Kant, a requirement that reason puts on all of us. (shrink)

This paper is an attempt to argue that there existed a very prominent view of signs and signification in late sixteenth- and seventeenth-century Europe which can help us to understand several puzzling aspects of baroque culture. This view, called here "pansemioticism," constituted a fundamental part of the baroque conception of the world. After sketching the content and importance of pansemioticism, I will show how it can help us to understand the (from a modern perspective) rather puzzling concept of the polymath, (...) or polyhistor, which constituted the ideal of the baroque scientist. In this context I will also discuss a seventeenth century phenomenon essentially connected with polyhistorism, namely that of the early modem polyhistorical collections, the Wunderkamnmern. Since such a study needs a clearly determined focal point, we will concentrate on the last three quarters of the seventeenth century and will mainly discuss works by German authors of the time. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (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)

This is a supplement to our book "Le tribolazioni del filosofare. Comedia metaphysica ne la quale si tratta de li errori & de le pene de l’Infero". It features an entirely new canto of the poem (originally thought to be lost) along with an extensive commentary. The canto covers the first ring of the circle of the Sullen, which hosts the Adverse to the Possible, and deals with several philosophical questions concerning the metaphysics of modality.

In "Evil and the Justice of God", N.T. Wright presses the point that attempting to solve the philosophical problem of evil is an immature response to the existence of evil--a response that belittles the real problem of evil, which is just the fact that evil is bad and needs to be dealt with. As you might expect, I am not inclined to endorse this sort of sweeping indictment of the entire field of research on the philosophical problem of evil. (I (...) sort of doubt that Wright really meant to either.) But I do think that there is a kernel of truth in what I take to be Wright's fundamental objection to attempts to solve the philosophical problem of evil. In the first section of what follows, I will try briefly to explain why. I will then go on to argue that, despite this fact, certain efforts at solving the problem of evil avoid Wright's objection. Indeed, drawing on recent work by Elenore Stump, I will argue that one perfectly legitimate way to try to solve the philosophical problem of evil is to follow precisely what seems to be the main piece of advice in "Evil and the Justice of God": namely, to look more seriously than we have at the attitudes taken toward evil by human authors of and characters in the Bible, and to attend more carefully to what the Bible says about how God deals with evil. (shrink)