The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. Whenever the pure simulation of the input to simulating halt decider H(x,y) never stops running unless H aborts its simulation H correctly aborts this simulation and returns 0 for not halting.

The authors propose a nested dissection approach to finding a fundamental cycle basis in a planar graph. The cycle basis corresponds to a fundamental null-space basis of the adjacency matrix. This problem is meant to model sparse null-space basis computations occurring in a variety of settings. An O(n3/2) bound is achieved on the nullspace basis size (i.e., the number of nonzero entries in the basis), and an O(n log n) bound on the size in the special case of grid (...) graphs. (shrink)

Many philosophers have found change puzzling. How can it be that something changes in its properties and yet remains the same thing? How can one and the same thing have these different properties? Questions of this sort, about the persistence of things through change, have been an ongoing feature of philosophical discussion since the beginning of the discipline. I think that there is something puzzling here, and that investigating change can be a fruitful way of trying to understand a nest (...) of connected issues concerning identity, time, tense, objects, properties, and instantiation. But not all agree. In some fairly recent papers, for instance, it has been argued that change is not problematic: there is nothing to be worried about. The phenomenon of change, it is suggested, is not one of particular philosophical interest, and we shouldn’t expect it to illuminate our wider discussion. As I have said, I think that change is problematic. I think it is initially mysterious how things can change. I believe working through the problem can tell us things about what the world is like, and thus that it is worthwhile doing so. In this paper I’ll defend the problem from the attempted dissolutions of it. In brief, my argument will be that what we are offered is not a real dissolution of the problem but rather an existing solution to the problem, namely adverbialism. This solution is not universally or even generally accepted. Pointing to a contested solution to a problem is doesn’t successfully dissolve that problem, so the problem of change is not successfully dissolved. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

The representation of propositional attitudes (beliefs, desires, etc.) and the analysis of natural-language, propositional-attitude reports presents difficult problems for cognitive science and artificial intelligence. In particular, various representational approaches to attitudes involve the incorrect “imputation,” to cognitive agents, of the use of artificial theory-laden notions. Interesting cases of this problem are shown to occur in several approaches to attitudes. The imputation problem is shown to arise from the way that representational approaches explicate properties and relationships, and in particular (...) from the way they explicate propositional attitudes themselves. Another factor contributing to imputation is the compositional nature of typical semantic approaches to propositional-attitude reports. Some strategies for avoiding undesirable imputation are examined. One of the main conclusions is that the importance of imputations that arise in a representation scheme depends strongly on the use to which the scheme is put -- on whether, for instance, the scheme is used as part of a formal, objective account of natural language, or is used rather as a representational tool within an agent. (shrink)

In his book "The Structure of Behavior", the philosopher Maurice Merleau-Ponty proposes a solution to the mind-body problem. Merleau-Ponty argues that there is a nested hierarchy of three orders—the physical order, the biological order, and the mental order—in which each lower order composes each higher order. Through the structuration or organization of a lower order, a higher order is created. Merleau-Ponty’s solution is promising, but it leaves an explanatory chasm between the biological order and the mental order that cannot (...) be crossed without introducing an intermediary order. I propose just that: the addition of a fourth order—the computational order—to bridge the chasm. (shrink)

We argue that the logical outcome of the cladistics revolution in biological systematics, and the move towards rankless phylogenetic classification of nested monophyletic groups as formalized in the PhyloCode, is to eliminate the species rank along with all the others and simply name clades. We propose that the lowest level of formally named clade be the SNaRC, the Smallest Named and Registered Clade. The SNaRC is an epistemic level in the classification, not an ontic one. Naming stops at that level (...) because there is no currently acceptable evidence for clades within it, not because no smaller clades exist. Later, included clades may be named. They would then become the SNaRCs, while the original SNaRC would keep its original name. We argue that all theoretical tasks of biology, in evolution and ecology, as well as practical tasks such as conservation assessment, are better approached using this rankless phylogenetic approach. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

Resumo: Neste artigo, apresentamos uma versão de uma teoria que eu chamarei de Contextualismo Epistêmico ‒ a visão de que o contexto e os padrões determinados por ele desempenham um papel central na avaliação de se um agente epistêmico tem, ou não, justificação e, portanto, conhecimento ‒ para tentar resolver um dos problemas mais influentes em epistemologia, a saber, o Problema do Regresso epistêmico. O primeiro passo será o de caracterizar o problema do regresso epistêmico. Em seguida, apresentaremos uma importante (...) distinção que é útil para um melhor entendimento da nossa tese, isto é, a distinção entre justificação proposicional e doxástica. Então, abordaremos as visões tradicionais que supostamente alegam resolver este problema, mostrando que todas são problemáticas. Por fim, apresentaremos a visão que pretendemos defender, mostrando como ela pode oferecer uma resposta ao problema do regresso epistêmico, de uma maneira que as outras visões não podem. Palavras-chave: Regresso Epistêmico, Justificação, Conhecimento, Contextualismo Epistêmico. Abstract: In this paper we present a version of a theory that we will call Epistemic Contextualism - the view that the context and the standards that it determines, play a central role in evaluating whether, or not, a subject has justification, and therefore knowledge - to try to solve one of the most influential problems in epistemology, namely, the Epistemic Regress Problem. The first step will be to characterize the epistemic regress problem. Next, we present an important distinction that is useful to a better understanding of our view, that is, the distinction between propositional and doxastic justification. Then, we present traditional views that allegedly claim to solve this problem showing that all are problematic. The final step concerns the exposition of the view we want to defend, showing how it can solve the epistemic regress problem in a way that the other views cannot. Keywords: Epistemic Regress, Justification, Knowledge, Epistemic Contextualism. (shrink)

