This paper shows how an efficient and parallel algorithm for inference in Bayesian Networks (BNs) can be built and implemented combining sparse matrix factorization methods with variable elimination algorithms for BNs. This entails a complete separation between a first symbolic phase, and a second numerical phase.

Background: The castor bean is a large grassy or semi-wooden shrub or small tree. Any part of the castor plant parts can suffering from a disease that weakens the ability to grow and eliminates its production. Therefore, in this paper will identify the pests and diseases present in castor culture and detect the symptoms in each disease. Also images is showing the symptom form in this disease. Objectives: The main objective of this expert system is to obtain appropriate diagnosis of (...) the disease. Methods: In this paper, the expert system is designed for the ability of agricultural engineers to detect and diagnose disease of castor like as: seeding blight, alternaria blight, cercospora leaf spot, powdery mildew and wilt. This system presents the disease symptoms, survival and spread, favorable conditions and image for each disease. Clips and Delphi expert system languages are used for designing and implementing the proposed expert system. Results: The expert system in the diagnosis of castor diseases was assessed by farmers and agricultural engineers and they were satisfied and accepted with its quality of performance. Conclusions: The expert system is easy for farmers and people have experience in the plant of castor to detect and diagnosis the symptoms that may face this plant from several disease. (shrink)

How can consciousness, how can the mind be causally efficacious in a world which seems—in some sense—to be thoroughly governed by physical causality? Mental causation has been a nagging problem in philosophy since the beginning of the modern age, when, inspired by the rise of physics, a metaphysical picture became dominant according to which the manifest macrophysical world of rocks, trees, colors, sounds etc. could be eliminated in favor of, or identified with, the microconstituents of these entities and their (...) basic physical properties, plus their effects on human or animal minds. Against the background of this ontology, the argument from causal closure, or the causal completeness of physics, exerts strong pressure to also identify consciousness with microphysical entities—or even to eliminate it in favor of the latter—the only other options apparently being either the denial of the causal closure of the physical level, epiphenomenalism about the mind, or the view that its physical effects are generally overdetermined. In this paper, however, I want to introduce what I call the “microstructure view” (MV) of the brain-consciousness relation, and I want to try to make plausible that the problem of mental causation can also be solved, or perhaps rather dissolved, on the basis of this account. On the MV, the minimal neuronal correlates of consciousness—of the global state of consciousness, or specific states of consciousness such as pain—are not identical with these states, but rather constitute their microstructure, or, as I shall also say, equivalently, compose them. (shrink)

Our aim here is to lay the groundwork for formal tree-ring analysis combining data from dendrochronology with formal techniques from semantics. We will present the basic syntax of, and basic compositional semantics of tree-ring structures.

In Tulving’s initial characterization, episodic memory was one of multiple memory systems. It was postulated, in pursuit of explanatory depth, as displaying proprietary operations, representations, and substrates such as to explain a range of cognitive, behavioural, and experiential phenomena. Yet the subsequent development of this research program has, paradoxically, introduced surprising doubts about the nature, and indeed existence, of episodic memory. On dominant versions of the ‘common system’ view, on which a single simulation system underlies both remembering and imagining, there (...) are no processes unique to memory to support robust generalizations with inductive potential. Eliminativism about episodic memory seems to follow from the claim that it has no dedicated neurocognitive system of its own. After identifying this under-noticed threat, we push back against modern eliminativists by surveying recent evidence that still indicates specialized mechanisms, computations, and representations that are distinctly mnemic in character. We argue that contemporary realists about episodic memory can retain lessons of the common system approach while resisting the further move to eliminativism. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the integers, the rationals, and the reals. We develop a technique for approximating a tree as a suitably coloured linear order. We then present the first-order theories of certain classes of coloured linear orders and use them, along with the approximating technique, to establish complete axiomatisations of the (...) four classes of trees mentioned above. (shrink)

Aggregating individuals’ consistent attitudes might produce inconsistent collective attitudes. Some groups therefore need the capacity to form attitudes that are irreducible to those of their members. Such groups, group-agent realists argue, are agents in control of their own attitude formation. In this paper, however, I show how group-agent realism overlooks the important fact that groups consist of strategically interacting agents. Only by eliminating group agency from our social explanations can we see how individuals vote strategically to gain control of their (...) groups and produce collective attitudes we cannot make sense of if we treat groups as agents. (shrink)

