One of the important challenges in the philosophy of mathematics is to account for the semantics of sentences that express mathematical propositions while simultaneously explaining our access to their contents. This is Benacerraf’s Dilemma. In this dissertation, I argue that cognitive science furnishes new tools by means of which we can make progress on this problem. The foundation of the solution, I argue, must be an ontologically realist, albeit non-platonist, conception of mathematical reality. The semantic portion of the (...) class='Hi'>problem can be addressed by accepting a Chomskyan conception of natural languages and a matching internalist, mentalist and nativist view of semantics. A helpful perspective on the epistemic aspect of the puzzle can be gained by translating Kurt G ̈odel’s neo-Kantian conception of the nature of mathematics and its objects into modern, cognitive terms. (shrink)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

Evolutionary debunking arguments purport to show that robust moral realism, the metaethical view that there are non-natural and mind-independent moral properties and facts that we can know about, is incompatible with evolutionary explanations of morality. One of the most prominent evolutionary debunking arguments is advanced by Sharon Street, who argues that if moral realism were true, then objective moral knowledge is unlikely because realist moral properties are evolutionary irrelevant and moral beliefs about those properties would not be selected for. However, (...) no evolutionary, causal explanation plays an essential role in reaching the argument’s epistemological conclusion. Street’s argument depends on the Benacerraf-Field challenge, which is the challenge to explain the reliability of our moral beliefs about causally inert moral properties. The Benacerraf-Field challenge relies on metaphysically necessary facts about realist moral properties, rather than on contingent Darwinian facts about the origin of our moral beliefs. Attempting to include an essential causal empirical premise yet avoiding recourse to the Benacerraf-Field problem yields an argument that is either self-defeating or of limited scope. Ultimately, evolutionary, causal explanations of our moral beliefs and their consequences do not present the strongest case against robust moral realism. Rather, the question is whether knowledge of casually-inert, mind-intendent properties is plausible at all. (shrink)

This paper concerns an epistemological objection against mathematical platonism, due to Hartry Field.The argument poses an explanatory challenge – the challenge to explain the reliability of our mathematical beliefs – which the platonist, it’s argued, cannot meet. Is the objection compelling? Philosophers disagree, but they also disagree on (and are sometimes very unclear about) how the objection should be understood. Here I distinguish some options, and highlight some gaps that need to be filled in on the potentially most compelling version (...) of the argument. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...) used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

In this article, I discuss a trivialization worry for Hartry Field’s official formulation of the access problem for mathematical realists, which was pointed out by Øystein Linnebo (and has recently been made much of by Justin Clarke-Doane). I argue that various attempted reformulations of the Benacerraf problem fail to block trivialization, but that access worriers can better defend themselves by sticking closer to Hartry Field’s initial informal characterization of the access problem in terms of (something like) general (...) epistemic norms of coincidence avoidance. (shrink)

The idea that justified modal belief can be accounted for in terms of empirically justified, non-modal belief is enjoying increasing popularity in the epistemology of modality. One alleged reason to prefer modal empiricism over more traditional, rationalist modal epistemologies is that empiricism avoids the problem with the integration challenge that arise for rationalism, assuming that we want to be realists about modal metaphysics. In this paper, I argue that given two very reasonable constraints on what it means to meet (...) the integration challenge for modality, empiricism is currently at best on a par with, but potentially worse off than, rationalist alternatives, with respect to the integration challenge. (shrink)

I show that Wittgenstein's critique of G.H. Hardy's mathematical realism naturally extends to Paul Benacerraf's influential paper, ‘Mathematical Truth’. Wittgenstein accuses Hardy of hastily analogizing mathematical and empirical propositions, thus leading to a picture of mathematical reality that is somehow akin to empirical reality despite the many puzzles this creates. Since Benacerraf relies on that very same analogy to raise problems about mathematical ‘truth’ and the alleged ‘reality’ to which it corresponds, his major argument falls prey to the same (...) critique. The problematic pictures of mathematical reality suggested by Hardy and Benacerraf can be avoided, according to Wittgenstein, by disrupting the analogy that gives rise to them. I show why Tarskian updates to our conception of ‘truth’ discussed by Benacerraf do not answer Wittgenstein's concerns. That is, because they merely presuppose what Wittgenstein puts into question, namely, the essential uniformity of ‘truth’ and ‘proposition’ in ordinary discourse. (shrink)

