The long‐standing issue of Wittgenstein's controversial remarks on Gödel's Theorem has recently heated up in a number of different and interesting directions [, , ]. In their , Juliet Floyd and Hilary Putnam purport to argue that Wittgenstein's‘notorious’ “Contains a philosophical claim of great interest,” namely, “if one assumed. that →P is provable in Russell's system one should… give up the “translation” of P by the English sentence ‘P is not provable’,” because if ωP is provable in PM, PM is (...) ω ‐inconsistent, and if PM is ω‐inconsistent, we cannot translate ‘P’as ’P is not provable in PM’because the predicate‘NaturalNo.’in ‘P’“cannot be…interpreted” as “x is a natural number.” Though Floyd and Putnam do not clearly distinguish the two tasks, they also argue for “The Floyd‐Putnam Thesis,” namely, that in the 1930's Wittgenstein had a particular understanding of Gödel's First Incompleteness Theorem. In this paper, I endeavour to show, first, that the most natural and most defensible interpretation of Wittgenstein's and the rest of is incompatible with the Floyd‐Putnam attribution and, second, that evidence from Wittgenstein's Nachla strongly indicates that the Floyd‐ Putnam attribution and the Floyd‐Putnam Thesis are false. By way of this examination, we shall see that despite a failure to properly understand Gödel's proof—perhaps because, as Kreisel says, Wittgenstein did not read Gödel's 1931 paper prior to 1942‐Wittgenstein's 1937–38, 1941 and 1944 remarks indicate that Gödel's result makes no sense from Wittgenstein's own perspective. (shrink)

From 1929 through 1944, Wittgenstein endeavors to clarify mathematical meaningfulness by showing how (algorithmically decidable) mathematical propositions, which lack contingent "sense," have mathematical sense in contrast to all infinitistic "mathematical" expressions. In the middle period (1929-34), Wittgenstein adopts strong formalism and argues that mathematical calculi are formal inventions in which meaningfulness and "truth" are entirely intrasystemic and epistemological affairs. In his later period (1937-44), Wittgenstein resolves the conflict between his intermediate strong formalism and his criticism of set theory by requiring (...) that a mathematical calculus (vs. a "sign-game") must have an extrasystemic, real world application, thereby returning to the weak formalism of the Tractatus. (shrink)

Most philosophers of science maintain Confirmationism's central tenet, namely, that scientific theories are probabilistically confirmed by experimental successes. Against this dominant conception of experimental science, Popper's well-known, anti-inductivistic Falsificationism has stood, virtually alone, since 1934. Indeed, it is Popper who tells us that it was he who killed Logical Positivism. It is also pretty well-known that Popper blames Wittgenstein for much that is wrong with Logical Positivism, just as he despises Wittgenstein and Wittgensteinian philosophers for abdicating philosophy's true mission. What (...) is not well-known, however, especially because Popper neglected to tell us in 1934, is that Wittgenstein is very much an ally. It was Wittgenstein who rejected induction in the strongest possible terms as early as 1922, and it was Wittgenstein who similarly rejected Confirmationism approximately four years prior to Popper. The aims of this paper are to illuminate the substantial agreements between Popper and Wittgenstein and, by doing so, to clarify their important disagreement regarding the status of “strictly universal,” scientific theories. (shrink)

Strong Al presupposes (1) that Super-Searle (henceforth ‘Searle’) comes to know that the symbols he manipulates are meaningful , and (2) that there cannot be two or more semantical interpretations for the system of symbols that Searle manipulates such that the set of rules constitutes a language comprehension program for each interpretation. In this paper, I show that Strong Al is false and that presupposition #1 is false, on the assumption that presupposition #2 is true. The main argument of the (...) paper constructs a second program, isomorphic to Searle’s, to show that if someone, say Dan, runs this isomorphic program, he cannot possibly come to know what its mentioned symbols mean because they do not mean anything to anybody. Since Dan and Searle do exactly the same thing, except that the symbols they manipulate are different, neither Dan nor Searle can possibly know whether the symbols they manipulate are meaningful (let alone what they mean, if they are meaningful). The remainder of the paper responds to an anticipated Strong Al rejoinder, which, I believe, is a necessary extension of Strong Al. (shrink)