A number of approaches to quantum gravity (QG) seem to imply that spacetime does not exist. Philosophers are quick to point out, however, that the loss of spacetime should not be regarded as total. Rather, we should interpret these approaches as ones that threaten the fundamentality but not the existence of spacetime. In this paper, I argue for two claims. First, I argue that spacetime realism is not forced by QG; spacetime eliminativism remains an option. Second, I argue that eliminativism (...) provides a useful framework for developing two existing approaches to the metaphysics of QG, involving functionalism and mereology respectively. (shrink)

John Rawls thinks republicanism is compatible with his political liberalism. Philip Pettit insists that the two conflict in important ways. In this paper, I make sense of this dispute by employing David Chalmers’s method of elimination to reveal the meaning underlying key terms in Rawls’s political liberalism and Pettit’s republicanism. This procedure of disambiguating terms will show how the two theories defend the same institutional arrangement on the same grounds. The procedure thus vindicates Rawls’s view of the two theories (...) being compatible. The reason for this compatibility is that both theories are politicized—that is, they are constructed to attract the compliance of all reasonable members of a modern, pluralistic society. (shrink)

I argue, contrary to the consensus of most contemporary work in ethics, that there are no (fundamentally, distinctively) prudential reasons for action. That is to say: there is no class of reasons for action that is distinctively and fundamentally about the promotion of the agent’s own well-being. Considerations to do with the agent’s well-being can supply the agent with reasons only in virtue of her well-being mattering morally or in virtue of her caring about her own well-being. In both of (...) these cases, the way that such prudential considerations supply reasons for action is a way that the well-being of others can supply reasons for action too. (shrink)

Cloud computing (ClC) has become a more popular computer paradigm in the preceding few years. Quality of Service (QoS) is becoming a crucial issue in service alteration because of the rapid growth in the number of cloud services. When evaluating cloud service functioning using several performance measures, the issue becomes more complex and non-trivial. It is therefore quite difficult and crucial for consumers to choose the best cloud service. The user's choices are provided in a quantifiable manner in the current (...) methods for choosing cloud services. Hence, this study attempts to achieve this objective through construction. decision-making framework so-called cloud services evaluator (CSsEv). The main indicator and its sub-indicators are formed as nodes at levels(n) in tree soft sets (TSSs). Thereafter Single Value Neutrosophic Sets (SVNSs) as branch of neutrosophic sets which conjunction with the Multi-Criteria Decision Making (MCDM) technique to facilitate analysis and evaluation process for the available Cloud services providers. Hence, entropy is employed to obtain indicators and sub_indicators weights and Complex Proportional Assessment utilizes these weights to facilitate the decision process of selecting optimal ClSPs. (shrink)

Eliminative reasoning is a method that has been employed in many significant episodes in the history of science. It has also been advocated by some philosophers as an important means for justifying well-established scientific theories. Arguments for how eliminative reasoning is able to do so, however, have generally relied on a too narrow conception of evidence, and have therefore tended to lapse into merely heuristic or pragmatic justifications for their conclusions. This paper shows how a broader conception of evidence not (...) only can supply the needed justification but also illuminates the methodological significance of eliminative reasoning in a variety of contexts. (shrink)

This chapter argues that the general philosophy of science should learn metaphilosophical lessons from the case of metaphysical underdetermination, as it occurs in non-relativistic quantum mechanics. Section presents the traditional discussion of metaphysical underdetermination regarding the individuality and non-individuality of quantum particles. Section discusses three reactions to it found in the literature: eliminativism about individuality; conservatism about individuality; eliminativism about objects. Section wraps it all up with metametaphysical considerations regarding the epistemology of metaphysics of science.