Field’s challenge to platonists is the challenge to explain the reliable match between mathematical truth and belief. The challenge grounds an objection claiming that platonists cannot provide such an explanation. This objection is often taken to be both neutral with respect to controversial epistemological assumptions, and a comparatively forceful objection against platonists. I argue that these two characteristics are in tension: no construal of the objection in the current literature realises both, and there are strong reasons to think that no (...) version of Field’s epistemological objection which has both Neutrality and Force can be construed. (shrink)

A prominent version of mathematical structuralism holds that mathematical objects are at bottom nothing but "positions in structures," purely relational entities without any sort of nature independent of the structure to which they belong. Such an ontology is often presented as a response to Benacerraf's "multiple reductions" problem, or motivated on hermeneutic grounds, as a faithful representation of the discourse and practice of mathematics. In this paper I argue that there are serious difficulties with this kind of view: (...) its proponents rely on a distinction between "essential" and "nonessential" features of mathematical objects, and there's no good way to articulate this distinction which is compatible with basic structuralist commitments. But all is not lost. For I further argue that the insights motivating structuralism (or at least those worth preserving) can be preserved without formulating the view in ontologically committal terms. (shrink)

Non-skeptical robust realists about normativity, mathematics, or any other domain of non- causal truths are committed to a correlation between their beliefs and non- causal, mind-independent facts. Hartry Field and others have argued that if realists cannot explain this striking correlation, that is a strong reason to reject their theory. Some consider this argument, known as the Benacerraf–Field argument, as the strongest challenge to robust realism about mathematics, normativity, and even logic. In this article I offer two closely related accounts (...) for the type of explanation needed in order to address Field's challenge. I then argue that both accounts imply that the striking correlation to which robust realists are committed is explainable, thereby discharging Field's challenge. Finally, I respond to some objections and end with a few unresolved worries. (shrink)

Povinelli’s Problem is a well-known methodological problem confronting those researching nonhuman primate cognition. In this paper I add a new wrinkle to this problem. The wrinkle concerns introspection, i.e., the ability to detect one’s own mental states. I argue that introspection either creates a new obstacle to solving Povinelli’s Problem, or creates a slightly different, but closely related, problem. I apply these arguments to Robert Lurz and Carla Krachun’s (Review of Philosophy and Psychology 2: 449–481, (...) 2011) recent attempt at solving Povinelli’s Problem. (shrink)

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.

There is a difference between the conditions in which one can felicitously assert a ‘must’-claim versus those in which one can use the corresponding non-modal claim. But it is difficult to pin down just what this difference amounts to. And it is even harder to account for this difference, since assertions of 'Must ϕ' and assertions of ϕ alone seem to have the same basic goal: namely, coming to agreement that [[ϕ]] is true. In this paper I take on this (...) puzzle, known as Karttunen’s Problem. I begin by arguing that a ‘must’-claim is felicitous only if there is a shared argument for its prejacent. I then argue that this generalization, which I call Support, can explain the more familiar generalization that ‘must’-claims are felicitous only if the speaker’s evidence for them is in some sense indirect. Finally, I sketch a pragmatic derivation of Support. (shrink)

Newcomb’s Problem, Arif Ahmed (editor). Cambridge University Press, 2018, 233 pages.

Newcomb’s problem is a decision puzzle whose difficulty and interest stem from the fact that the possible outcomes are probabilistically dependent on, yet causally independent of, the agent’s options. The problem is named for its inventor, the physicist William Newcomb, but first appeared in print in a 1969 paper by Robert Nozick [12]. Closely related to, though less well-known than, the Prisoners’ Dilemma, it has been the subject of intense debate in the philosophical literature. After three decades, the (...) issues remain unresolved. Newcomb’s problem is of genuine importance because it poses a challenge to the theoretical adequacy of orthodox Bayesian decision theory. It has led both to the development of causal decision theory and to efforts aimed at defending the adequacy of the orthodox theory. (shrink)

