With the advent of Internet of Things (IoT) and data convergence using rich cloud services, data computing has been pushed to new horizons. However, much of the data generated at the edge of the network leading to the requirement of high response time. A new computing paradigm, edge computing, processing the data at the edge of the network is the need of the time. In this paper, we discuss the IoT architecture, predominant application protocols, definition of edge computing and its (...) research opportunities. (shrink)

In this paper, we show (among other things) that the conditional in Frege's Begriffsschrift is ambiguous.

Franz C. Brentano, 'La psicología de Aristóteles, con especial atención a la doctrina del entendimiento agente. Seguida de un apéndice sobre la actividad del Dios aristotélico'. Traducción y presentación de David Torrijos Castrillejo. Madrid, Ediciones Universidad San Dámaso, 2015, ISBN: 978-84-15027-81-2, xix + 344 pp. Título original: 'Die Psychologie des Aristoteles insbesondere seine Lehre vom ΝΟΥΣ ΠΟΙΗΤΙΚΟΣ. Nebst einer Beilage über das Wirken des Aristotelischen Gottes'. Mainz: Franz Kirchheim, 1867.

In common with traditional forms of epistemic internalism, epistemological disjunctivism attempts to incorporate an awareness condition on justification. Unlike traditional forms of internalism, however, epistemological disjunctivism rejects the so-called New Evil Genius thesis. In so far as epistemological disjunctivism rejects the New Evil Genius thesis, it is revisionary. -/- After explaining what epistemological disjunctivism is, and how it relates to traditional forms of epistemic internalism / externalism, I shall argue that the epistemological disjunctivist’s account of the intuitions underlying the New (...) Evil Genius thought experiment is at best incomplete. As presented, therefore, epistemological disjunctivism is unable to accommodate the core guiding intuitions of epistemic internalism. Given the stated aim of not being revisionary on this score, the view is at a dialectical disadvantage over the traditional forms of epistemic internalism the position is meant to replace. Unfortunately, therefore, at present, the impasse between internalism and externalism remains. (shrink)

This chapter will review selected aspects of the terrain of discussions about probabilities in statistical mechanics (with no pretensions to exhaustiveness, though the major issues will be touched upon), and will argue for a number of claims. None of the claims to be defended is entirely original, but all deserve emphasis. The first, and least controversial, is that probabilistic notions are needed to make sense of statistical mechanics. The reason for this is the same reason that convinced Maxwell, Gibbs, and (...) Boltzmann that probabilities would be needed, namely, that the second law of thermodynamics, which in its original formulation says that certain processes are impossible, must, on the kinetic theory, be replaced by a weaker formulation according to which what the original version deems impossible is merely improbable. Second is that we ought not take the standard measures invoked in equilibrium statistical mechanics as giving, in any sense, the correct probabilities about microstates of the system. We can settle for a much weaker claim: that the probabilities for outcomes of experiments yielded by the standard distributions are effectively the same as those yielded by any distribution that we should take as a representing probabilities over microstates. Lastly, (and most controversially): in asking about the status of probabilities in statistical mechanics, the familiar dichotomy between epistemic probabilities (credences, or degrees of belief) and ontic (physical) probabilities is insufficient; the concept of probability that is best suited to the needs of statistical mechanics is one that combines epistemic and physical considerations. (shrink)

Neutral monism is a position in metaphysics defended by Mach, James, and Russell in the early twentieth century. It holds that minds and physical objects are essentially two different orderings of the same underlying neutral elements of nature. This paper sets out some of the central concepts, theses and the historical background of ideas that inform this doctrine of elements. The discussion begins with the classic neutral monism of Mach, James, and Russell in the first part of the paper, then (...) considers recent neo-Russellian versions in the second half. The chances for a revival of neutral monism are probably slight; its key ideas and starting points lie far from those in contemporary philosophy of mind. A better route might be through the philosophy of science and a deeper understanding of causation. (shrink)

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

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

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

Cushman, Young, & Greene (2010) urge the consolidation of moral psychology around a dual-system consensus. On this view, a slow, often-overstretched rational system tends to produce consequentialist intuitions and action-tendencies, while a fast, affective system produces virtuous (or vicious) intuitions and action-tendencies that perform well in their habituated ecological niche but sometimes disastrously outside of it. This perspective suggests a habit-corrected-by-reason picture of moral behavior. Recent research, however, has raised questions about the adequacy of dual-process theories of cognition and behavior, (...) which tend to distinguish categorically between fast, affect-laden, automatic, sometimes-unconscious, nearly-incorrigible mental processes and slow, rational, effortful, conscious, corrigible mental processes. Processes of one alleged type often have properties associated with the contrary type. For instance, rational processes can be emotional, and fast thinking can perform logical operations. In addition, the fast-slow binary transforms a continuous temporal scale into a dichotomous one, losing potentially important information along the way. While these problems are beginning to be addressed in some subfields of psychology, moral psychology has yet to grapple with them. In this theoretical paper, we argue that moral psychology needs a framework that accounts for our knowledge of both temporal and spatial (anatomical) dimensions of the brain basis of moral cognition and virtuous decision-making. We argue that methodologies with very fine-grained temporal granularity, such as electroencephalography (EEG), should be used to complement more frequently used methodologies such as functional magnetic resonance imaging (fMRI). We outline how this might be accomplished using generosity, gratitude, and integrity as a case study. (shrink)

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

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

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