A physicalist view of qualia labelled non-eliminative reductionism is outlined. If it is true, qualia and physicalism can co-exist without difficulty. First, qualia present no particular problem for reductionist physicalism - they are entirely physical, can be studied and explained using the standard scientific approach, and present no problem any harder than any other scientists face. Second, reductionist physicalism presents no particular problem for qualia – they can be encompassed within an entirely physicalist position without any necessity, either to reduce (...) them to non-existence, or to treat them as new fundamental properties. It is suggested that the position also has sufficient explanatory power to successfully deal with the 'why like anything – why does experience exist at all' question and to counter both Chalmers' Conceivability Argument and Jackson's Knowledge Argument. (shrink)

Transfinite ordinal numbers enter mathematical practice mainly via the method of definition by transfinite recursion. Outside of axiomatic set theory, there is a significant mathematical tradition in works recasting proofs by transfinite recursion in other terms, mostly with the intention of eliminating the ordinals from the proofs. Leaving aside the different motivations which lead each specific case, we investigate the mathematics of this action of proof transforming and we address the problem of formalising the philosophical notion of elimination which (...) characterises this move. (shrink)

This chapter will argue that the criminal law is most compatible with a specific theory regarding the mind/body relationship: non-eliminative reductionism. Criminal responsibility rests upon mental causation: a defendant is found criminally responsible for an act where she possesses certain culpable mental states (mens rea under the law) that are causally related to criminal harm. If we assume the widely accepted position of ontological physicalism, which holds that only one sort of thing exists in the world – physical stuff – (...) non-eliminative reductive physicalism about the mind offers the most plausible account of the full-bodied mental causation criminal responsibility requires. Other theories of the mind/body relationship, including elminativism and non-reductive physicalism, threaten criminal responsibility because they do not offer satisfactory accounts of mental causation. Eliminativism, as the name implies, eliminates the mental or is skeptical that it can do the causal work necessary to responsibility; and non-reductive theories disconnect the mental from the physical/casual world such that the mental can no longer have reliable causal effects. (shrink)

The problem of stored beliefs is that of explaining how non-occurrent, seemingly justified beliefs are indeed justified. Internalism about epistemic justification, the view that one’s mental life alone determines what one is justified in believing, allegedly cannot solve this problem. This paper provides a solution. It asks: Does having a belief that p require having a special relation to a mental representation that p? If the answer is yes, then there are no stored beliefs, and so there is no problem. (...) Drawing on extensive research in cognitive psychology, this paper argues that memory doesn’t store the representations required for stored belief, and we don’t bear the special relation to anything memory does store. On the leading “no” answer, a belief is roughly a set of dispositions. This paper argues that a justified belief is then best understood as a set of dispositions. Since these dispositions are mental, internalism can count the right stored beliefs as justified. (shrink)

Building on past constructive criticism, the present study provides further methodological development focused on the elimination of bias that may occur during first-person observation. First, various sources of errors that may accompany introspection are distinguished based on previous critical literature. Four main errors are classified, namely attentional, attributional, conceptual, and expressional error. Furthermore, methodological recommendations for the possible elimination of these errors have been determined based on the analysis and focused excerpting of introspective scientific literature. The following groups (...) of methodological recommendations were determined: 1) a better focusing of the subject’s attention to their mental processes, 2) providing suitable stimuli, and 3) the sharing of introspective experience between subjects. Furthermore, the potential of adjustments in introspective research designs for eliminating attentional, attributional, conceptual, and expressional error is discussed. (shrink)

Each many-sorted theory can be converted to an unsorted theory. But this conversion procedure is not uniquely determined, leading to a dilemma: which unsorted theory captures the content of the corresponding many-sorted theory?

Public parks play important roles in conserving biodiversity, promoting environmental sustainability, fostering community engagement, and enhancing the overall well-being of residents in urban areas. Nevertheless, finance is needed to maintain and expand the greenspaces in the parks. The current study aims to examine how perceptions of biodiversity loss consequences and park visitation frequency influence the residents’ willingness to contribute financially to tree-planting projects in public parks. Employing the Bayesian Mindsponge Framework analytics on a dataset of 535 Vietnamese urban residents, we (...) discovered that perceived health loss and knowledge erosion as consequences of biodiversity loss and park visitation frequency are directly positively associated with financial donation willingness. Meanwhile, the perceived economic growth loss was found to be indirectly positively associated with donation willingness through park visitation frequency, whereas the perceived loss of nature-based recreation opportunities exhibits the opposite indirect association. Based on these results, communication strategies focusing on the multifaceted benefits of biodiversity preservation and investments in public parks are recommended to improve urban residents’ financial support to park panting initiatives, accessibility to greenspaces, and connections with nature. These are crucial for promoting an eco-surplus culture that enhances biodiversity conservation and human well-being. (shrink)