Male genital problems and injuries may occur quite simply because of the scrotum and penis are not protected like other organs. Genital problems and injuries normally happen through: recreational activities (like Football, Hooky, biking, basketball), work- related tasks (like contact to irritating chemicals), downhill drop, and sexual activity. A genital injury frequently causes harsh pain that typically disappear fast without causing enduring harm. Home handling is generally all that is required for trivial problems or injuries. Pain, inflammation, staining, or rashes (...) that are coexist with other symptoms might be a source for concern. Genital problems in men is one of the most common problems which requires fast intervention. In this paper we present an expert system that help men diagnose their genital problems and give them the proper treatment. SL5 Object expert system language was used to design and implement this expert system. (shrink)

We discuss the one–many problem as it appears in the Philebus and find that it is not restricted to the usually understood problem about the identity of universals across particulars that instantiate them (the Hylomorphic Dispersal Problem). In fact some of the most interesting aspects of the problem occur purely with respect to the relationship between Forms. We argue that contemporary metaphysicians may draw from the Philebus at least three different one–many relationships between universals themselves: instantiation, (...) subkind and part, and thereby construct three new ‘problems of the one and the many’ (an Eidetic Dispersal Problem, a Genus–Species Problem, and an Eidetic Combination Problem), which are as problematic as the version generally discussed. We then argue that this taxonomy sheds new and interesting light on certain discussions of higher-order universals in recent Australian analytic philosophy. (shrink)

This article reexamines Vico’s early critique of Cartesian reasoning and of how the Cartesian method, which comes from epistemology, creates problems for the sciences once embedded into their methodologies and given a foundational role. The focus will be on De nostri temporis studiorum ratione (1709), where Vico argues against generalizing the Cartesian method and overemphasizing clarity and distinctness in the search for truth. To this end, Vico’s relation to Cartesianism is first carefully contextualized. Then, Vico is presented as a hylomorphist (...) when it comes to how scientific disciplines and their instruments interrelate, something key for understanding why he questions the “instrumentalization” of the Cartesian method in the first place. Afterwards, Vico’s account of the impossibility of maximal scientific progress when the Cartesian method is prioritized across the sciences is presented, as probabilistic reasoning and the importance of the imagination and memory take centerstage. Lastly, the article looks at Vico’s opposition to the geometrical method’s role in physics and his defense of visual thinking in mathematics. The hope throughout is to advance a picture of the early Vico as being not only a neo- Baconian pragmatist, but a hypermodern ”meta-Cartesian” thinker concerned with humanity’s optimizing its creative potential in order to achieve scientific advances. (shrink)

Kant identifies what are in fact Free Riders as the most noxious species of polemicists. Kant thinks polemic reduces the stature and authority of reason to a method of squabbling that destabilizes social equilibrium and portends disintegration into the Hobessian state of nature. In the first Critique, Kant proposes two textually related solutions to the Free Rider problem.

Two plausible claims seem to be inconsistent with each other. One is the idea that if one reasonably believes that one ought to fi, then indeed, on pain of acting irrationally, one ought to fi. The other is the view that we are fallible with respect to our beliefs about what we ought to do. Ewing’s Problem is how to react to this apparent inconsistency. I reject two easy ways out. One is Ewing’s own solution to his problem, (...) which is to introduce two different notions of ought. The other is the view that Ewing’s Problem rests on a simple confusion regarding the scope of the ought-operator. Then, I discuss two hard ways out, which I label objectivism and subjectivism, and for which G.E. Moore and Bishop Butler are introduced as historical witnesses. These are hard ways out because both of these views have strong counterintuitive consequences. After explaining why Ewing’s Problem is so difficult, I show that there is conceptual room in-between Moore and Butler, but I remain sceptical whether Ewing’s Problem is solvable within a realist framework of normative facts. (shrink)