Relational Quantum Mechanics is an interpretation of quantum mechanics proposed by Carlo Rovelli. Rovelli argues that, in the same spirit as Einstein’s theory of relativity, physical quantities can only have definite values relative to an observer. Relational Quantum Mechanics is hereby able to offer a principled explanation of the problem of nested measurement, also known as Wigner’s friend. Since quantum states are taken to be relative states that depend on both the system and the observer, there is no inconsistency (...) in the descriptions of the observers. Federico Laudisa has recently argued, however, that Rovelli’s description of Wigner’s friend is ambiguous, because it does not take into account the correlation between the observer and the quantum system. He argues that if this correlation is taken into account, the problem with Wigner’s friend disappears and, therefore, a relativization of quantum states is not necessary. I will show that Laudisa’s criticism is not justified. To the extent that the correlation can be accurately reflected, the problem of Wigner’s friend remains. An interpretation of quantum mechanics that provides a solution to it, like Relational Quantum Mechanics, is therefore a welcome one. (shrink)

Neste texto trato da possibilidade de defender uma “ontolo- gia da singularidade” e seus reflexos no problema do conhecimento, bem como de oferecer uma introdução à questão da linguagem, todos estes problemas compreendidos como elementos de interesse no pensamento de Ludwig Feuerbach (1804-1872), restringindo-me a uma investigação situada nos limites de Zur Kritik der Hegelschen Philosophie (1839). Em primeiro lugar procuro desenvolver a demarcação con- ceitual do que chamo de “ontologia da singularidade”, pressuposto a partir do qual coube a Feuerbach (...) empreender uma rearticulação da filosofia com a realidade material concreta, e as implicações desta questão para o tema do conhecimento. Em segundo, proponho que estes problemas parecem vir de algum modo relacionados a uma discussão sobre a linguagem, concebida como meio de expressão do pensamento. -/- This text deals with the possibility of defending “ontology of singularity” and its reflexes on the problem of knowl- edge, as well as offering an introduction to the question of language, all these problems understood as elements of interest in Ludwig Feuerbach’s thought (1804-1872), what bounds the investigation to the limits of Zur Kritir der Hegelschen Philosophie (1839). It seeks, firstly, to develop the conceptual demarcation of what is called here in this work “ontology of singularity”, on the basis of which it was up to Feuerbach to come up with the reartic- ulating of philosophy with concrete material reality, including the implications of this question for the theme of knowledge. On a second hand, it is proposed that these problems seem to come in some way from a discussion of language conceived as a means of expressing thought. (shrink)

There are well-known problems for formalist accounts of game-play with regards to cheating. Such accounts seem to be committed to cheaters being unable to win–or even play–the game, yet it seems that there are instances of cheaters winning games. In this paper, I expand the discussion of such problems by introducing cases of pre-game cheating, and see how a formalist–specifically a Suitsian–account can accommodate such problems. Specifically, I look at two (fictional) examples where the alleged game-players cheat prior to a (...) game-instance in such as a way as to cast doubt on whether the alleged game-players are truly playing the game. To escape the worries brought about by these examples of pre-game cheating, I will appeal to the concept of nested games. This concept will give us the needed tools to explain how the alleged players are cheating and how the alleged players are players. On the whole, this discussion should help illuminate some important issues with regards to cheating and rules on a Suitsian account of game-play, and help give support for formalist accounts more generally. (shrink)