In this paper I argue that the anti-reductionist thesis supports a case for the uselessness of intentional idioms in the interpretation of highly flexible, self-modifying agents that I refer to as “hyperplastic” agents. An agent is hyperplastic if it can make arbitrarily fine changes to any part of its functional or physical structure without compromising its agency or its capacity for hyperplasticity. Using Davidson’s anomalous monism (AM) as an exemplar of anti-reductionism, I argue that AM implies that no hyperplastic could (...) use intentional psychology to predict its future intentional states or the psychological consequences of self-alterations. This is because AM implies there would be no laws allowing the hyperplastic to infer the psychological consequences of its self-alterations. This implies that no generalisations linking current to future psychological states would hold either - these could always be defeated by a self-intervention carried out by the hyperplastic. By the same token, neither hyperplastics nor human interpreters could use intentional psychology to understand the behaviour of other hyperplastics. Radical interpretation of hyperplastic agents - if such there were - would be impossible. It follows that were humans to become hyperplastic posthumans, intentional psychology would have to be instrumentally eliminated because neither the capacity nor the linguistic idiom for attributing propositional attitudes would retain predictive or hermeneutic utility. (shrink)

This article challenges a particular form of Eliminative Materialism as presented in the work, "Quining Qualia" where Dr. Daniel Dennett argues that qualia, as he defines it, does not exist. The paper underscores the contradictory nature of Dennett's "Intuition Pumps" and shows how he assumes the very notion he proports to defeat namely, that first-person (or subjective) conscious experience, commonly termed "qualia," exists.

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of (...) class='Hi'>trees in terms of the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

It is one of the premises of eliminative materialism that commonsense psychology constitutes a theory. There is agreement that mental states can be construed as posited entities for the explanation and prediction of behavior. Disputes arise when it comes to the range of the commonsense theory of mental states. In chapter one, I review major arguments concerning the span and nature of folk psychology. In chapter two, relying on arguments by Quine and Sellars, I argue that the precise scope of (...) commonsense psychology cannot be determined because there are no resources to distinguish claims that are commonsense from all others. I use this conclusion to evaluate Churchland’s proposal that folk psychology should be eliminated in favor of a scientific theory. I argue that, although such an elimination is possible, it is unnecessary because commonsense psychology is in part informed by scientific theories. The properties that are usually attributed to mental states, on my view, are not common sense and would re-emerge even if we replaced our current theory with a scientific one. In chapter three, I examine how this affects eliminativist arguments, such as Churchland’s proposals for how to solve the emergence of the phenomenal character of sensations. I argue that it might be the case that some phenomenal properties are the result of endorsing a particular theory, but phenomenal character as such is a permanent feature of any theory about internal states. Addressing the problem of the incorrigibility of mental states, in chapter four, I challenge Rorty’s idea that such a property is the mark of the mental and can be attributed to our mental states based on our everyday usage of mental terms. The position asserted in the dissertation is compatible with the view that any theory can be revised, but doubts are expressed concerning the likelihood for a complete replacement of the current folk-psychological theory. Taking inspiration form Sellars, in chapter five, I argue that the establishment of a conceptual framework entails a wholistic jump from no concepts to a rudimentary framework. With this leap some properties are solidified and stand in the way of elimination. (shrink)

This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.

The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we (...) notice that cut remains eliminable when suitable arithmetical axioms are added to the system. Finally, we establish a direct link between cut-free derivability in infinitary formulations of the systems considered and fixed-point semantics. Noticeably, unlike what happens with other background logics, such links are established without imposing any restriction to the premisses of the truth rules. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies (...) thatgrammatical object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