For more than six decades, and for thousands of students, Introduction to Logic has been the gold standard in introductory logic texts. In this 15th Edition, Carl Cohen and Victor Rodych update Irving M. Copi's classic text, improving on its many strengths and introducing new and helpful material that will greatly assist both students and instructors.

In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of (...) ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for $\mathcal {HPTT}$. (shrink)

Le manuscrit decouvert a la Bibliotheque de la Sorbonne est la seule source en francais du cours d'esthetique de Hegel. Le cahier ne mentionne aucun nom, mais les traces de l'ecriture de Victor Cousin atteste que celui-ci en etait le possesseur et le destinataire. La comparaison avec les autres sources manuscrites montre que se texte se rapporte au cours donne a Berlin pendant le semestre d'ete 1823, prenant la forme d'un abrege. L'accent est mis sur la structuration du discours (...) et la dimension systematique, distinguant cette version condensee de l'edition traditionnelle de l'Esthetique. Le texte constitue egalement l'exemple exceptionnel d'une traduction hegelienne realisee du vivant du philosophe. L'enseignement de Hegel, inedit en son temps, se trouve ainsi restitue pour la premiere fois au public francophone sous sa forme originale. (shrink)

Constrained instrumentalist theories of punishment – those that seek to justify punishment by its good effects, but limit its scope – are an attractive alternative to pure retributivism or utilitarianism. One way in which we may be able to limit the scope of instrumental punishment is by justifying punishment through the concept of duty. This strategy is most clearly pursued in Victor Tadros’ influential ‘Duty View’ of punishment. In this paper, I show that the Duty View as it stands (...) cannot find any moral distinction between the permissible punishment of the guilty and the permissible punishment of the innocent in extreme circumstances, therefore undermining one the key pillars of its intuitive appeal. I canvass several ways to respond to this problem, arguing that a rights forfeiture theory which employs the distinction between rights forfeiture and rights infringement is the best solution. (shrink)

Political Monsters and Democratic Imagination explores the democratic thought of Spinoza and its relation to the thought of William Blake, Victor Hugo, and James Joyce. As a group, these visionaries articulate: a concept of power founded not on strength or might but on social cooperation; a principle of equality based not on the identity of individuals with one another but on the difference between any individual and the intellectual power of society as a whole; an understanding of thought as (...) a process that operates between rather than within individuals; and a theory of infinite truth, something individuals only partially glimpse from their particular cultural situations. For Blake, God is the constellation of individual human beings, whose collective imagination produces revolutionary change. In Hugo's novel, Jean Valjean learns that the greatest truth about humanity lies in the sewer or among the lowest forms of social existence. For Joyce, Leopold and Molly Bloom are everybody and nobody, singular beings whose creative power and truth is beyond categories and social hierarchies. (shrink)

The Criminalization series arose from an interdisciplinary investigation into criminalization, focussing on the principles that might guide decisions about what kinds of conduct should be criminalized, and the forms that criminalization should take. Developing a normative theory of criminalization, the series tackles the key questions at the heart of the issue: what principles and goals should guide legislators in deciding what to criminalize? How should criminal wrongs be classified and differentiated? How should law enforcement officials apply the law's specifications of (...) offences? The sixth volume in the series offers a philosophical investigation of the relationship between moral wrongdoing and criminalization. Considering the justification of punishment, the nature of harm, the importance of autonomy, inchoate wrongdoing, the role of consent, and the role of the state, the book provides an account of the nature of moral wrongdoing, the sources of wrongdoing, why wrongdoing is the central target of the criminal law, and the ways in which criminalization of non-wrongful conduct might be permissible. (shrink)