Resumo O meu objetivo neste artigo é examinar criticamente o argumento de Kripke contra a teoria da identidade tipo-tipo. Assumindo a tese da necessidade da identidade, bem como a tese da designação rígida, Kripke sustenta que se a dor é idêntica à estimulação das fibras C, então a dor é necessariamente idêntica à estimulação das fibras C. No entanto, precisamente porque a proposição expressa pela frase “a dor não é idêntica à estimulação das fibras C” é uma possibilidade metafísica, Kripke (...) conclui, por modus tollens, que não há identidade entre dor e estimulação das fibras C. Por isso, a teoria da identidade tipo-tipo não é uma solução bemsucedida para o problema da mente-corpo. Este artigo tem duas partes. Na primeira parte, que é expositiva, apresento o argumento de Kripke contra a teoria da identidade tipo-tipo. Subsequentemente, ponho em causa o argumento de Kripke, argumentando que não é procedente, pois a nossa situação epistémica atual não nos permite determinar se é metafisicamente possível a dor não ser idêntica à estimulação das fibras C. Assim, Kripke não refuta a teoria da identidade tipo-tipo. Palavras-chave : designação rígida, filosofia da mente, identidade tipo-tipo, Kripke, necessidade da identidadeMy aim in this paper is to critically assess Kripke’s argument against the type-type identity theory. Assuming the thesis of the necessity of identity, as well as the thesis of rigid designation, Kripke holds that if pain is identical with C-fibre firing, then pain is necessarily identical with C-fibre firing. However, precisely because the proposition expressed by the sentence “pain is not identical with C-fibre firing” is a metaphysical possibility, Kripke concludes, by modus tollens, that pain and C-fibre firing are not identical. Therefore, the type-type identity theory is not a successful solution to the mind-body problem. So this paper has two parts. In the first part, which is expositive, I present Kripke’s argument against the type-type identity theory. After that, I will dispute Kripke’s argument, arguing that it is not sound, for our current epistemic situation does not allow us to determine whether it is a metaphysical possibility that pain is not identical with C-fibre firing. Thus, Kripke does not refute the type-type identity theory. Keywords : Kripke, necessity of identity, philosophy of mind, rigid designation, type-type identity. (shrink)

Solutions to the urban problems of the future must assume the new reality of megacities. The inevitable technological progress must find a balance with the ‘bio-ecological' recovery of the natural environment. In the vertical bionic city, all these occur; bio intelligence and giant structures of the city are merged into a single. These structures try to survive by relying on working together as a single organism alive, as ants work in their nest. What makes them so efficient? What makes them (...) work all together? What will be the future form of our building environment? Our future habitable environment is more likely to be in a vertical built form, against the horizontal city form. There are many reasons to believe that the new vertical cities will be more sustainable than the conventional horizontal cities. If this logic is accepted as the future scenario, then the question facing all planners and architects today is: Should we take this built form and make it more socially accepted, physically habitable, and human? This paper examines some of the key implications of this scenario, and the criteria for the design and planning of our future sustainable built environment as the vertical cities in the sky. (shrink)

Neste artigo, analisa-se como as histórias em quadrinhos sobre automo-bilismo, notadamente a do personagem Michel Vaillant, conseguem en- gendrar, em sua narrativa, mundos possíveis, que, mesmo com atributos ficcionais, se vinculam à referencialidade dos fatos ocorridos no esporte. Utilizando o arcabouço teórico de Umberto Eco e de David Lewis, o objetivo aqui é refletir acerca desse exercício de isomorfismo linguístico, bem como desvelar as estratégias altermundistas utilizadas.

Mimicry and deception are two important issues in studies about animal communication. The reliability of animal signs and the problem of the benefits of deceiving in sign exchanges are interesting topics in the evolution of communication. In this paper, we intend to contribute to an understanding of deception by studying the case of aggressive signal mimicry in fireflies, investigated by James Lloyd. Firefly femmes fatales are specialized in mimicking the mating signals of other species of fireflies with the purpose (...) of attracting responding males to become their prey. These aggressive mimics are a major factor in the survival and reproduction of both prey and predator. It is a case of deception through active falsification of information that leads to efficient predation by femmes fatales fireflies and triggered evolutionary processes in their preys’ communicative behaviors. There are even nested coevolutionary interactions between these fireflies, leading to a remarkable system of deceptive and counterdeceptive signaling behaviors. We develop here a semiotic model of firefly deception and also consider ideas advanced by Lloyd about the evolution of communication, acknowledging that deception can be part of the explanation of why communication evolves towards increasing complexity. Increasingly complex sign exchanges between fireflies evolve in an extremely slow pace. Even if deceptive maneuvers are played out time and time again between particular firefly individuals, the evolution of the next level of complexity—and thus the next utterance in the dialogue between species—is likely to take an immense amount of generations. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

Esta pesquisa analisa alguns tópicos sobre a metodologia de acordo com a filosofia da ciência de Larry Laudan, além de examinar, na área da educação, esta proposta de interpretação filosófica. Trouxemos como elementos algumas considerações e definições sobre a metodologia em Laudan, isto é, da metodologia como um instrumento para a realização da axiologia (que são as metas e os valores cognitivos), porém, apresentando também interessantes relações para com as teorias específicas, como o de justificar as teorias específicas e de (...) ser restringida por elas. A metodologia é também, dentro do modelo reticulado de Laudan, justificada pela axiologia. Para além desta análise, há também uma defesa da metodologia enquanto o estudo dela própria, o que permite encontrarmos conexões interessantes em teorias da educação, como no caso da investigação-ação, onde vemos que estamos diante de uma tradição de pesquisa nos moldes defendidos pela filosofia da ciência de Laudan, por reconhecermos que temos um modelo reticular composto por teorias específicas, metodologias e axiologia também na área da educação. Veremos também que a metodologia em Laudan possui um caráter dinâmico, tensionando e sendo tensionada pelos componentes da tradição de pesquisa, caracterizando o modelo reticulado de racionalidade proposto pelo filósofo. Este debate em Laudan, juntamente com a tradição de pesquisa da investigação-ação da área da educação serão investigados neste artigo. Como base para a construção deste texto, utilizamos as seguintes obras de Laudan: The Progress and its problems: towards a theory of scientific growth (1977), Science and Values (1984a), Explaining the success of science: beyond epistemic realism and relativism (1984b), Methodology’s prospects (1986), Progress or Rationality? The Prospects for Normative Naturalism (1987a), Aim-less Epistemology? (1990a) e Normative Naturalism (1990b). (shrink)

