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)

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)

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)

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)

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)

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.

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)

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 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)

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)

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?

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)

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.

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.

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)

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.

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)

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)

Kant’s pre-1770 philosophy responded to the mind-body problem by applying a theory of “physical influx”. His encounter with Swedenborg’s mysticism, however, left him disillusioned with any dualist solution to Descartes’ problem. One of the major goals of the Critical philosophy was to provide a completely new solution to the mind-body problem. Kant’s new solution is “perspectival” in the sense that all Critical theories are perspectival: it acknowledges a deep truth in both of the controversy’s extremes (i.e., what we might nowadays (...) call eliminative materialism and an absolutely ideal folk psychology), by viewing both as ways of considering the issue, rather than as the only correct approach. Once we take into account its perspectival character, a new way of understanding Kant’s philosophy of mind emerges. The mind is no longer separate from the body, but is a manifestation of it, viewed from another (specifically human, rational) perspective. Kant’s transcendental conditions of knowledge (spatio-temporal intuition, categorial conception, and principled schematization) do not portray the mind as somehow creating the physical world; rather, they imply the opposite, that knowledge of objects is necessarily structured by a set of unconscious assumptions about the physical world. Our pre-conscious (or pre-mental, in Descartes’ sense of “mental”) encounter with an assumed spatio-temporal, causal nexus is entirely physical. A reincarnated Kant’s solution to today’s mind-body problem would be: eliminative materialism is good science; but only the “explanatory idealist” can consistently be an eliminative materialist. Philosophically, multiple perspectives are necessary in order to understand anything we say or do. (shrink)

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)

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)

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)

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)

The aim of the paper is to explore the discourse strategies of the Party of Labor of Albania to eliminate its enemies in the early years of establishing communism in the country. The contention is that PLA and its leaders made possible the elimination of thousands of people by normalizing the process. The enemies of the party were declared enemies of the people and as such, they had to disappear in one way or another, so that the integrity of (...) the body politics could be preserved. The class enemy was considered a parasite that should be eliminated in the name of social prophylaxis. By using discourse analyses the paper will investigate the discursive strategies followed by the communist party and its leader when addressing the class enemy. Speeches of Enver Hoxha in Party Congresses, Plenums, and gatherings with people will be analyzed. Only by normalizing the process of elimination of everyone who was depicted as an enemy, did the communist party make possible the elimination of thousands of people. Normalization is understood as the standardization of the procedure so that everyone knew in advance what would happen if someone had to be declared an enemy of the people. The paper will analyze the vocabulary used to portray the class enemy and his/her destiny in specific cases. The study has analyzed the speeches given to justify the elimination of Patër Anton Harapi, Lef Nosi, Maliq Bej Bushat, dom Lazër Shantoja, dom Ndre Zadeja, and the sabotage group of the Maliqi swamp. The analysis covers the period immediately after the end of the IIWW when communists seized the power. (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)

Luck egalitarianism’s commitment to neutralizing brute luck inequalities is thought to imply that the elimination of disabilities is an appropriate way to eliminate the unchosen disadvantage that often accompanies disabilities. This implication is not only intuitively objectionable to some, especially those concerned with disability justice, but is subject to objections from relational egalitarians that should be taken seriously. This paper defends the claim that disability elimination is not a natural implication of luck egalitarian theories of justice and that (...) luck egalitarians can avoid the related relational egalitarian objections. I take this to be the case because luck egalitarians can consistently endorse three commitments that, together, take disability elimination off the menu of possible ways to redress the disadvantage of persons with disabilities. These three commitments are: i) the rejection of the view that disability intrinsically makes a person worse off; ii) the endorsement of the fundamental equality of all persons; and iii) the view that luck egalitarianism advances a theory about the arrangement of social institutions. (shrink)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that (...) deductions in normal form have the subformula property. (shrink)