I argue that classical theism is in tension with a kind of modal recombination principle known as ‘cut-and-paste’. I develop this tension at length, giving two arguments against theism based on cut-and-paste. I then both lay out and respond to various original proposals for reconciling theism with cut-and-paste. I conclude by measuring the cost of having to deny cut-and-paste. I argue that while there is an intuitive cost to this consequence of theism, theists also have plausible ways of addressing various (...) motivations for cut-and-paste. (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)

In “Mathematical Truth,” Paul Benacerraf presented an epistemological problem for mathematical realism.

Few problems in the philosophy of evolutionary biology are more widely disseminated and discussed than the charge of Darwinian evolution being a tautology. The history is long and complex, and the issues are many, and despite the problem routinely being dismissed as an introductory-level issue, based on misunderstandings of evolution, it seems that few agree on what exactly these misunderstandings consist of. In this paper, I will try to comprehensively review the history and the issues. Then, I will try (...) to present the following “solution”, or, one might say, “dissolution”, of the problem, and consider the wider implications of formal, or schematic, explanations in science: yes, the principle of natural selection is a tautology, and so what? It is a promissory note for actual, physical, explanations in particular cases, and is none the worse for that. This is not a new argument, of course, but it does point up the importance of formal schematic models in science. (shrink)

Define teleology as the view that requirements hold in virtue of facts about value or goodness. Teleological views are quite popular, and in fact some philosophers (e.g. Dreier, Smith) argue that all (plausible) moral theories can be understood teleologically. I argue, however, that certain well-known cases show that the teleologist must at minimum assume that there are certain facts that an agent ought to know, and that this means that requirements can't, in general, hold in virtue of facts about value (...) or goodness. I then show that even if we grant those 'ought's teleology still runs into problems. A positive justification of teleology looks like it will require an argument of this form: O(X); if X, then O(Y); therefore O(Y). But this form of argument isn't in general valid. I conclude by offering two positive suggestions for those attracted to a teleological outlook. (shrink)

This review essay (in Hebrew) considers the volume Judaism, Race, and Ethics, edited by Jonathan K. Crane (Penn, 2020), and briefly presents the content of the articles included in this important volume. The review then raises several substantial axiological and linguistic questions considering the term "race", and suggests some moral insights from Jewish tradition regarding the idea of the oneness of humanity and of all human creatures, as a basis for opposing racism.

The paper begins with an argument against eliminativism with respect to the propositional attitudes. There follows an argument that concepts are sui generis ante rem entities. A nonreductionist view of concepts and propositions is then sketched. This provides the background for a theory of concept possession, which forms the bulk of the paper. The central idea is that concept possession is to be analyzed in terms of a certain kind of pattern of reliability in one’s intuitions regarding the behavior of (...) the concept. The challenge is to find an analysis that is at once noncircular and fully general. Environmentalism, anti-individualism, holism, analyticity, etc. provide additional hurdles. The paper closes with a discussion of the theory’s implications for the Wittgenstein-Kripke puzzle about rule-following and the Benacerraf problem concerning mathematical knowledge. (shrink)

Lucy Allais seeks to provide a reading of the Transcendental Deduction of the Categories which is compatible with a nonconceptualist account of Kant’s theory of intuition. According to her interpretation, the aim of the Deduction is to show that a priori concept application is required for empirical concept application. I argue that once we distinguish the application of the categories from the instantiation of the categories, we see that Allais’s reconstruction of the Deduction cannot provide an answer to Hume’s (...) class='Hi'>problem about our entitlement to use a priori concepts when thinking about the objects of empirical intuition. If the Deduction is to provide a response to Hume, Allais’s interpretation must be rejected. (shrink)