The Tree of Life has traditionally been understood to represent the history of species lineages. However, recently researchers have suggested that it might be better interpreted as representing the history of cellular lineages, sometimes called the Tree of Cells. This paper examines and evaluates reasons offered against this cellular interpretation of the Tree of Life. It argues that some such reasons are bad reasons, based either on a false attribution of essentialism, on a misunderstanding of the problem of lineage identity, (...) or on a limited view of scientific representation. I suggest that debate about the Tree of Cells and other successors to the traditional Tree of Life should be formulated in terms of the purposes these representations may serve. In pursuing this strategy, we see that the Tree of Cells cannot serve one purpose suggested for it: as an explanation for the hierarchical nature of taxonomy. We then explore whether, instead, the tree may play an important role in the dynamic modeling of evolution. As highly-integrated complex systems, cells may influence which lineage components can successfully transfer into them and how they change once integrated. Only if they do in fact have a substantial role to play in this process might the Tree of Cells have some claim to be the Tree of Life. (shrink)

Fred shows how problems with Slater's restriction of the classical propositional logic can be solved.

A physicalist view of qualia labelled non-eliminative reductionism is outlined. If it is true, qualia and physicalism can co-exist without difficulty. First, qualia present no particular problem for reductionist physicalism - they are entirely physical, can be studied and explained using the standard scientific approach, and present no problem any harder than any other scientists face. Second, reductionist physicalism presents no particular problem for qualia – they can be encompassed within an entirely physicalist position without any necessity, either to reduce (...) them to non-existence, or to treat them as new fundamental properties. It is suggested that the position also has sufficient explanatory power to successfully deal with the 'why like anything – why does experience exist at all' question and to counter both Chalmers' Conceivability Argument and Jackson's Knowledge Argument. (shrink)

The paper aims at critical reconsideration of a motif popular in Indian literary, ritual, and pictorial traditions – a tree goddess (yakṣī, vṛkṣakā) or a woman embracing a tree (śālabhañjīkā, dohada), which points to a close and intimate bond between women and trees. At the outset, I present the most important phases of the evolution of this popular motif from the ancient times to present days. Then two essential characteristics of nature recognized in Indian visual arts, literature, religions and (...) philosophy will be distinguished: (1) a dynamic, creative, self-sufficient and inexhaustible power, and (2) a passive, merely reproductive or vegetative, and dependent field of potentiality. The paper is to demonstrate the interdependence of the popular concepts of nature identified with femininity, and their iconic representations circulating for centuries in Indian culture, with a specific line of argument repeatedly used in social practices and public debates. While doing so, I consider the semiotic function of a cultural topos which proves to be an effective instrument for construing and supporting the gender roles and gender identities. As a modern example illustrating vitality and persuasive power of the motif of yakṣī and śālabhañjīkā, I refer to the Chipko Movement, a group of rural women based in the Garhwal Himalayas (state Uttarakhand), who fought against the mass cut of trees in the 1970s. They were involved in the wide-spread environmental campaign which significantly affected the ecological policy of the local and state authorities. Thus, a traditional motif of the visual arts has been revived and re-elaborated by the activists of this ecofeminist movement through converting the symbolic potential of yakṣī/śālabhañjīkā into social and political power. (shrink)

The purpose of this paper is to point the way to the money tree. Currently, almost all investment professionals think that outperformance requires an “edge,” that is, the ability to predict the future to some degree. In this paper, I suggest that money can be made in a 0, or even slightly negative, expected value environment by carefully choosing investment/bet sizes. Philosophical considerations are found mainly in Section 4.

To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.

It is generally supposed that borderline cases account for the tolerance of vague terms, yet cannot themselves be sharply bounded, leading to infinite levels of higher order vagueness. This higher order vagueness subverts any formal effort to make language precise. However, it is possible to show that tolerance must diminish at higher orders. The attempt to derive it from indiscriminability founders on a simple empirical test, and we learn instead that there is no limit to how small higher order tolerance (...) may become. That means there is no limit to how precisely we may draw the boundaries of borderline cases, thus forestalling any requirement for higher order vagueness. (shrink)