Elimination controversies are ubiquitous in philosophy and the human sciences. For example, it has been suggested that human races, hysteria, intelligence, mental disorder, propositional attitudes such as beliefs and desires, the self, and the super-ego should be eliminated from the list of respectable entities in the human sciences. I argue that eliminativist proposals are often presented in the framework of an oversimplified “phlogiston model” and suggest an alternative account that describes ontological elimination on a gradual scale between criticism (...) of empirical assumptions and conceptual choices. (shrink)

After elucidating the nature of ordinary linguistic behaviour and its ontological implications, the paper critically examines some trends in the philosophy of mind that use the expression folk-psychology. The main argument shows that, when eliminativists hold that everyday discourse dealing with describing and predicting each other’s behaviour is an empirical theory, they are forcing their object of study into an exclusively mechanistic mould, and thus seriously distorting it. The meaning of everyday utter¬ances is not to be sought towards the physical (...) centre of the human individual, the brain, but towards the centre of human practice. Seeking the source of our meaning within the mechanism of the brain is to work in the wrong direction. (shrink)

In this paper, I argue that the disjunction elimination rule presupposes the principle that a true disjunction contains at least one true disjunct. However, in some contexts such as supervaluationism or quantum logic, we have good reasons to reject this principle. Hence, disjunction elimination is restricted in at least one respect: it is not applicable to disjunctions for which this principle does not hold. The insight that disjunction elimination presupposes the principle that a true disjunction contains at (...) least one true disjunct is applied to two arguments which argue for this very principle. I show that these arguments are rule-circular since they rest on disjunction elimination. I claim that rule-circularity better explains why the arguments fail than the explanations provided by Rumfitt (2015), which, for instance, rely on controversial principles about truth. (shrink)

This paper explores two separate elements of sex, namely sexual selection and crossover. A simple computerised genetic algorithm can confirm a possible connection between sexual selection and the elimination of copying errors.

This letter was rejected by International Knowledge Press because "we are unable to conclude that these findings would warrant publication in this journal." The letter is suggesting that dark energy, dark matter and universal expansion are intimately related. However, they aren't viewed as revolutions in cosmology which are essential to a complete understanding of the modern universe. They are instead viewed as properties which need to be added to the cosmos when Einstein's theory of gravity (General Relativity) is apparently still (...) not thoroughly comprehended a little over a century since it was published. (shrink)

With reference to Polish logical-philosophical tradition two formal theories of language syntax have been sketched and then compared with each other. The first theory is based on the assumption that the basic linguistic stratum is constituted by object-tokens (concrete objects perceived through the senses) and that the types of such objects (ideal objects) are derivative constructs. The other is founded on an opposite philosophical orientation. The two theories are equivalent. The main conclusion is that in syntactic researches it is redundant (...) to postulate the existence of abstract linguistic entities. Earlier, in a slightly different form, the idea was presented in paper "Logiczne podstawy ontologii składni języka" (1988). (shrink)

In several places, John Bickle claims that current neuroscientific practice provides actual cellular/molecular reductions of certain mental states. He gives the case study of ‘memory consolidation switch’ as an example where recent findings suggest that this mental state/process can be reduced to the molecular ‘cAMP, PKA, CREB Pathway’. Taking this example, Bickle ‘waves the eleminativist flag’ by claiming that psychological explanations loose their pertinence (or, as he says, ‘became otiose’) once a cellular/molecular explanation replaces them. On this paper I’ll try (...) to show that, even if a reductive explanation of ‘memory consolidation switch’ is disposable, we cannot eschew reductively its causal/functional integrity, i.e.: the explanatory/causal context that defines the mental concept/process ‘memory consolidation switch’ in the first place. (shrink)

In an era of dramatic technological progress, the consequent economic transformations, and an increasing need for an adaptable workforce, the importance of education has risen to the forefront of the social discourse. The concurrent increase in the awareness of issues pertaining to social justice and the debate over what this justice entails and how it ought to be effected, feed into the education policy more than ever before. From the nexus of the aforementioned considerations, a concern over the so-called education (...) gap has emerged, with worldwide efforts to close it. I analyse the premises behind such efforts and demonstrate that they are founded upon fundamentally flawed ideas. I show that in a society in which education is delivered equitably, education gaps emerge naturally as a consequence of differentiation due to talents, the tendency for matched mate selection, and the heritability of intellectual traits. Hence, I issue a call for a refocusing of efforts from the ill-founded idea of closing the education gap, to the understanding of the magnitude of its unfair contributions, as well as to those social aspects which can modulate it in accordance to what a society deems fair according to its values. (shrink)

Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A (...) solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