This article provides an answer to the question: What is the function of cognition? By answering this question it becomes possible to investigate what are the simplest cognitive systems. It addresses the question by treating cognition as a solution to a design problem. It defines a nested sequence of design problems: (1) How can a system persist? (2) How can a system affect its environment to improve its persistence? (3) How can a system utilize better information from the environment (...) to select better actions? And, (4) How can a system reduce its inherent informational limitations to achieve more successful behavior? This provides a corresponding nested sequence of system classes: (1) autonomous systems, (2) (re)active autonomous systems, (3) informationally controlled autonomous systems (autonomous agents), and (4) cognitive systems. -/- This article provides the following characterization of cognition: The cognitive system is the set of mechanisms of an autonomous agent that (1) allow increase of the correlation and integration between the environment and the information system of the agent, so that (2) the agent can improve the selection of actions and thereby produce more successful behavior. -/- Finally, it shows that common cognitive capacities satisfy the characterization: learning, memory, representation, decision making, reasoning, attention, and communication. (shrink)

Representationalists who hold that phenomenal character can be explained in terms of representational content currently cannot explain counter-examples that involve indeterminate perceptual content, such as in the case of objects seen blurrily by someone with poor eyesight, or objects seen vaguely in misty conditions. But this problem can be resolved via provision of a more sophisticated double content (DC) view, according to which the representational content of perception is structured in two nested levels. I start by outlining the DC (...) view via consideration of four closely related cases of perceptual imprecision. Then, after a demonstration that the DC view can also explain imprecise photographic content, inadequacies in the more standard single content (SC) view are demonstrated. The results are then generalized so as to apply to the content of any kinds of non-conventional representation. The paper continues with evidence that a DC account provides a moderate rather than extreme realist account of perception, and it concludes with an initial analysis of the failure of nomic covariance accounts of information in indeterminacy cases. (shrink)

Abstract: The ostrich industry in Egypt is an emerging economic activity, which has spread especially since 1998 on the scale of small and medium farms, some farms and large companies. The study deals with the study of ostriches through an analytical study in economic geography. It deals with several axes including: Ostrich industry in Egypt and ostrich species through the geographical study of ostrich production: in view of the geographical distribution of ostrich farms in ancient Egypt and recent times, Ostrich (...) and hatchery (Incubation), nests and egg laying, and production systems used in farms designated for ostrich. The subject of ostrich farms deals with the types of farms, nutrition, products of ostriches, and the production of meat, leather and feathers of ostriches, along with other products such as fat, eggs, eyes and ostrich oil. The research also deals with diseases affecting the ostriches and treatment and veterinary fortifications. Economic feasibility and the most important problems of ostrich farming in Egypt. (shrink)

We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are (...) $\Sigma^P_3$-complete. We note that the nesting hierarchies for fragments of ATL* collapse in terms of expressiveness above nesting depth 1, hence our results cover all such fragments with lower complexities. (shrink)

Anglo-American general jurisprudence remains preoccupied with the relationship of legality to morality. This has especially been so in the re-reading of Lon Fuller’s theory of an implied morality in any law. More often than not, Fuller has been said to distinguish between the identity of a discrete rule and something called ‘morality’. In this reading of Fuller, however, insufficient attention to what is signified by ‘morality’. Such an implied morality has been understood in terms of deontological duties, the Good life, (...) naturalism, and subjectively posited values. Each of these interpretations has a shared common denominator: namely, the distinction between ‘is’ and ‘ought’, ‘facts’ and ‘values’. Legality is said to be nested in an ‘is’ world. An ‘is’ cannot be derived from an ‘ought’. This essay aims to press this distinction further. Fuller, I intend to argue, does indeed accept the is/ought distinction as have his commentators. The associations of the ‘oughts’ with deontological duties, the Good life, naturalism and subjective values, however, have been misdirected. This has been so because Fuller presupposed that legality was a matter of a spatial structure. Non-law was situated outside the structure. If a legislator or judge considered matters outside the structure as if they were binding upon jurists and, for that matter, upon members of the legal structure, the law was not binding. The crucial incident of the structure was the boundary of the structure. Fuller’s structuralist theory of law offers the opportunity to better understand what he signified by ‘the internal morality of law’. I shall privilege several elements of his theory: the relation of legal units to a structure, the nature of a structure, the constituents of a structure (territorial space, its pillars and its matter); the forms of the legal structure; the centrifugal and centripetal structures, the structure and traditional theories of morality, the role of the legal official in a structure, and why the internal knowledge in the structure is binding. Fuller especially privileged two features of a legal structure. The one was the boundary of the structure. The second concerned the exteriority of the boundary. Both features presupposed a territorial sense view of legal knowledge. The legal mind analysed any social problem through the map of such a sense of legal space. By concentrating upon the discrete rule in isolation of the implied structural boundary to which the rule referred, commentators have attributed been misdirected in their analyses of Fuller’s theory of law and morality. My argument in this respect will proceed as follows. In order to clarify Fuller’s senses of the morality of law, I shall first outline what he means by a ‘structure’. Second, how is the structure related to legal knowledge? Third, what are the various forms of the structure? Fourth, is the structure centrifugal or centripetal? And finally, why is the structure binding? (shrink)