In Sense and Content , Christopher Peacocke points out that two equally-sized trees at different distances from the perceiver are normally represented to be the same size, despite the fact that in a certain sense the nearer tree looks bigger ; he concludes on the basis of this observation that visual experiences possess irreducibly phenomenal properties. This argument has received the most attention of all of Peacocke’s arguments for separatism—the view that the intentional and phenomenal properties of experiences are (...) independent of one another. However, despite its notoriety, the argument is widely misunderstood and underappreciated. I argue that once the structure of the argument is clarified and the replies that have been offered are considered closely, one must conclude that the trees argument is successful. (shrink)

Do trees of life have roots? What do these roots look like? In this contribution, I argue that research on the origins of life might offer glimpses on the topology of these very roots. More specifically, I argue (1) that the roots of the tree of life go well below the level of the commonly mentioned ‘ancestral organisms’ down into the level of much simpler, minimally living entities that might be referred to as ‘protoliving systems’, and (2) that further (...) below, a system of roots gradually dissolves into non-living matter along several functional dimensions. In between non-living and living matter, one finds physico-chemical systems that I propose to characterize by a ‘lifeness signature’. In turn, this ‘lifeness signature’ might also account for a diverse range of biochemical entities that are found to be ‘less-than-living’ yet ‘more-than-non-living’. (shrink)

Discussions of divine simplicity generally overlook the distinction between identity claims that are reductivist and identity claims that are eliminativist. If, for instance, the identity claim that 'the chair = a configuration of particles' is merely reductive, then there exist chairs and there exist configurations of particles and it turns out that they are identical. The identity in this case does not reduce the ontological complexity of the world. But if the identity claim is eliminativist, then it is true again (...) that chairs are configurations of particles, but chairs do not in fact exist. The illusory object that we call a chair turns out to be nothing over and above a configuration of physical particles. The chair reduces to the configuration of particles without remainder. The defense of divine simplicity in this paper argues that it is in this eliminativist sense that God's intrinsic properties are identical to God. (shrink)

Pereira’s “The Projective Theory of Consciousness” is an experimental statement, drawing on many diverse sources, exploring how consciousness might be produced by a projective mechanism that results both in private selves and an experienced world. Unfortunately, pulling together so many unrelated sources and methods means none gets full attention. Furthermore, it seems to me that the uncomfortable breadth of this paper unnecessarily complicates his project; in fact it may hide what it seeks to reveal. If this conglomeration of diverse sources (...) and methods were compared to trees, the reader may feel like the explorer who cannot see the forest for the trees. Then again, it may be the author who is so preoccupied with foreground figures that the everpresent background is ultimately obscured. (shrink)

RESUMEN Pocas polémicas en el ámbito de la filosofía de la biología han llevado tanto espacio como la que existen alrededor de la explicación funcional y del lenguaje funcional. Varios de los enfoques principales que han tratado de reconstruir este tipo de explicación y elucidar tal lenguaje, aunque fuertemente heterogéneos, comparten la idea de que el lenguaje funcional no es más que un modo de hablar del cual puede prescindirse, pues, asumen que el lenguaje funcional puede ser definido a partir (...) de (o reducido a) lenguaje no funcional. En consecuencia, la explicación funcional sería reducible a (o equivalente a) explicaciones no funcionales. En este trabajo repasaremos tales enfoques, y trataremos de defender que no funcionan en el siguiente sentido: no pueden dar cuenta de la totalidad de las atribuciones funcionales. En consecuencia, aunque pudieran ser útiles para elucidar o reconstruir algunas áreas de la biología, no cumplen con el objetivo de mostrar que el lenguaje funcional es eliminable. -/- RESUMO Poucas polêmicas no âmbito da filosofia da biologia tiveram tanto espaço como a que existe acerca da explicação funcional e da linguagem funcional. Vários dos principais enfoques que trataram de reconstruir este tipo de explicação e elucidar tal linguagem, ainda que fortemente heterogêneos, compartilham a ideia de que a linguagem funcional não é mais que um modo de falar do qual pode prescindir-se, pois, assumem que a linguagem funcional pode ser definida a partir de (ou reduzida a) linguagem não funcional. Em consequência, a explicação funcional seria reduzível a (ou equivalente a) explicações não funcionais. Neste trabalho repassaremos tais enfoques e trataremos de defender que não funcionam, no seguinte sentido: não podem dar conta da totalidade das atribuições funcionais. Em consequência, ainda que pudessem ser úteis para elucidar ou reconstruir algumas áreas da biologia, não alcançam o objetivo de mostrar que a linguagem funcional é eliminável. (shrink)