A review of research with chicks, songbirds, rodents, and nonhuman primates indicates that the brain is lateralized for a number of behavioral functions. These findings can be understood in terms of three hypothetical brain processes derived from a brain model based on general systems theory: hemispheric activation, interhemispheric inhibition, and interhemispheric coupling.Left-hemisphere activation occurs in songbirds and nonhuman primates in response to salient auditory or visual input, or when a communicative output is required. The right hemisphere is activated in rats (...) when spatial performance is required, and in chicks when they are placed in an emotion-provoking situation. In rats and chicks interhemispheric activation and inhibition occur when there is an affective component in the environment (novelty, aversive conditioning) or when an emotional response is emitted (copulation, attack, killing). An interhemispheric coupling (correlation) found in rats and rabbits implies that the hemispheres are two major components in a control system with a negative feedback loop. Early-experience variables in rats can induce laterality in a symmetric brain or facilitate its development in an already biased brain.It is predicted that functional lateralization, when present, will be similar across species: the left hemisphere will tend to be involved in communicative functions while the right hemisphere will respond to spatial and affective information; both hemispheres will often interact via activation-inhibition mechanisms when affective or emotional processes are involved. Homologous brain areas and their connecting callosal fibers must be intact at birth and must remain intact throughout development for lateralization to reach its maximum level. Injury to any portion of this unit will result in hemispheric redundancy rather than specialization. One major function of early experience is to provide stimulation during development, which acts to enhance the growth and development of the corpus callosum, thereby giving rise to a more specialized brain. (shrink)

Many philosophers endorse the Transparency Thesis, the claim that by introspection one cannot become aware of one's experience. Recently, some authors have suggested that the Transparency Thesis is challenged by introspective states reached under mindfulness. We label this the Mindfulness Opacity Hypothesis. The present paper develops the hypothesis in important new ways. First, we motivate the hypothesis by drawing on recent clinical psychology and cognitive science of mindfulness. Secondly, we develop the hypothesis by describing the implied shift in experiential perspective, (...) the scope of introspectable qualities, and the level of skill. Thirdly, we defend the hypothesis against various philosophical arguments. We conclude that the Mindfulness Opacity Hypothesis is empirically and theoretically well motivated and supported. (shrink)

The distinction between the body schema and the body image has become the stock in trade of much recent work in cognitive neuroscience and philosophy. Yet little is known about the interactions between these two types of body representations. We need to account not only for their dissociations in rare cases, but also for their convergence most of the time. Indeed in our everyday life the body we perceive does not conflict with the body we act with. Are the body (...) image and the body schema then somehow reshaping each other or are they relatively independent and do they only happen to be congruent? On the basis of the study of bodily hallucinations, we consider which model can best account for the body schema/body image interactions. (shrink)

In this article I give a unified account of three phenomena: bullshit, pseudoscience and pseudophilosophy. My aims are partly conceptual, partly evaluative. Drawing on Harry Frankfurt's seminal analysis of bullshit, I give an account of the three phenomena and of how they are related, and I use this account to explain what is bad about all three. More specifically, I argue that what is defective about pseudoscience and pseudophilosophy is precisely that they are special cases of bullshit. Apart from raising (...) interesting philosophical issues, gaining a clearer understanding of these phenomena is also of practical importance, in that it bears on how best to tackle the threat that they pose. (shrink)

From Fodor and Pylyshyn’s celebrated 1988 systematicity argument in favour of a language of thought , a challenge to connectionist models arises in the form of a dilemma: either these models do not explain systematicity or they are implementations of LOT. From consideration of this challenge and of systematicity in domains other than language, defenders of connectionism have mounted a parallel systematicity argument against LOT which results in a new self-defeating dilemma, what I call here the systematicity challenge challenge : (...) either LOT does not explain nonlinguistic systematicity, or it is in no better position than its rivals to explain any systematicity, even linguistic systematicity. In this paper, first, I critically examine the SCC and some considerations that seem to support it. Second, I offer a response to the SCC by: showing that LOT was never meant to be a cognitive model restricted only to linguistic systematicity, and formulating a new argument in favour of LOT from nonlinguistic systematicity. Third, I argue that there is a central assumption underlying the SCC and maintain that it is mistaken. I conclude that the classical systematicity challenge continues to be fully valid for linguistic and nonlinguistic domains. (shrink)