Research on concepts has concentrated on the way people apply concepts online, when presented with a stimulus. Just as important, however, is the use of concepts offline, when planning what to do or thinking about what is the case. There is strong evidence that inferences driven by conceptual thought draw heavily on special-purpose resources: sensory, motoric, affective, and evaluative. At the same time, concepts afford general-purpose recombination and support domain-general reasoning processes—phenomena that have long been the focus of philosophers. There (...) is a growing consensus that a theory of concepts must encompass both kinds of process. This book shows how concepts are able to act as an interface between general-purpose reasoning and special-purpose systems. Concept-driven thinking can take advantage of the complementary costs and benefits of each. The book lays out an empirically-based account of the different ways in which thinking with concepts takes us to new conclusions and underpins planning, decision-making, and action. It also spells out three useful implications of the account. First, it allows us to reconstruct the commonplace idea that thinking draws on the meaning of a concept. Second, it offers an insight into how human cognition avoids the frame problem and the complementary, less discussed, ‘if-then problem’ for nested processing dispositions. Third, it shows that metacognition can apply to concepts and concept-driven thinking in various ways. The framework developed in the book elucidates what it is that makes concept-driven thinking an especially powerful cognitive resource. (shrink)

Se propone un examen crítico de la última obra de J.-L. Marion titulada, dedicada a la unión de alma y cuerpo, y cuya tesis principal es: los problemas que esta unión suscita confunden dos términos, cuerpo y mi cuerpo. Esta confusión lleva a que se apliquen al primero categorías propias del segundo. Se examinan las "paradojas ónticas" que mi cuerpo (la carne) inaugura (a); se despeja la tesis de dos interpretaciones de las meditaciones primera y sexta (b); se discute la (...) "excepción a la metafísica" instaurada por el conocimiento de mi cuerpo (c); se arriesga, siguiendo una indicación del autor, la apertura a una dimensión ética que exige examinar ya no la unión de cuerpo y alma, sino la unión por el amor a un semejante y a la comunidad de semejantes (d). -/- The article carries out a critical examination of J.-L. Marion's latest work, "Sur la pensée passive de Descartes", whose main thesis is that the problems posed by the union of body and soul confuse two terms: body and my body. This confusion leads to the application to the former of categories inherent to the latter. The paper examines the "ontic paradoxes" that my body (the flesh) gives rise to (a); it clarifies the thesis of two interpretations of the First and Sixth Meditations (b); it discusses the "exception to metaphysics" established by the knowledge of my body (c); and, following an indication by the author, it proposes an opening to the ethical dimension, which demands an examination of the union, through love, with a fellow human being and with the community of human beings, rather than of the union of body and soul (d). -/- Neste artigo, propõe-se um exame crítico da última obra de J.-L. Marion, intitulada "Sur la pensée passive de Descartes", dedicada à união de alma e corpo, e cuja tese principal é: os problemas que essa união suscita confundem dois termos, corpo e meu corpo. Essa confusão leva a que se apliquem ao primeiro categorias próprias do segundo. Examinam-se os "paradoxos ônticos" que meu corpo (a carne) inaugura; a tese de duas interpretações das medita ccedil;ões primeira e sexta é esclarecida; arrisca-se, seguindo uma indicação do autor, a abertura a uma dimensão ética que exige examinar já não a união de corpo e alma, mas sim a união pelo amor a um semelhante e à comunidade de semelhantes. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

How do temporal and eternal beliefs interact? I argue that acquiring a temporal belief should have no effect on eternal beliefs for an important range of cases. Thus, I oppose the popular view that new norms of belief change must be introduced for cases where the only change is the passing of time. I defend this position from the purported counter-examples of the Prisoner and Sleeping Beauty. I distinguish two importantly different ways in which temporal beliefs can be acquired and (...) draw some general conclusions about their impact on eternal beliefs. (shrink)

I describe in this paper an ontological solution to the Sleeping Beauty problem. I begin with describing the hyper-entanglement urn experiment. I restate first the Sleeping Beauty problem from a wider perspective than the usual opposition between halfers and thirders. I also argue that the Sleeping Beauty experiment is best modelled with the hyper-entanglement urn. I draw then the consequences of considering that some balls in the hyper-entanglement urn have ontologically different properties from normal ones. In this context, (...) drawing a red ball (a Monday-waking) leads to two different situations that are assigned each a different probability, depending on whether one considers “balls-as-colour” or “balls-as-object”. This leads to a two-sided account of the Sleeping Beauty problem. (shrink)