Im Beitrag von Geert Keil geht es um das Verhältnis zwischen Philosophie und Naturwissenschaft. Keil geht der Frage nach, inwiefern Rortys frühes Eintreten für den Eliminativen Materialismus mit seinen entspannten Auffassungen zum Status der Wissenschaften vereinbar ist. Allgemein sieht Rorty die Wissenschaften als eine Reihe etablierter sozialer Praktiken an, als Werkzeuge, mit bestimmten Teilen der Welt zurechtzukommen. Dieses pragmatistisch-instrumentalistische Wissenschaftsverständnis steht in auffallendem Kontrast zu der Rolle, die den Naturwissenschaften im Rahmen des Eliminativen Materialismus zufallen soll. Dieser Lösungsvorschlag für das (...) Geist/Materie-Problem ist eine Reaktion auf die begrifflichen Schwierigkeiten einer Reduktion mentaler auf physische Phänomene. Der Eliminative Materialismus propagiert eine Abschaffung der alltagspsychologischen Rede von mentalen Zuständen und ihre Ersetzung durch neurowissenschaftliche Theorien. Es liegt eine gewisse Ironie darin, daß diese szientistische Extremposition in den 60er Jahren gerade von den Anything goes-Kulturalisten Rorty und Feyerabend auf den Weg gebracht wurde. Doch Keil zufolge liegt in der Ironie eine Wahrheit: Wer wie Rorty und Feyerabend voraussagt, daß das materialistische Idiom sich nicht aufgrund besserer Argumente, sondern aufgrund außerwissenschaftlicher Faktoren (Propaganda und Gewöhnung) kulturell durchsetzen wird, erwartet von der Wissenschaft keinen Erkenntnisfortschritt, sondern eine Kulturrevolution. (shrink)

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

Griffiths and Machery (2008) have argued that innateness is a folk notion that obstructs inquiry and has no place in contemporary science. They support their view by criticizing the canalization account of innateness (Ariew, 1999, 2006). In response, I argue that the criticisms they raise for the canalization account can be avoided by another recent account of innateness, the triggering account, which provides an analysis of the concept as it applies to cognitive capacities (Khalidi, 2002, 2007; Stich, 1975). I also (...) claim that they have not demonstrated that the folk notion of innateness is unsuitable for rehabilitation in a science of cognition. I conclude that they have not made the case that the notion of innateness ought to be eliminated from a scientific account of the mind. (shrink)

If we reject physicalism, for the reasons given in my 2011 book ‘Panpsychism,’ we can arrive at a variant of idealism that accepts the concrete existence of all entities discoverable by science, but argues that these are nothing over and above centres of experience that can perceive one another and act on their percepts. In this metaphysical system, all physical properties and laws reduce without remainder to mental dittos – length is used in this paper as an example. Adopting this (...) position resolves many difficulties in the philosophy of mind, including the problems of: the explanatory gap, mental causation, perception, qualia and zombies. (shrink)

This paper presents an analysis of Seneca's 58th letter to Lucilius and Porphyry's Isagoge, which were the origin of the tree diagrams that became popular in philosophy and logic from the early Middle Ages onwards. These diagrams visualise the extent to which a concept can be understood as a category, genus, species or individual and what the method of dihairesis (division) means. The paper explores the dissimilarities between Seneca's and Porphyry's tree structures, scrutinising them through the perspective of modern graph (...) theory. Although traditional trees can be interpreted in a modern way, their terms and definitions defy modern standardisation. These distinctions are not only useful for differentiating between Seneca's and Porphyry's trees, but also for comprehending the evolution of this philosophical tradition. Thus the paper highlights the continued significance of these tree diagrams in analysing concepts and categories in philosophy and structuring objects and information in modern fields such as artificial intelligence, computer science, bioinformatics, graph theory, and many more. (shrink)

ABSTRACT A complete axiomatic system CTLrp is introduced for a temporal logic for finitely branching ω+ -trees in a language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTLrp. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium (...) for reasoning about branching time. (shrink)