This article is an update of our previous article in this SGJ journal, titled: On Gödel's Incompleteness Theorem, Artificial Intelligence & Human Mind. We provide some commentary on the latest developments around AI, humanoid robotics, and future scenario. Basically, we argue that a more thoughtful approach to the future is "techno-realism.".

Western philosophers have generally neglected honor as a moral phenomenon worthy of serious study. Appiah’s recent work on honor in moral revolutions is an important exception, but even he is careful to separate honor from morality, regarding it as only “an ally” of morality. In this paper we take Appiah to be right about the psychological, social, and historical role honor has played in three notable moral revolutions, but wrong about the moral nature of honor. We defend two new theses: (...) First, honor is an emotional and moral form of recognition respect that can hinder or aid moral progress. Second, honor, so conceived, can play a rational role in progressive moral change, as it did among the working class in the British abolition of slave trade, when the pressure of moral consistency moved them to protest American slavery as an affront to their honor without change in their moral belief that slavery is wrong. (shrink)

It has been known for long time that most of the existing cosmology models have singularity problem. Cosmological singularity has been a consequence of excessive symmetry of flow, such as “Hubble’s law”. More realistic one is suggested, based on Newtonian cosmology model but here we include the vertical-rotational effect of the whole Universe. We review a Riccati-type equation obtained by Nurgaliev, and solve the equation numerically with Mathematica. It is our hope that the new proposed method can be verified with (...) observation data. (shrink)

Inspired by “One Note Samba,” a standard jazz repertoire, we present an outline of Bose-Einstein Condensate Cosmology (BECC). Although this approach seems awkward and a bit off the wall at first glance, it is not impossible to connect altogether BEC, Scalar Field Cosmology and Feshbach Resonance with Ermakov-Pinney equation. We also discuss shortly possible link with our previous paper, where we describe Newtonian Universe with Vortex in terms of Ermakov equation.

This article explores the extent to which the magnitude of harm that a person is liable to suffer to avert a threat depends on the magnitude of her causal contribution to the threat. Several different versions of this view are considered. The conclusions are mostly skeptical—facts that may determine how large of a causal contribution a person makes to a threat are not morally significant, or not sufficiently significant to make an important difference to liability. However, understanding ways in which (...) causation may be scalar helps to deepen our understanding of other morally significant facts, such as responsibility. (shrink)

In his recent book, Killing in War, Jeff McMahan sets out a number of conditions for a person to be liable to attack, provided the attack is used to avert an objectively unjust threat: (1) The threat, if realized, will wrongfully harm another; (2) the person is responsible for creating the threat; (3) killing the person is necessary to avert the threat, and (4) killing the person is a proportionate response to the threat. The present article focuses on McMahan's second (...) condition, which links liability with responsibility. McMahan's use of the responsibility criterion, the article contends, is too restrictive as an account of liability in general and an account of liability to be killed in particular. In order to defend this claim, the article disambiguates the concept of liability and explores its role in the philosophical analysis of the permission to cause harm to others. (shrink)

A normative power is a power to alter rights and duties directly. This paper explores what it means to alter rights and duties directly. In the light of that, it examines the kind of argument that might support the existence of normative powers. Both simple and complex instrumentalist accounts of such powers are rejected, as is an approach to normative powers that is based on the existence of normative interests. An alternative is sketched, where normative powers arise based on the (...) appropriateness of a person responding to a decision by limiting their freedom. (shrink)

J. L. Mackie famously argued that a commitment to non-existent objective values permeates ordinary moral thought and discourse. According to a standard interpretation, Mackie construed this commitment as a universal and indeed essential feature of moral judgments. In this paper I argue that we should rather ascribe to Mackie a form of semantic pluralism, according to which not all moral judgments involve the commitment to objective values. This interpretation not only makes better sense of what Mackie actually says, but also (...) renders his error theory immune to a powerful objection. (shrink)