In Wollstonecraft’s early writings, she articulates the foundational theological and philosophical principles that would underpin her work throughout her career. One difference between her early and later work lies in the way that the values to which she refers are combined. Whereas Wollstonecraft at first appeals to the separate ideals of independence, equality, and virtue, from the 1790s onwards she integrates these into a characteristic republican framework that was in common use amongst dissenting theorists at the time. The set of (...) values on which Wollstonecraft draws, and the version of the republican framework that she develops, closely resemble those of Richard Price with whose work she was familiar. Examining the structural similarities between their respective models, I argue, gives us an insight into the systematic manner of aspects of Wollstonecraft’s own thought. It also allows us to see how Wollstonecraft goes beyond the republicanism of Price and others as she develops her own feminist solutions to the problems of structural domination. (shrink)

On page 14 of "Reconceptions in Philosophy and Other Arts and Sciences" (section 4 of chapter 1) by Nelson Goodman and Catherine Z. Elgin is written: “Since ‘blue’ and ‘green’ are interdefinable with ‘grue’ and ‘bleen’, the question of which pair is basic and which pair derived is entirely a question of which pair we start with”. This paper points out that an example of interdefinability is also that one about the predicate “grueb”, which is a predicate that applies to (...) an object if the object either is green and examined before time b, or is non-green and not examined before time b. The three predicates “green”, “grueb”, “examined before time b” are interdefinable. According to Goodman, since the predicates “blue” and “green” are interdefinable with the predicates “grue” and “bleen”, “if we can tell which objects are blue and which objects are green, we can tell which ones are grue and which ones are bleen” [pages 12-13 of “Reconceptions in Philosophy and Other Arts and Sciences”]. But , even though the predicates “green” and “examined before time b” are interdefinable, being able to tell if an object is green does not imply being able to tell if an object is examined before time b. The interdefinability among three elements is a type of interdefinability present, for example, also among the logical connectives. Another example of interdefinability is that one about a decidable predicate PD, which is interdefinable with an undecidable predicate PU: therefore even though we can tell whether an object is PD and whether an object is non-PD, we cannot tell whether an object is PU (since PU is an undecidable predicate) and whether an object is non-PU. Although the predicates PD and PU are interdefinable, the possibility to determine whether an object is PD does not imply the possibility to determine whether an object is PU (since PU is an undecidable predicate). Similarly, although the predicates “green” and “grue” are interdefinable, the possibility to determine whether an object is “green” even in absence of temporal information does not imply the possibility to determine whether an object is “grue” even in absence of temporal information. These and other examples about “grue” and “bleen” point out that even in case two predicates are interdefinable, the possibility to apply a predicate P does not imply the possibility to apply a predicate interdefinable with P. And that the possibility to apply the predicate “green” without having temporal information does not imply the possibility to apply the predicate “grue” without having temporal information. According to Goodman, if it is possible to determine if an object is green without needing temporal information, then it is also possible to determine if an object is grue without needing temporal information. But, knowing that an object is both green and grue implies temporal information: in fact, we know by definition that a grue object can only be: 1) either green (in case the object is examined before time t); 2) or blue (in case the object is not examined before time t). Thus, knowing that an object is both grue and green, we know that we are faced with case 1, the case of a grue object that is green and examined before time t. Then the paper points out why the Goodman-Kripke paradox is a paradox about meaning that cannot have repercussions on induction. Finally the paper points out why Hume’s problem is a problem different from Goodman’s paradox and requires a specific treatment. (shrink)

If we had more powerful minds would we be puzzled by less - because we could make better theories - or by more - because we could ask more difficult questions? This paper focuses on clarifying the question, with an emphasis on comparisons between actual and possible species of thinker. A pre-publication version of the paper is available on my website at http://www.fernieroad.ca/a/PAPERS/papers.html .