Concept Pluralism and Concept Eliminativism are two positions recently proposed in the philosophy and the psychology of concepts. Both of these theories are motivated by the view that all current theories of concepts are empirically and methodologically inadequate and hold in common the assumption that for any category that can be represented in thought, a person can possess multiple, distinct concepts of it. In this paper, I will challenge these in light of a third theory, Conceptual Atomism, which addresses and (...) dispels the contentious issues. In particular, I contend that Conceptual Atomism, when properly understood, is empirically adequate and can overcome difficulties that plague Pluralism and Eliminativism. (shrink)

Some of the oldest and deepest questions in philosophy fall under the umbrella of consciousness and mind: What is the mind and how is it related to the body? What provides our thoughts with content? How is consciousness related to the natural world? Do we have distinctive causal powers? Analytic philosophers have made significant progress on these and related problems in the last century. Given the high volume of work on such topics, this chapter is necessarily selective. It offers major (...) touchstones but is slanted in favor of work that touches base with the sciences. The chapter starts by describing the progression of thought on the mind-body problem, from dualism and behaviorism to non-reductive materialism. It then describes the problem of intentionality, with a focus on partial solutions from Dretske and Millikan, ending with a brief discussion of 4E theories of mental content. The section on the problem of consciousness starts with the well-known knowledge and modal arguments before describing some attempted initial solutions, such as eliminative materialism and panpsychism. Finally, there is a brief section on agency and free will, which focuses on the link between free will and consciousness. (shrink)

Hilbert arithmetic in a wide sense, including Hilbert arithmetic in a narrow sense consisting by two dual and anti-isometric Peano arithmetics, on the one hand, and the qubit Hilbert space (originating for the standard separable complex Hilbert space of quantum mechanics), on the other hand, allows for an arithmetic version of Gentzen’s cut elimination and quantum measurement to be described uniformy as two processes occurring accordingly in those two branches. A philosophical reflection also justifying that unity by quantum neo-Pythagoreanism (...) links it to the opposition of propositional logic, to which Gentzen’s cut rule refers immediately, on the one hand, and the linguistic and mathematical theory of metaphor therefore sharing the same structure borrowed from Hilbert arithmetic in a wide sense. An example by hermeneutical circle modeled as a dual pair of a syllogism (accomplishable also by a Turing machine) and a relevant metaphor (being a formal and logical mistake and thus fundamentally inaccessible to any Turing machine) visualizes human understanding corresponding also to Gentzen’s cut elimination and the Gödel dichotomy about the relation of arithmetic to set theory: either incompleteness or contradiction. The metaphor as the complementing “half” of any understanding of hermeneutical circle is what allows for that Gödel-like incompleteness to be overcome in human thought. (shrink)

Questions surrounding deep disagreement have gained significant attention in recent years. One of the central debates is metaphysical, focusing on the features that make a disagreement deep. Proposals for what makes disagreements deep include theories about hinge propositions and first epistemic principles. In this paper, I criticize this metaphysical discussion by arguing that it is methodologically flawed. Deep disagreement is a technical or semi-technical term, but the metaphysical discussion mistakenly treats it as a common-sense concept to be analyzed and captured (...) by our pre-theoretical intuitions. Since the literature on deep disagreement is subject to this fundamental confusion and deep disagreement is not a helpful umbrella term either, I propose eliminating the notion of deep disagreement from the philosophical discourse. Instead of analyzing the nature of deep disagreement, we should develop theories about different forms of disagreement, including disagreement about hinge propositions and disagreement about epistemic principles, and, in particular, a theory of rationally irresolvable disagreement. (shrink)

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We (...) propose a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)