Some environmental ethicists and economists argue that attributing infinite value to the environment is a good way to represent an absolute obligation to protect it. Others argue against modelling the value of the environment in this way: the assignment of infinite value leads to immense technical and philosophical difficulties that undermine the environmentalist project. First, there is a problem of discrimination: saving a large region of habitat is better than saving a small region; yet if both outcomes have infinite value, (...) then decision theory prescribes indifference. Second, there is a problem of swamping probabilities: an act with a small but positive probability of saving an endangered species appears to be on par with an act that has a high probability of achieving this outcome, since both have infinite expected value. Our paper shows that a relative concept of infinite value can be meaningfully defined, and provides a good model for securing the priority of the natural environment while avoiding the failures noted by sceptics about infinite value. Our claim is not that the relative infinity utility model gets every detail correct, but rather that it provides a rigorous philosophical framework for thinking about decisions affecting the environment. (shrink)

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

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

Skeptics of the moral case against industrial farming often assert that harm to animals in industrial systems is limited to isolated instances of abuse that do not reflect standard practice and thus do not merit criticism of the industry at large. I argue that even if skeptics are correct that abuse is the exception rather than the rule, they must still answer for two additional varieties of serious harm to animals that are pervasive in industrial systems: procedural harm and institutional (...) oppression. That procedural and institutional harms create conditions under which abuse is virtually inevitable only increases the skeptic's burden. (shrink)

In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...) why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)

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

Extension is probably the most general natural property. Is it a fundamental property? Leibniz claimed the answer was no, and that the structureless intuition of extension concealed more fundamental properties and relations. This paper follows Leibniz's program through Herbart and Riemann to Grassmann and uses Grassmann's algebra of points to build up levels of extensions algebraically. Finally, the connection between extension and measurement is considered.

Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the (...) standard examples given of supposedly fallacious genetic reasoning. (shrink)

Pierre-Henri Castel provides a short but richly argued precis of his recently published two-volume 1,000-page masterwork on the history of obsessive-compulsive disorder. Having not read the as-yet-untranslated books, I write this commentary from Plato’s cave, trying to infer the reality of Castel’s analysis from expository shadows. I am unlikely to be more successful than Plato’s poor troglodytes, so I apologize ahead of time for any misunderstandings. Moreover, I cannot assess Castel’s detailed evidential case for his substantive theses.1 I thus focus (...) on some key philosophical issues that impinge on an area of my concern, the concept of mental disorder. Castel is a rare breed of French.. (shrink)

I trace changes to Frege's understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning (...) of Russell's paradox, this position is a natural position for him to have retreated to, when properly understood. (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)

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

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that avoids (...) this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

In this paper, the issues of computability and constructivity in the mathematics of physics are discussed. The sorts of questions to be addressed are those which might be expressed, roughly, as: Are the mathematical foundations of our current theories unavoidably non-constructive: or, Are the laws of physics computable?

Thomas Hill famously argued that what really bothers us about environmental degradation is best discovered by asking “What kind of person would do such a thing?” Beliefs, some of which are blameworthy, are among the things that define what kind of person one is. What we care about is reflected in whether one’s epistemic practices align with one’s core moral convictions and common standards of decency. Our moral sensitivities are reflected in what we attend to and reflect upon. What we (...) do not notice can be a result of culpable indifference or self-deception. Environmental beliefs formed with negligent disregard for the risks they create for others are reflections of a vicious moral character. Beliefs of citizens have consequences. They determine what politicians will respond to and what policies they will introduce. Ideological commitments have been shown to influence what one takes to be the facts about risks. When the ethical dimensions of environmental beliefs and ignorance are unchallenged society drifts morally. Emphasizing the relationship between commonly shared moral convictions (more basic than ideological commitments) and risky environmental beliefs and actions has more potential to create environmental awareness than the current focus on environmental science and the economic benefits of better environmental policies. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

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

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

From the dictum "ought implies can", it has been argued that no account of belief's normativity can avoid the unpalatable result that, for unbelievable propositions such as "It is raining and nobody believes that it is raining", one ought not to believe them even if true. In this article, I argue that this move only succeeds on a faulty assumption about the conjunction of doxastic "oughts.".

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

Wall, G. Locke's attack on innate knowledge.--Harris, J. Leibniz and Locke on innate ideas.--Greenlee, D. Locke's idea of idea.--Aspelin, G. Idea and perception in Locke's essay.--Greenlee, D. Idea and object in the essay.--Mathews, H. E. Locke, Malebranche and the representative theory.--Alexander, P. Boyle and Locke on primary and secondary qualities.--Ayers, M. R. The ideas of power and substance in Locke's philosophy.--Allison, H. E. Locke's theory of personal identity.--Kretzmann, N. The main thesis of Locke's semantic theory.--Woozley, A. D. Some remarks on (...) Locke's account of knowledge.--Laudan, L. The nature and sources of Locke's views on hypotheses. (shrink)