Russellian monism (RM) attributes experience to the intrinsic nature of physics’ abstract mathematical accounts of the world. It’s touted as a promising mind-body solution, for it avoids dualist and physicalist issues. Yet this status is imperiled by its deeply obscure ideas of mental combination, protophenomenal entities, emergent experience, grounded abstractions, et cetera. This “metaphysical magical mystery tour” may render RM as problematic as competing views. A clear, simple panpsychism akin to Strawson’s might avoid these issues. In this theory (NPP), experience (...) is the real, underlying nature of matter-energy, hidden beyond its sensory appearances. NPP may avoid panpsychist combination problems by showing how neurons can electrically bind their minimal experience to form percepts, thoughts, and subjects. This might explain combination in testable ways, while RM instead turns to questionable microsubjects and binding mechanisms. NPP’s virtues are its metaphysical simplicity, empirical support, testable foundations—and its avoidance of the issues in RM and other standard theories. It might point to a mind-body solution. (shrink)

Neuroscience hasn’t shown how quite similar sensory circuits encode quite different colors and other qualia, nor how the unified pictorial form of images is encoded, nor how these codes yield conscious images. Neuroscience’s fixation here on cortical codes may be the culprit. Treating conscious images partly as retinal substances may avoid these problems. The evidence for conscious retinal images is that (a) the cortical codes for images are quite problematic, (b) injecting retinas with certain genes turns dichromats into trichromats without (...) cortical help, (c) retinas can discern colors by themselves without cortex, (d) retinal distortions appear in images but cortical distortions don’t, (e) retinal detectors support finely detailed colors, but V4 detectors don’t, due to their big receptive fields, (f) retinal activity has pictorial form, but viable cortical codes for pictorial form don’t exist. So, the colors and unified pictorial form of images arguably arise mainly across arrays of retinal detectors—not from abstract cortical codes. Images may be hidden in retinal activity beyond what EEGs show of it (cf. Strawson’s monism). Also, cortex refines these retinal images but cortical impairment (anesthesia, lesions, etc.) blocks awareness of them, for they’re no longer accessible to the mind’s subject-centered consciousness, resident in cortex. This proposal is largely testable and based in recent evidence. It avoids neuroscience’s elusive, problematic coded images and enigmatic explanations of how they become conscious. (shrink)