The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of (...) folk psychology, and from much of the epistemology literature. But it is principled and empirically grounded, and shows good prospects for yielding the desired epistemological verdicts. The paper articulates and elaborates the theory, drawing out some of its consequences. Toward the end, the fleshed-out theory is applied to two important case studies: hallucination and cognitive penetration of perception. (shrink)

This paper explores the idea that many “simple minded” invertebrates are “natural zombies” in that they utilize their senses in intelligent ways, but without phenomenal awareness. The discussion considers how “first-order” representationalist theories of consciousness meet the explanatory challenge posed by blindsight. It would be an advantage of first-order representationalism, over higher-order versions, if it does not rule out consciousness in most non-human animals. However, it is argued that a first-order representationalism which adequately accounts for blindsight also implies that most (...) non-mammals are not conscious. The example of the honey bee is used to illuminate these claims. Although there is some reason to think that bees have simple beliefs and desires, nevertheless, their visually-mediated cognizing is comparable to that of an animal with blindsight. There is also reason to think that the study of blindsight can also help determine how consciousness is distributed in the animal world. (shrink)

Many of us agree that we ought not to wrong future people, but there remains disagreement about which of our actions can wrong them. Can we wrong individuals whose lives are worth living by taking actions that result in their very existence? The problem of justifying an answer to this question has come to be known as the non-identity problem.[1] While the literature contains an array of strategies for solving the problem,[2] in this paper I will take (...) what I call the harm-based approach, and I will defend an account of harming—which I call the existence account of harming—that can vindicate this approach. -/- Roughly put, the harm-based approach holds that, by acting in ways that result in the existence of individuals whose lives are worth living, we can harm and thereby wrong those individuals. An initially plausible way to try to justify this approach is to endorse the non-comparative account of harming, which holds that an event harms an individual just in case it causes her to be in a bad state, such that the state’s badness does not derive from a comparison between that state and some alternative state that the individual would or could have been in. However, many philosophers argue that the non-comparative account of harming is inadequate,[3] and one might be tempted to infer from this that any harm-based approach to the non-identity problem will fail. My proposal, which I call the existence account of harming, will show that this inference is faulty: we can vindicate the harm-based approach without relying on the non-comparative account of harming. (shrink)

Spacetime functionalism is the view that spacetime is a functional structure implemented by a more fundamental ontology. Lam and Wüthrich have recently argued that spacetime functionalism helps to solve the epistemological problem of empirical coherence in quantum gravity and suggested that it also (dis)solves the hard problem of spacetime, namely the problem of offering a picture consistent with the emergence of spacetime from a non-spatio-temporal structure. First, I will deny that spacetime functionalism solves the hard problem (...) by showing that it comes in various species, each entailing a different attitude towards, or answer to, the hard problem. Second, I will argue that the existence of an explanatory gap, which grounds the hard problem, has not been correctly taken into account in the literature. (shrink)

A question that has been largely overlooked by philosophers of religion is how God would be able to effect a rational choice between two worlds of unsurpassable goodness. To answer this question, I draw a parallel with the paradigm cases of indifferent choice, including Buridan's ass, and argue that such cases can be satisfactorily resolved provided that the protagonists employ what Otto Neurath calls an ‘auxiliary motive’. I supply rational grounds for the employment of such a motive, and then argue (...) against the views of Leibniz and Nicholas Rescher to show that this solution would also work for God. (shrink)

There is a large gap between the specialized knowledge of scientists and laypeople’s understanding of the sciences. The novice-expert problem arises when non-experts are confronted with (real or apparent) scientific disagreement, and when they don’t know whom to trust. Because they are not able to gauge the content of expert testimony, they rely on imperfect heuristics to evaluate the trustworthiness of scientists. This paper investigates why some bodies of scientific knowledge become polarized along political fault lines. Laypeople navigate conflicting (...) epistemic and social demands in their acceptance of scientific testimony; this might explain their deference to scientific fringe theories, which often goes together with denying established scientific theories. I evaluate three approaches to mitigate denialism: improving the message, improving the messenger, and improving the environment in which the message is conveyed. (shrink)

Panpsychism is the view that every concrete and unified thing has some form of phenomenal consciousness or experience. It is an age-old doctrine, which, to the surprise of many, has recently taken on new life. In philosophy of mind, it has been put forth as a simple and radical solution to the mind–body problem (Chalmers 1996, 2003;Strawson 2006; Nagel 1979, 2012). In metaphysics and philosophy of science, it has been put forth as a solution to the problem of (...) accounting for the intrinsic nature of the physical itself (Strawson 2006, Seager 2006). In this thesis, I show that panpsychism can also be defended on the basis of an argument from our (arguable) acquaintance with the nature of causation in agency. This argument has made frequent appearances throughout the history of philosophy, with philosophers such as Leibniz, Schopenhauer and James, and I construct and defend an updated version of it. Furthermore, I offer a solution to the combination problem: how can complex (human and animal-type) consciousness result from simple (fundamental particle-type) consciousness? This is generally regarded as the most serious problem facing contemporary panpsychism. I propose that mental combination can be construed as kind causal process culminating in a fusion, and show how this avoids the main difficulties with accounting for mental combination. (shrink)