The political distinction between left and right remains ideologically muddled. This was not always so, but an immediate return to the pristine usage is impractical. Putting a theory of social liberty to one side, this essay defends the interpretation of left-wing as personal-choice and right-wing as property-choice. This allows an axis that is north/choice (or state-free) and south/control (or state-ruled). This Political Compass clarifies matters without being tendentious or too complicated. It shows that what is called ‘libertarianism’ is north-wing. A (...) quiz gives the reader’s Political Compass reading. (shrink)

Jacob Klapwijk’s book Purpose in the Living World? (Cambridge 2998) is examined with special attention given to the scholarly background from out of which it emerges as a significant contribution to reformational philosophical reflection. As an initial step to clarify some important issues raised by Klapwijk’s critical comments about Dooyeweerd’s “essentialist” concept of species, the article probes facets of the way Jan Lever incorporated reformational philosophical concepts into his biological theory and considers the 1959 review written by Herman Dooyeweerd of (...) Lever’s Creation and Evolution. The analysis focuses specifically upon the social responsibilities of these two scholars and the confrontation of their respective views. With the work of Lever and Dooyeweerd we sense something of the ambiguities when reformational philosophy confronts an evangelical scholasticism. This confrontation is an important facet of the context in which Klapwijk has set forth his discussion of creation and emergent evolution. Purpose is also the fruit of scholarly collaboration across disciplines, providing a welcome stimulus for a deepened understanding of the corporate character of the student vocation. (shrink)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not taken into account. (...) The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

Contractarians view justice as being defined by a contract made by rational individuals. No one supposes that this contract is actual, and the fact that it is merely hypothetical raises a number of questions both about the assumptions under which it would be actual and about the force of hypothetical agreement that is contingent on these assumptions.Particular contractarian theories must specify the circumstances of the agreement and the endowments, beliefs, desires, and degree and type of rationality of the agents. How (...) these issues are settled determines the force of the hypothetical agreement. The fact that ignorant people who desired only universal suffering would, under duress, agree to a certain principle gives us no reason to believe the principle is a correct moral principle or to think it rational to accept or act on it: some counterfactual assumptions undermine entirely the moral force of hypothetical agreement. On the other hand, to take people just as they are, with their current beliefs, desires, endowments, and all, is to endorse their ignorance and mistakes as well as any previous injustice that affects their bargaining power. (shrink)

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

My aim in this article is to challenge the standard North American diet’s (SAD) default status in church and among North American Christians generally. First, I explain what is at stake in my guiding question—“Is unrestrained omnivorism as typified by SAD spiritually beneficial?”—and then I attempt to allay some common skeptical concerns about the suitability of food ethics as a topic for serious Christian discernment. Second, I develop a prima facie case that SAD is not spiritually beneficial, drawing on five (...) traditional sources for Christian moral deliberation, including and especially general revelation and discernment of the fruits of the spirit. I conclude that, in the absence of a rebuttal vindicating SAD, the church should actively encourage Christians to adopt more redemptive eating habits, and Christians who are able should take action toward this end. (shrink)

Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is (...) not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also argue (...) that this sort of explanation calls for a general theory that goes beyond the special case of linguistic vagueness, for the phenomenon is at bottom not linguistic. (shrink)

This paper’s outline is as follows. In sections 1-3 I give an exposi¬tion of the Mind-Body Problem, with emphasis on what I believe to be the heart of the problem, namely, the Percepts-Qualia Nonidentity and its incompatibility with the Physical Closure Paradigm. In 4 I present the “Qualia Inaction Postulate” underlying all non-interactionist theo¬ries that seek to resolve the above problem. Against this convenient postulate I propose in section 5 the “Bafflement Ar¬gument,” which is this paper's main thesis. Sections 6-11 (...) critically dis¬cuss attempts to dismiss the Bafflement Argument by the “Baf¬flement=Mis¬perception Equation.” Section 12 offers a refutation of all such attempts in the form of a concise “Asymmetry Proof.” Section 13 points out the bearing of the Bafflement Argument on the evolutionary role of consciousness while section 14 acknowledges the price that has to be paid for it in terms of basic physical principles. Section 15 summarizes the paper, pointing out the inescapability of interactionist dualism. (shrink)

This article distinguishes between Machian empiricism and the logical positivism of the Vienna Circle and associated philosophers. Mach's natural philosophy was a first order attempt to reform and reorganize physics, not a second order reconstruction of the "language" of physics. Mach's elements were not sense data but realistic events in the natural world and in minds, and Mach admitted unobserved elements as part of his world view. Mach's critique of metaphysics was far more subtle and concerned the elimination of sensory (...) visual imagery from natural science, leaving only concrete elements and functions, very much an inspiration to the young Einstein and Heisenberg and a useful engine of theory construction in physics. (shrink)