Robert Nozick, in chapter two of the nature of rationality, proposes two famous problems in decision theory (i.e., Newcomb's problem and Prisoner Dilemma) and two main strategies toward these problems i.e. dominant strategy and dominated or cooperative one. He will try to give a formal principles to calculate the decision values in these situations. In this calculation he goes beyond the standard principle of maximizing expected utility and would try to put forth less ideal and more realistic principles that (...) fit the decision situation in the real world. (shrink)

Today’s everyone normal life can include a normal rate of playing computer games or video games; but what about an excessive or compulsive use of video games that impact on our life? Our kids, who usually spend a lot of time in playing video games will likely have a trouble in paying attention to their school lessons. In this paper, we introduce an expert system to help users in getting the correct diagnosis of the health problem of video game (...) addictions that range from (Musculoskeletal issues, Vision problems and Obesity). Moreover, this expert system provides information about the problem and tell us how we can solve it. SL5 Object expert system language was used to design and implement the expert system. (shrink)

I consider a familiar argument for two-boxing in Newcomb's Problem and find it defective because it involves a type of divergence from standard Baysian reasoning, which, though sometimes justified, conflicts with the stipulations of the Newcomb scenario. In an appendix, I also find fault with a different argument for two-boxing that has been presented by Graham Priest.

Introduction Reza Davari Ardakni, the Iranian contemporary philosopher, distinguishes development from Western modernity; in that it considers modernity as natural and organic changes that Europe has gone through, but sees development as a planned design for implementing modernity in other countries. As a result, the closedness of development concerns only the developing countries, not Western modern ones. Davari emphasizes that the Western modernity has a universality that pertains to a unique reason and a unified world. The only way of thinking (...) in this world is a philosophical thought based on human self-centered reason, and given the pervasiveness of Western civilization. Therefore, Davari does not consider Westernization as mere imitation of Western customs and methods, but rather as a way of existence in the world. Westernization is a subjective view of the world and beings. Westernization is not optional, enabling non-Western people to avoid it. According to the Westernization scenario, the world today is entirely Westernized, and Davari considers Westernization as the inevitable fate of the people of this era, seeing two alternatives for them, both of which ultimately lead to the same destination, which is to embrace development; either they seize the power of science and technology and join the process of global modernization and participate in it, or they become subdued by this process and accept it without participation. Davari regards the first type of Westernization as active and the second type as passive. Problematique Therefore, underdevelopment is not a concept of the ancient world, nor even of a world between the ancient and the modern, or on the threshold of modernization. Underdevelopment is a condition of suspension and timelessness and being exposed to modernization. To escape the paradox of underdevelopment, which is the inevitable historical fate of non-modernized societies, Davari sees no way out other than embracing development. In other words, Westernized societies, which have become confused due to modernization, have no escape route other than turning to development. Therefore, some critics of Davari accuse the theory of Westernization of being a theoretical rupture. M. T. Tabatabaei, by rejecting the theoretical rupture in the theory of Westernization, believes that in the argument of Davari, we are only faced with a shift from a philosophical to an intellectual level. Tabatabaei, by avoiding providing a philosophical response to the critics of the theoretical rupture, believes that the introduction of active Westernization and collaboration in science and technology as a solution to escape from underdevelopment conditions, is only a shift from a philosophical level to an intellectual level and does not involve a rupture. Therefore, it seems that the philosophical issue of how or the possibility of escaping from underdevelopment conditions is still an open non answered problem. In this study, seeking a philosophical answer to this problem, an attempt has been made to summarize Davari's definitions of development, underdevelopment, participation in the world of science, and the role of humanities and social sciences in development, using his writings and speeches. It is proposed that a way to escape from the clesedness of development based on Davari's views, is to make use of analytical method with emphasizing on concepts and theories of the philosophy and metaphysics of science. Argument According to Davari, the social and human sciences that are responsible for development planning in underdeveloped societies must consider the characteristics of underdevelopment in order to facilitate the transition to more favorable conditions. Davari identifies the following conditions for successful development: 1) replacing tradition with science as the organizing and coordinating principle in society, 2) recognizing the universality of philosophy and science of the Western modernity and the impossibility of blindly imitation and adopting it, 3) inevitability of actively engaging and interacting with development, 4) recognizing the internal dynamics of scientific progress and avoiding authoritarian control, and 5) promoting free participation in the scientific paradigms. Therefore, Davari suggests the following steps towards development: 1) recognizing and understanding the problems of society and the local ecosystem, 2) understanding the philosophical and cultural foundations of Western civilization, 3) understanding the historical context and paradigms of science, 4) understanding the philosophical and metaphysical foundations of science, 5) recognizing the intellectual and philosophical capacities of our own community, and 6) reflecting our own philosophical and metaphysical assumptions in the scientific world in a way that is compatible with scientific methods. Given the motivations for change in science at both the global and national levels, including the emergence of heterodox or indigenous sciences, and the inevitable nature of development, Davari points to the possibility of a path between absolute rejecting or accepting the mainstream social and human sciences. However, this path is challenging and contingent upon the aforementioned conditions and steps of transition. Conclusion It is necessary to seek this path within the realm of the philosophy and metaphysics of science, particularly in the origins and foundations of the social and human sciences. Research in the metaphysics and philosophy of the social sciences provides the opportunity for active scientific engagement in the scientific paradigms and a reconsideration of the foundations of science, allowing for different philosophical foundations while are compatible with scientific methods. Successfully finding a path between absolute rejecting or accepting the existing social sciences will lead to an internal transformation within the field of science and, in fact, will advance the boundaries of knowledge. Therefore, it is possible, while adhering to the conditions of transition and actively participating in the world of science and technology, and accepting the unity of modernity and avoiding selectivity and imitation, to search for a way to overcome the closedness of development through a reconsideration of the philosophical and metaphysical foundations of science, while recognizing our own intellectual heritage and critically assessing Western science and technology. (shrink)