I extend my direct virtue epistemology to explain how a knowledge-first framework can account for two kinds of positive epistemic standing, one tracked by externalists, who claim that the virtuous duplicate lacks justification, the other tracked by internalists, who claim that the virtuous duplicate has justification, and moreover that such justification is not enjoyed by the vicious duplicate. It also explains what these kinds of epistemic standing have to do with each other. I argue that all justified beliefs are good (...) candidates for knowledge, and are such because they are exercises of competences to know. However, there are two importantly different senses in which a belief may be a good candidate for knowledge, one corresponding to an externalist kind of justification and the other corresponding to an internalist one. I show how the account solves the new evil demon problem in a more satisfactory way than existing accounts. We end up with a view of knowledge, justification, and rationality that is plausible, motivated, and theoretically unified. (shrink)

Our pollution of the environment seems set to lead to widespread problems in the future, including disease, scarcity of resources, and bloody conflicts. It is natural to think that we are required to stop polluting because polluting harms the future individuals who will be faced with these problems. This natural thought faces Derek Parfit’s famous Non-Identity Problem ( 1984 , pp. 361–364). The people who live on the polluted earth would not have existed if we had not polluted. Our (...) polluting behaviour does not make these individuals worse off. It may therefore seem that we do not harm them by polluting. Parfit argues that we should replace person-affecting principles with an impersonal principle of beneficence, Principle Q ( 1984 , p. 360.). I argue that Principle Q cannot give an adequate account of our duties to refrain from polluting. I consider attempts to solve the Non-Identity Problem by denying that to harm someone an agent must make them worse off. I argue that such responses provide a partial solution to the Non-Identity Problem. They do show that we harm future individuals in a morally relevant sense by polluting. Nonetheless, this is only a partial solution. The Non-Identity Problem still suggests that our harm-based reasons not to pollute are less strong than we intuitively believe. Thus on its own an appeal to the claim that we harm future individuals is not able to give a fully satisfactory account of why we are required not to pollute. (shrink)

Hutto and Myin claim that teleosemantics cannot account for mental content. In their view, teleosemantics accounts for a poorer kind of relation between cognitive states and the world but lacks the theoretical tools to account for a richer kind. We show that their objection imposes two criteria on theories of content: a truth-evaluable criterion and an intensionality criterion. For the objection to go through, teleosemantics must be subject to both these criteria and must fail to satisfy them. We argue that (...) teleosemantics meets the truth-evaluable criterion and is not required to meet the intensionality criterion. We conclude that Hutto and Myin’s objection fails. (shrink)

In what follows I propose to bring out certain methodological properties of projects of modelling the tacit realm that bear on the kinds of modelling done in connection with scientific cognition by computer as well as by ethnomethodological sociologists, both of whom must make some claims about the tacit in the course of their efforts to model cognition. The same issues, I will suggest, bear on the project of a cognitive psychology of science as well.

As for most measurement procedures in the course of their development, measures of consciousness face the problem of coordination, i.e., the problem of knowing whether a measurement procedure actually measures what it is intended to measure. I focus on the case of the Perceptual Awareness Scale to illustrate how ignoring this problem leads to ambiguous interpretations of subjective reports in consciousness science. In turn, I show that empirical results based on this measurement procedure might be systematically misinterpreted.

The 'Why ain'cha rich?' argument for one-boxing in Newcomb's problem allegedly vindicates evidential decision theory and undermines causal decision theory. But there is a good response to the argument on behalf of causal decision theory. I develop this response. Then I pose a new problem and use it to give a new 'Why ain'cha rich?' argument. Unlike the old argument, the new argument targets evidential decision theory. And unlike the old argument, the new argument is sound.

Because harm is an important notion in ethics, it’s worth investigating what it amounts to. The counterfactual comparative account of harm, commonly thought to be the most promising account of harm, analyzes harm by comparing what actually happened with what would have happened in some counterfactual situation. But it faces the preemption problem, a problem so serious that it has driven some to suggest we abandon the counterfactual comparative account and maybe even abandon the notion of harm altogether. (...) This paper defends a version of the counterfactual comparative account that solves the preemption problem, a version called the “worse than nothing account.” It says that you harm someone just in case you leave them worse off than if you’d done nothing at all. (shrink)

This paper develops a problem for conciliationism that is structurally similar to the self-undermining problem but which is immune to most of the solutions offered against it. A popular objection to conciliationism is that it undermines itself. Given the current disagreement among philosophers about conciliationism, conciliationism seems to require rejecting conciliationism. Adam Elga (2010) has influentially argued that this shows that conciliationism is an incoherent method. By recommending its own rejection, conciliationism recommends multiple, incompatible responses to the same (...) body of experience. Many have offered solutions to this problem, including Elga himself. However, there is another undermining problem. When a peer disagrees about their own peerhood, conciliationism can require the rejection of the peer’s peerhood. The result is that conciliationism recommends two incompatible responses to the same body of experience in a way that parallels the original self-undermining problem. But since many, if not all, of the proposed solutions to the original undermining problem depend on distinctive characteristics of conciliationism undermining itself, they cannot apply to a peer undermining themself. I illustrate this by dividing the solutions that have been offered against the self-undermining problem into two categories: self-exempting solutions and non-exempting solutions. I then show how the proposed solutions under each type do not extend to the peer-undermining problem. If that is right, then conciliationism is faced with a more difficult undermining problem than has been so far acknowledged. (shrink)

This article reviews eight proposed strategies for solving the Symbol Grounding Problem (SGP), which was given its classic formulation in Harnad (1990). After a concise introduction, we provide an analysis of the requirement that must be satisfied by any hypothesis seeking to solve the SGP, the zero semantical commitment condition. We then use it to assess the eight strategies, which are organised into three main approaches: representationalism, semi-representationalism and non-representationalism. The conclusion is that all the strategies are semantically committed (...) and hence that none of them provides a valid solution to the SGP, which remains an open problem. (shrink)

According to fitting-attitude (FA) accounts of value, X is of final value if and only if there are reasons for us to have a certain pro-attitude towards it. FA accounts supposedly face the wrong kind of reason (WKR) problem. The WKR problem is the problem of revising FA accounts to exclude so called wrong kind of reasons. And wrong kind of reasons are reasons for us to have certain pro-attitudes towards things that are not of value. I (...) argue that the WKR problem can be dissolved. I argue that (A) the view that there are wrong kind of reasons for the pro-attitudes that figure in FA accounts conflicts with the conjunction of (B) an extremely plausible and extremely weak connection between normative and motivating rea- sons and (C) an extremely plausible generality constraint on the reasons for pro- attitudes that figure in FA accounts. I argue that when confronted with this trilemma we should give up (A) rather than (B) or (C) because there is a good explanation of why (A) seems so plausible but is in fact false, but there is no good explanation of why (B) and (C) seem so plausible but are in fact false. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. (...) Based on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

This paper poses a problem of promiscuity for views that endorse material constitution as a metaphysic relation.

The inclusion problem for theories of gender arises when those theories inappropriately fail to include certain individuals in the gender categories to which they ought to belong. The inclusion problem affects both of the most influential traditions in feminist theorizing about gender: social-position accounts and identity accounts. I argue that the inclusion problem can be solved by adopting a structured theory of gender which incorporates aspects of both social-position accounts and identity accounts. According to the theory I (...) favor, an individual’s gender is determined by their gender identity if they have one; otherwise, it is determined by their social position. My structured approach to gender offers a more direct solution to the gender inclusion problem than alternatives recently advocated by Barnes (2020), Jenkins (2023), and others. It also points the way to a simple solution to inclusion problems that arise at the level of gendered language. (shrink)

The prospective introduction of autonomous cars into public traffic raises the question of how such systems should behave when an accident is inevitable. Due to concerns with self-interest and liberal legitimacy that have become paramount in the emerging debate, a contractarian framework seems to provide a particularly attractive means of approaching this problem. We examine one such attempt, which derives a harm minimisation rule from the assumptions of rational self-interest and ignorance of one’s position in a future accident. We (...) contend, however, that both contractarian approaches and harm minimisation standards are flawed, due to a failure to account for the fundamental difference between those ‘involved’ and ‘uninvolved’ in an impending crash. Drawing from classical works on the trolley problem, we show how this notion can be substantiated by reference to either the distinction between negative and positive rights, or to differences in people’s claims. By supplementing harm minimisation with corresponding constraints, we can develop crash algorithms for autonomous cars which are both ethically adequate and promise to overcome certain significant practical barriers to implementation. (shrink)

Fetal reduction is the practice of reducing the number of fetuses in a multiple pregnancy, such as quadruplets, to a twin or singleton pregnancy. Use of assisted reproductive technologies increases the likelihood of multiple pregnancies, and many fetal reductions are done after in vitro fertilisation and embryo transfer, either because of social or health-related reasons. In this paper, I apply Joe Horton’s all or nothing problem to the ethics of fetal reduction in the case of a twin pregnancy. I (...) argue that in the case of a twin pregnancy, there are two intuitively plausible claims: abortion is morally permissible, and it is morally wrong to abort just one of the fetuses. But since we should choose morally permissible acts rather than impermissible ones, the two claims lead to another highly implausible claim: the woman ought to abort both fetuses rather than only one. Yet, this does not seem right. A plausible moral theory cannot advocate such a pro-death view. Or can it? I suggest ways to solve this problem and draw implications for each solution. There are no data in this work. (shrink)