In this paper, I consider Hilary Putnam’s argument for the prima facie acceptance of robotic consciousness as deserving the status of mind. I argue that such an extension of consciousness renders the category fundamentally unintelligible, and we should instead understand robots as integral products of an extended human consciousness. To this end, I propose a test from conceptual object permanence, which can be applied not just to robots, but to the innumerable artifacts of consciousness that texture our existences.

One common attitude toward abstract objects is a kind of platonism: a view on which those objects are mind-independent and causally inert. But there's an epistemological problem here: given any naturalistically respectable understanding of how our minds work, we can't be in any sort of contact with mind-independent, causally inert objects. So platonists, in order to avoid skepticism, tend to endorse epistemological theories on which knowledge is easy, in the sense that it requires no such contact—appeals to Boghossian’s notion (...) of epistemic analyticity are particularly common here, as are appeals to some broadly pragmatic account of the good standing of basic beliefs. I argue, though, that these appeals are hopeless: an argument adapted from the Benacerraf–Field challenge shows that, even if some such theory can deliver the verdict that our beliefs about abstract objects have some prima facie good standing, this good standing will inevitably be defeated. (shrink)

The close association of particular races with particular classes invites a means to exhibit disdain for a race via class. Class and race do not simply occupy a list of social problems, because generally, specific races correlate with particular classes. Racism is presently unacceptable, but not classism. We may feel sympathy for the poor, but we do not refrain from disdain. The disdain of the poor centers on Neoclassical economics’ insistence on choice in regards to class. The language of choice (...) does not circumscribe race. Michel Foucault’s work illustrates that the persistent correlation of race and class is not merely sociological but conceptual. Such close associations of particular races with particular classes serve as a means to generate essentialisms that express racism through classism. (shrink)

Kyle Stanford’s reformulation of the problem of underdetermination has the potential to highlight the epistemic obligations of scientists. Stanford, however, presents the phenomenon of unconceived alternatives as a problem for realists, despite critics’ insistence that we have contextual explanations for scientists’ failure to conceive of their successors’ theories. I propose that responsibilist epistemology and the concept of “role oughts,” as discussed by Lorraine Code and Richard Feldman, can pacify Stanford’s critics and reveal broader relevance of the “new induction.” (...) The possibility of unconceived alternatives pushes us to question our contemporary expectation for scientists to reason outside of their historical moment. (shrink)

In a recent Philosophy of Science article Gerhard Schurz proposes meta-inductivistic prediction strategies as a new approach to Hume's. This comment examines the limitations of Schurz's approach. It can be proven that the meta-inductivist approach does not work any more if the meta-inductivists have to face an infinite number of alternative predictors. With his limitation it remains doubtful whether the meta-inductivist can provide a full solution to the problem of induction.

The paper explores the logical structure of Rawlsian justice principles in order to see whether their justificatory or explanatory conditions are unproblematic. To facilitate this purpose, drawing on readers of Rawls, the author shows that the Aristotelian principle is used to explain the principles of rational choice, particularly the principle of inclusiveness. Then, on the basis of the Aristotelian principle, Rawls justifies his conclusion, via the principles of rational choice and the theory of primary goods. After figuring out the logical (...) structure of justice as fairness, the author deals with the central objective of the paper, where he exposes some problems suffered by the motivational basis of the principles of justice. The foundation on which Rawls grounds his principles of justice is problematic, and consequently, they remain as matters of contention as of today. (shrink)

There is an increase in the use of in-door wireless networking solutions via Wi-Fi and this increase infiltrated and utilized Wi-Fi enable devices, as well as smart mobiles, games consoles, security systems, tablet PCs and smart TVs. Thus the demand on Wi-Fi connections increased rapidly. Rule Based System is an essential method in helping using the human expertise in many challenging fields. In this paper, a Rule Based System was designed and developed for diagnosing the wireless connection problems and attain (...) a precise decision about the cause of the problem. SL5 Object expert system language was used in developing the rule based system. An Evaluation of the rule based system was carried out to test its accuracy and the results were promising. (shrink)