Inspired from Buchholz' ordinal analysis of ID1 and Beckmann's analysis of the simple typed λ-calculus we classify the derivation lengths for Gödel's system T in the λ-formulation.

A relativized version of Tarski's T-scheme is introduced as a new principle of the truth predicate. Under the relativized T-scheme, the paradoxical objects, such as the Liar sentence and Jourdain's card sequence, are found to have certain relative contradictoriness. That is, they are contradictory only in some frames in the sense that any valuation admissible for them in these frames will lead to a contradiction. It is proved that for any positive integer n, the n-jump liar sentence is contradictory in (...) and only in those frames containing at least an n-jump odd cycle. In particular, the Liar sentence is contradictory in and only in those frames containing at least an odd cycle. The Liar sentence is also proved to be less contradictory than Jourdain's card sequence: the latter must be contradictory in those frames where the former is so, but not vice versa. Generally, the relative contradictoriness is the common characteristic of the paradoxical objects, but different paradoxical objects may have different relative contradictoriness. (shrink)

This paper draws together as many as possible of the clues and pieces of the puzzle surrounding T. S. Eliot’s “infamous” literary term “objective correlative”. Many different scholars have claimed many different sources for the term, in Pound, Whitman, Baudelaire, Washington Allston, Santayana, Husserl, Nietzsche, Newman, Walter Pater, Coleridge, Russell, Bradley, Bergson, Bosanquet, Schopenhauer and Arnold. This paper aims to rewrite this list by surveying those individuals who, in different ways, either offer the truest claim to being the source of (...) the term, or contributed the most to Eliot’s development of it: Allston, Husserl, Bradley and Bergson. What the paper will argue is that Eliot’s possible inspiration for the term is more indebted to the idealist tradition, and Bergson’s aesthetic development of it, than to the phenomenology of Husserl. (shrink)

No one is quite sure what happened to T.S. Eliot in that rose-garden. What we do know is that it formed the basis for Four Quartets, arguably the greatest English poem written in the twentieth century. Luckily it turns out that Martin Heidegger, when not pondering the meaning of being, spent a great deal of time thinking and writing about the kind of event that Eliot experienced. This essay explores how Heidegger developed the concept of Ereignis, “event” which, in the (...) context of Eliot’s poetry, helps us understand an encounter with the “heart of light” a little better. (shrink)

Martin Heidegger defines the world as ‘the ever non-objective to which we are subject as long as the paths of birth and death . . . keep us transported into Being’. He writes that the world is ‘not the mere collection of the countable or uncountable, familiar and unfamiliar things that are at hand . . . The world worlds’. Being able to fully and richly express how the world worlds is the task of the artist, whose artwork is the (...) crystallization of this ‘worlding’. For Heidegger it is especially the poet who is attuned to this ‘worlding’, for the poet’s work is focussed on and happens within language itself. The poet is a ‘world-maker’, but this ‘worlding’ is not directed at creating a fictional world; rather it is aimed at revealing the world itself, drawing to the foreground the ‘ever non-objective’ nature of the world, the world happening and unfolding through and with us. This paper, using T.S. Eliot’s poetry, particularly Four Quartets as an example, will delve into how the language of the poet is able to articulate this seemingly invisible boundary between the everyday world and that same world revealed as a mysterious potential that ‘worlds’. The ‘religious imagination’ is central in how this transformation of reality, through poetic language, can manifest. Paul Ricoeur’s work on the poetic and religious dimensions of imagination, particularly the notion of ‘hope’ provides the theoretical underpinnings to explain this transformation. (shrink)

Este artículo muestra la relación entre algunos planteamientos de Martin Heidegger a propósito de la filosofía, la historia, el pasado y la tradición y propuestas análogas en el campo literario, principalmente a cargo a cargo del poeta y crítico T. S Eliot. Nos centraremos fundamentalmente en cuatro aspectos: la reinvención del canon, la reconsideración metodológica del pasado, la atención a la forma de presentación y el cuestionamiento de la propia disciplina.

This thesis explores, thematically and chronologically, the substantial concordance between the work of Martin Heidegger and T.S. Eliot. The introduction traces Eliot's ideas of the 'objective correlative' and 'situatedness' to a familiarity with German Idealism. Heidegger shared this familiarity, suggesting a reason for the similarity of their thought. Chapter one explores the 'authenticity' developed in Being and Time, as well as associated themes like temporality, the 'they' (Das Man), inauthenticity, idle talk and angst, and applies them to interpreting Eliot's poem, (...) 'The Love Song of J. Alfred Prufrock'. Both texts depict a bleak Modernist view of the early twentieth-century Western human condition, characterized as a dispiriting nihilism and homelessness. Chapter two traces the chronological development of Ereignis in Heidegger's thinking, showing the term's two discernible but related meanings: first our nature as the 'site of the open' where Being can manifest, and second individual 'Events' of 'appropriation and revelation'. The world is always happening as 'event', but only through our appropriation by the Ereignis event can we become aware of this. Heidegger finds poetry, the essential example of language as the 'house of Being', to be the purest manifestation of Ereignis, taking as his examples Hölderlin and Rilke. A detailed analysis of Eliot's late work Four Quartets reveals how Ereignis, both as an ineluctable and an epiphanic condition of human existence, is central to his poetry, confirming, in Heidegger's words, 'what poets are for in a destitute time', namely to re-found and restore the wonder of the world and existence itself. This restoration results from what Eliot calls 'raid[s] on the inarticulate', the poet's continual striving to enact that openness to Being through which human language and the human world continually come to be. The final chapter shows how both Eliot and Heidegger value a genuine relationship with place as enabling human flourishing. Both distrust technological materialism, which destroys our sense of the world as dwelling place, and both are essentially committed to a genuinely authentic life, not the angstful authenticity of Being and Time, but a richer belonging which affirms our relationship with the earth, each other and our gods. (shrink)

Inductive characterizations of the sets of terms, the subset of strongly normalizing terms and normal forms are studied in order to reprove weak and strong normalization for the simply-typed λ-calculus and for an extension by sum types with permutative conversions. The analogous treatment of a new system with generalized applications inspired by generalized elimination rules in natural deduction, advocated by von Plato, shows the flexibility of the approach which does not use the strong computability/candidate style à la Tait and Girard. (...) It is also shown that the extension of the system with permutative conversions by η-rules is still strongly normalizing, and likewise for an extension of the system of generalized applications by a rule of ``immediate simplification''. By introducing an infinitely branching inductive rule the method even extends to Gödel's T. (shrink)

Inspired by Pohlers' local predicativity approach to Pure Proof Theory and Howard's ordinal analysis of bar recursion of type zero we present a short, technically smooth and constructive strong normalization proof for Gödel's system T of primitive recursive functionals of finite types by constructing an ε 0 -recursive function [] 0 : T → ω so that a reduces to b implies [a] $_0 > [b]_0$ . The construction of [] 0 is based on a careful analysis of the Howard-Schütte (...) treatment of Gödel's T and utilizes the collapsing function ψ: ε 0 → ω which has been developed by the author for a local predicativity style proof-theoretic analysis of PA. The construction of [] 0 is also crucially based on ideas developed in the 1995 paper "A proof of strongly uniform termination for Gödel's T by the method of local predicativity" by the author. The results on complexity bounds for the fragments of T which are obtained in this paper strengthen considerably the results of the 1995 paper. Indeed, for given n let T n be the subsystem of T in which the recursors have type level less than or equal to n+2. (By definition, case distinction functionals for every type are also contained in T n .) As a corollary of the main theorem of this paper we obtain (reobtain?) optimal bounds for the T n -derivation lengths in terms of ω n+2 -descent recursive functions. The derivation lengths of type one functionals from T n (hence also their computational complexities) are classified optimally in terms of $ -descent recursive functions. In particular we obtain (reobtain?) that the derivation lengths function of a type one functional a ∈ T 0 is primitive recursive, thus any type one functional a in T 0 defines a primitive recursive function. Similarly we also obtain (reobtain?) a full classification of T 1 in terms of multiple recursion. As proof-theoretic corollaries we reobtain the classification of the IΣ n+1 -provably recursive functions. Taking advantage from our finitistic and constructive treatment of the terms of Gödel's T we reobtain additionally (without employing continuous cut elimination techniques) that PRA + PRWO ( $\varepsilon_0) \vdash \Pi^0_2$ - Refl(PA) and PRA + PRWO ( $\omega_{n+2}) \vdash \Pi^0_2$ - Refl(I Σ n+1 ), hence PRA + PRWO( $\epsilon_0) \vdash$ Con(PA) and PRA + PRWO( $\omega_{n+2}) \vdash$ Con(IΣ n+1 ). For programmatic reasons we outline in the introduction a vision of how to apply a certain type of infinitary methods to questions of finitary mathematics and recursion theory. We also indicate some connections between ordinals, term rewriting, recursion theory and computational complexity. (shrink)

Inspired by Pohlers' local predicativity approach to Pure Proof Theory and Howard's ordinal analysis of bar recursion of type zero we present a short, technically smooth and constructive strong normalization proof for Godel's system T of primitive recursive functionals of finite types by constructing an $\varepsilon_0$-recursive function [ ]$_0$: T $\rightarrow \omega$ so that a reduces to b implies [a]$_0 > [b]_0$. The construction of [ ]$_0$ is based on a careful analysis of the Howard-Schutte treatment of Godel's T and (...) utilizes the collapsing function $\psi: \varepsilon_0 \rightarrow \omega$ which has been developed by the author for a local predicativity style proof-theoretic analysis of PA. The construction of []$_0$ is also crucially based on ideas developed in the 1995 paper "A proof of strongly uniform termination for Godel's T by the method of local predicativity" by the author. The results on complexity bounds for the fragments of T which are obtained in this paper strengthen considerably the results of the 1995 paper. Indeed, for given n let T$_n$ be the subsystem of T in which the recursors have type level less than or equal to n+2. As a corollary of the main theorem of this paper we obtain optimal bounds for the T$_n$-derivation lengths in terms of $\omega_{n+2}$-descent recursive functions. The derivation lengths of type one functionals from T$_n$ are classified optimally in terms of $< \omega_{n+2}$-descent recursive functions. In particular we obtain that the derivation lengths function of a type one functional a $\in T_0$ is primitive recursive, thus any type one functional a in T$_0$ defines a primitive recursive function. Similarly we also obtain a full classification of T$_1$ in terms of multiple recursion. As proof-theoretic corollaries we reobtain the classification of the I$\Sigma_{n+1}$-provably recursive functions. Taking advantage from our finitistic and constructive treatment of the terms of Godel's T we reobtain additionally that PRA + PRWO \vdash \Pi^0_2$ - Refl and PRA + PRWO \vdash \Pi^0_2$ - Refl, hence PRA + PRWO \vdash$ Con and PRA + PRWO \vdash$ Con$. For programmatic reasons we outline in the introduction a vision of how to apply a certain type of infinitary methods to questions of finitary mathematics and recursion theory. We also indicate some connections between ordinals, term rewriting, recursion theory and computational complexity. (shrink)

In 2010, historian Susan Reverby made public her discovery of the now notorious U.S.–Guatemalan S.T.D. experiments. More than 1300 Guatemalans had been intentionally exposed to syphilis, gonorrhea, and/or canchroid in nonconsensual experiments funded by Johns Hopkins, the Rockefeller Foundation, Bristol Myers-Squibb, and Mead Johnson and carried out by the U.S.P.H.S and Guatemalan health officials in collaboration with the Pan American Health Organization in 1946–48. The purpose of the experiments was to help develop more effective means of preventing and diagnosing STDs. (...) Subjects included prisoners, sex workers, military personnel, and psychiatric patients. The experiments included exposure to STDs through... (shrink)

My point in this paper is to focus on some details of Alfred Tarski’s writing that in my opinion have not been aptly represented — or aptly rejected — in Richard Montague’s grammar and to agree with those who share Tarski’s view that human language is something uncapturable. The paper consists of two parts, concerning 1) some attempts to formalize the non-declarative utterances, and 2) the limitations of T-scheme and of Montague grammar.

Let T be Gödel's system of primitive recursive functionals of finite type in a combinatory logic formulation. Let $T^{\star}$ be the subsystem of T in which the iterator and recursor constants are permitted only when immediately applied to type 0 arguments. By a Howard-Schütte-style argument the $T^{\star}$ -derivation lengths are classified in terms of an iterated exponential function. As a consequence a constructive strong normalization proof for $T^{\star}$ is obtained. Another consequence is that every $T^{\star}$ -representable number-theoretic function is elementary (...) recursive. Furthermore, it is shown that, conversely, every elementary recursive function is representable in $T^{\star}$ .The expressive weakness of $T^{\star}$ compared to the full system T can be explained as follows: In contrast to $T$ , computation steps in $T^{\star}$ never increase the nesting-depth of ${\mathcal I}_\rho$ and ${\mathcal R}_\rho$ at recursion positions. (shrink)

Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped λ-calculus and Gödel’s is presented and analysed in the coalgebraic framework of non-wellfounded terms with so-called repetition constructors.The primitive recursive normalization function is uniformly continuous w.r.t. the natural metric on non-wellfounded terms. Furthermore, the number of necessary repetition constructors is locally related to the number of reduction steps needed to reach the normal form and its size.It is also shown how continuous normal (...) forms relate to derivations of strong normalizability in the typed λ-calculus and how this leads to new bounds for the sum of the height of the reduction tree and the size of the normal form.Finally, the methods are extended to an infinitary λ-calculus with ω-rule and permutative conversions and this is used to derive a strong form of normalization for an iterative version of Gödel’s system , leading to a value table semantics for number-theoretic functions. (shrink)

A Study of Perennial Philosophy and Psychedelic Experience, with a Proposal to Revise W. T. Stace’s Core Characteristics of Mystical Experience ©Ed D’Angelo 2018 -/- Abstract -/- According to the prevailing paradigm in psychedelic research today, when used within an appropriate set and setting, psychedelics can reliably produce an authentic mystical experience. According to the prevailing paradigm, an authentic mystical experience is one that possesses the common or universal characteristics of mystical experience as identified by the philosopher W. T. Stace (...) in his 1960 work Mysticism and Philosophy. Stace’s common characteristics of mystical experience are the basis for the Hood Mysticism Questionnaire, which is the most widely used quantitative measure of mystical experience in experimental studies of psychedelic experience. In this paper, I trace the historical roots of Stace’s common characteristics of mystical experience back to Christian Neoplatonism and apophatic theology, and I trace those, in turn, back to Plato’s concept of the Good and to Aristotle’s concept of God as active intellect. I argue that Stace’s common characteristics of mystical experience are not universal or culturally invariant but are the product of a specifically Christian religious and moral tradition that has its roots in ancient Greek metaphysics. My paper concludes with a revised list of common characteristics of psychedelic experience that is a better candidate for a list of invariant structures of psychedelic experience than Stace’s common characteristics of Christian mystical experience. (shrink)

Tarski's argumentative use of the liar paradox is well-known, but officially it is the Grelling paradox that has final pride of place in Tarski's argument, not the Liar at all. Tarski explicitly gives argumentation that adverts to the liar argument, but it is an alternative argument—one he only hints at and which adverts to the Grelling—which he says has the advantage of removing any empirical element. In this paper, we will examine how the Grelling might be used in place of (...) the Liar in Tarski's argument for his exact indefinability thesis, and assess in what way the difference might be significant. If successful, Tarski's use of the Grelling puts pressure on how Convention T can be justified. (shrink)

At a 2011 meeting of the Society of Christian Philosophers, N. T. Wright offered four reasons for rejecting the existence of soul. This was surprising, as many Christian philosophers had previously taken Wright's defense of a disembodied intermediate state as a defense of a substance dualist view of the soul. In this paper, I offer responses to each of Wright's objections, demonstrating that Wright's arguments fail to undermine substance dualism. In so doing, I expose how popular arguments against dualism fail, (...) such as dualism is merely an unwarranted influence of Greek culture on Christianity, and substance dualism is merely a soul-of-the-gaps hypothesis. Moreover, I demonstrate that Wright himself has offered a powerful reason for adopting substance dualism in his previous works. In conclusion I offer a view that explains why the human soul needs a resurrected body. (shrink)

This paper considers the foundation of self-realization and the sense of morality that could justify Arne Naess’s claim ‘Self-realization is morally neutral,’ by focusing on the recent debate among deep ecologists. Self-realization, the ultimate norm of Naess’s ecosophy T, is the realization of the maxim ‘everything is interrelated.’ This norm seems to be based on two basic principles: the diminishing of narrow ego, and the integrity between the human and non-human worlds. The paper argues that the former is an extension (...) of Plato’s idea of self-development or self-mastery while the latter is implicit in Aristotle’s holism. It defends that Self-realization is morally neutral only if the term ‘moral’ is considered in the Kantian sense. However, Naess reluctantly distinguishes between ethics and morality, which makes his approach less credible. The paper concludes that Aristotle’s notion of eudaimonia supports Self-realization to qualify as a virtue. (shrink)

We make the case that the Prisoner’s Dilemma, notwithstanding its fame and the quantity of intellectual resources devoted to it, has largely failed to explain any phenomena of social scientific or biological interest. In the heart of the paper we examine in detail a famous purported example of Prisoner’s Dilemma empirical success, namely Axelrod’s analysis of WWI trench warfare, and argue that this success is greatly overstated. Further, we explain why this negative verdict is likely true generally and not just (...) in our case study. We also address some possible defenses of the Prisoner’s Dilemma. (shrink)

Musical works change. Bruckner revised his Eighth Symphony. Ella Fitzgerald and many other artists have made it acceptable to sing the jazz standard “All the Things You Are” without its original verse. If we accept that musical works genuinely change in these ways, a puzzle arises: why can’t I change Bruckner’s Eighth Symphony? More generally, why are some individuals in a privileged position when it comes to changing musical works and other artifacts, such as novels, films, and games? I give (...) a view of musical works that helps to answer these questions. Musical works, on this view, are created abstract objects with no parts. The paradigmatic changes that musical works undergo are socially determined normative changes in how they should be performed. Due to contingent social practices, Bruckner, but not I, can change how his symphony should be performed. Were social practices radically different, I would be able to change his symphony. This view extends to abstract artifacts beyond music, including novels, films, words, games, and corporations. (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)

The relationship between Bentham's ‘enunciative principle’ and his ‘censorial principle’ is famously problematic. The problem's solution is that each person has an overwhelming interest in living in a community in which they, like others, are liable to punishment for behaviour condemned by the censorial principle either by the institutions of the state or by the tribunal of public opinion. The senses in which Bentham did and did not think everyone selfish are examined, and a less problematic form of psychological hedonism (...) than Bentham's is proposed. (shrink)

As the editor noted in the last number Freddie Ayer, or Professor Sir Alfred Ayer, played a considerable part in launching the vast enterprise of the Bentham edition. It is fitting, therefore, that something be said in Utilitas about his achievement as a philosopher and the extent to which he falls within the same broad empiricist and utilitarian tradition to which Bentham and J. S. Mill belonged.

It is not easy to see how self-deception is possible because the man who deceives himself seems to be required to play two incompatible roles, that of deceiver and that of deceived. This makes self-deception sound about as difficult as presiding at one's own funeral. Many attempts have been made to remove the air of paradox from self-deception. These attempts are all unsuccessful, and they are best seen as expressions of philosophical puzzlement rather than as actual solutions. In particular, the (...) whole of the literature on self-deception is vitiated by two serious confusions. First, deception is confused with deceit; secondly, it is wrongly assumed that every case of deceiving oneself is automatically a case of self-deception and so self-deception proper becomes confused with other things. (shrink)

T. L. Short's Peirce's Theory of Signs offers a strong interpretation of semeiotic, advocating a developmental and naturalistic position. This commentary examines some of the main features of Short's approach, raising a number of critical questions concerning the growth of Peirce's thought and the problem of anthropomorphism. First, two possible weaknesses in Short's account of the development of semeiotic, connected to the treatment of the "New List of Categories" and the role of the index, are noted. Next, the menace of (...) anthropomorphism is placed in the context of Peirce's startling affirmation of this point of view. Finally, the article draws attention to Short's bold claim that Peirce's theory of signs needs to be modified in order to accommodate a plurality of final interpretants in view of varying purposes. (shrink)

: According to T.L. Short, Peirce's early thought-sign account of semeiotic engenders fatal flaws. On the one hand, it entails an infinite regressus of representation that cannot feasibly explain the connection between signs and objects and, on the other, an infinite progressus, leaving Peirce's theory without the wherewithal to account for the sign's meaning and significance. According to Short, Peirce overcomes the first flaw through the robust development of the notion of the index and the concept of collateral experience. The (...) second flaw is overcome through the pragmatic theory of meaning, connected as it is to the notion of purpose and, ultimately, a complex theory of teleology. My commentary focuses primarily on Short's important analysis of Peirce's teleology. I argue that he is successful in giving a plausible, naturalistic account of Peirce's theory without straying from the spirit of Peirce's systematic thought. Although, in my view, the book is the best account of Peirce's semiotic grammar in print, it fails to give a sufficient systematic analysis of the other two branches of Peirce's semeiotic—critical logic and formal rhetoric. (shrink)

: T. L. Short's Peirce's Theory of Signs offers a strong interpretation of semeiotic, advocating a developmental and naturalistic position. This commentary examines some of the main features of Short's approach, raising a number of critical questions concerning the growth of Peirce's thought and the problem of anthropomorphism. First, two possible weaknesses in Short's account of the development of semeiotic, connected to the treatment of the "New List of Categories" and the role of the index, are noted. Next, the menace (...) of anthropomorphism is placed in the context of Peirce's startling affirmation of this point of view. Finally, the article draws attention to Short's bold claim that Peirce's theory of signs needs to be modified in order to accommodate a plurality of final interpretants in view of varying purposes. (shrink)

Manju Jain's innovative study of T. S. Eliot 's Harvard years traces the genesis of his major literary, religious and intellectual preoccupations in his early work as a student of philosophy, and explores its influence on his poetic and critical practice. His concerns were located within the mainstream of Harvard philosophical debates, especially in relation to the controversy of science versus religion. These questions point forward to important debates in contemporary philosophy and hermeneutics. Drawing extensively on unpublished sources, Manju Jain (...) offers answers to the questions of why Eliot failed to find satisfaction in an academic career devoted to philosophy, and why he abandoned the speculations of metaphysics for the dogmas of theology. (shrink)

Internalism about a person's good is roughly the view that in order for something to intrinsically enhance a person's well-being, that person must be capable of caring about that thing. I argue in this paper that internalism about a person's good should not be believed. Though many philosophers accept the view, Connie Rosati provides the most comprehensive case in favor of it. Her defense of the view consists mainly in offering five independent arguments to think that at least some form (...) of internalism about one's good is true. But I argue that, on closer inspection, not one of these arguments succeeds. The problems don't end there, however. While Rosati offers good reasons to think that what she calls 'two-tier internalism' would be the best way to formulate the intuition behind internalism about one's good, I argue that two-tier internalism is actually false. In particular, the problem is that no substantive theory of well-being is consistent with two-tier internalism. Accordingly, there is reason to think that even the best version of internalism about one's good is in fact false. Thus, I conclude, the prospects for internalism about a person's good do not look promising. (shrink)

This paper is concerned with Coleridge's view of science as at once a branch of knowledge and a creative activity, mediating between man and nature, and thereby complementing poetry. Coleridge was well-informed about contemporary science. He stressed the symbolic status of scientific language, the role of scientific genius, and the need in science to rely upon reason rather than the unqualified senses. Kepler and, more recently, John Hunter and Humphry Davy provided his favorite instances of scientific genius, while chemistry—Davy's not (...) Lavoisier's—was poetic. Science and poetry could both rely on reason, the power of language, and faithfulness to nature. (shrink)

Exposición crítica de la evolución de la trayectoria viquiana de E. Grassi al hilo del problema fundamental de la metáfora, cuyo valor ontológico reivindicó. Grassi se interesó por este problema desde su juventud cuando, como discípulo heideggeriano que busca alternativas a la Seinsvergessenheit, estudió la epistemología tópica del De nostri. Pero sólo en la madurez extendió su interés metafórico a la entera obra viquiana, justo al concebir plenamente la filosofía como retórica.Critical exposition of E. Grassi’s Vichian trajectory through the fundamental (...) problem of metaphor whose ontological value he vindicated. In his youth Grassi was already interested in such a problem. Indeed, just from the perspective of a Heideggerian scholar looking for an alternative to the Seinsvergessenheit, he studied the topical epistemology of De nostri. But it was only in his mature age that he spread his metaphorical interest to Vico’s whole work, just when he conceived plainly Philosophy as Rhetoric. (shrink)

Discussion of J. Kevin O’Regan’s “Why Red Doesn’t Sound Like a Bell: Understanding the Feel of Consciousness” Content Type Journal Article Pages 1-20 DOI 10.1007/s13164-012-0090-7 Authors J. Kevin O’Regan, Laboratoire Psychologie de la Perception, CNRS - Université Paris Descartes, Centre Biomédical des Saints Pères, 45 rue des Sts Pères, 75270 Paris cedex 06, France Ned Block, Departments of Philosophy, Psychology and Center for Neural Science, New York University, 5 Washington Place, New York, NY 10003, USA Journal Review of Philosophy and (...) Psychology Online ISSN 1878-5166 Print ISSN 1878-5158. (shrink)

The central idea of T. M. Scanlon’s “contractualism” has been well known to ethical theorists since Scanlon 1982. In What We Owe to Each Other it has grown into a comprehensive and impressively developed theory of the nature of right and wrong—or at least of what Scanlon regards as the most important of the “normative kinds” that go under the names of ‘right’ and ‘wrong’. Rejecting aggregative consequentialism, Scanlon aims to articulate principles of right and wrong for individual action in (...) such a way that the interests of each affected person are taken fairly into account. (shrink)

My aim in this study is not to praise Fischer's fine theory of moral responsibility, but to bury the "semi" in "semicompatibilism". I think Fischer gives the Consequence Argument too much credit, and gives himself too little credit. In his book, The Metaphysics of Free Will, Fischer gave the CA as good a statement as it will ever get, and put his finger on what is wrong with it. Then he declared stalemate rather than victory. In my view, Fischer's view (...) amounts to sophisticated compatibilism. It would be nice to be able to call it by its right name. In The Metaphysics of Free Will, Fischer develops his own version of Consequence Argument, which turns on two principles, one of which is the fixity of the past. FP: For any action K, agent S and time i, if it is true that is S were to do Y at t, some fact about that past relative to t would not have been a fact, then S cannot at t do Fat 1. 1 argue that the equipment needed to reject FP is needed to deal with the problem of fatalism. In addition, I argue that the rejection of FP is compatible with Fischer's approach to Frankfurt cases and with his account of transfer principles. (shrink)

I defend Pascal's Wager from a particular way of evading it, the mixed strategy approach. The mixed strategies approach suggests that Pascal's Wager does not obligate one to believe in God, because one can get the same infinite expected utility from other strategies besides the strategy of believing in God. I will show that while there's nothing technically wrong with the mixed strategy approach, rationality requires it to be applied in such a way that Pascal's Wager doesn't lose any force.

My purpose in what follows is not so much to defend the basic principle of utilitarianism as to indicate the form of it which seems most promising as a basic moral and political position. I shall take the principle of utility as offering a criterion for two different sorts of evaluation: first, the merits of acts of government, social policies, and social institutions, and secondly, the ultimate moral evaluation of the actions of individuals. I do not take it as implying (...) that the individual should live his life on the basis of constant evaluations of this sort. For there are different levels of decision making each with its appropriate criteria. For example, we each inevitably make many of our decisions from the point of view of our own personal self-fulfilment and this cannot regularly take a directly utilitarian form, nor should the utilitarian want it to do so. His claim is at most that we should sometimes review our life from the point of view of a kind of impersonal moral truth of a universalistic utilitarian character. (shrink)

By way of an example, Lewis imagines your being invited to join Schrödinger’s cat in its box for an hour. This box will either fill up with deadly poison fumes or not, depending on whether or not some radioactive atom decays, the probability of decay within an hour being 50%. The invitation is accompanied with some further incentive to comply (Lewis sets it up so there is a significant chance of some pretty bad but not life-threatening punishment if you don’t (...) get in the box). Lewis argues that the many minds theory implies that you should get in the box with the cat, despite this making it 50% likely you will die. (shrink)

Harry Frankfurt has argued that Descartes’s madness doubt in the First Meditation is importantly different from his dreaming doubt. The madness doubt does not provide a reason for doubting the senses since were the meditator to suppose he was mad his ability to successfully complete the philosophical investigation he sets for himself in the first few pages of the Meditations would be undermined. I argue that Frankfurt’s interpretation of Descartes’s madness doubt is mistaken and that it should be understood as (...) playing the same role as his more famous dreaming doubt. I focus my discussion around four questions: (Q1) What does the meditator have in mind when speaking of madness?, (Q2) Why does the meditator so quickly dismiss the madness doubt but take seriously the dreaming doubt?, (Q3) Does the madness doubt have the same scope as the dreaming doubt?, and (Q4) Why does the meditator bring up the madness doubt at all? (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

This report consists of three papers: “Why Isn’t My Pocket Calculator a Thinking Thing?”, by Larry Hauser; “Because Mere Calculating Isn’t Thinking” (comments on Hauser’s paper), by William J. Rapaport; and “The Sense of ‘Thinking’,” Hauser’s reply. They were originally presented at the Colloquium on Philosophy of Mind at the American Philosophical Association Central Division meeting in Chicago, 27 April 1991. Hauser argues that his pocket calculator (Cal) has certain arithmetical abilities: it seems Cal calculates. That calculating is thinking seems (...) equally untendentious. Yet these two claims together provide premises for a seemingly valid syllogism whose conclusion—Cal thinks—most would deny. He considers several ways to avoid this conclusion, and finds them mostly wanting. Either we ourselves can’t be said to think or calculate if our calculation-like performances are judged by the standards proposed to rule out Cal; or the standards—e.g., autonomy and self-consciousness—make it impossible to verify whether anything or anyone (save oneself) meets them. While appeals to the intentionality of thought or the unity of minds provide more credible lines of resistance, available accounts of intentionality and mental unity are insufficiently clear and warranted to provide very substantial arguments against Cal’s title to be called a thinking thing. Indeed, considerations favoring granting that title are more formidable than generally appreciated. Rapaport’s comments suggest that on a strong view of thinking, mere calculating is not thinking (and pocket calculators don’t think), but on a weak, but unexciting, sense of thinking, pocket calculators do think. He closes with some observations on the implications of this conclusion. (shrink)

I define T-schema deflationism as the thesis that a theory of truth for our language can simply take the form of certain instances of Tarski's schema (T). I show that any effective enumeration of these instances will yield as a dividend an effective enumeration of all truths of our language. But that contradicts Gödel's First Incompleteness Theorem. So the instances of (T) constituting the T-Schema deflationist's theory of truth are not effectively enumerable, which casts doubt on the idea that the (...) T-schema deflationist in any sense has a theory of truth. (The argument in section 2 of "Semantics for Deflationists" supercedes this paper.). (shrink)

The "New Synthesis" in cognitive science is committed to the computational theory of mind (CTM), massive modularity, nativism, and adaptationism. In The mind doesn't work that way , Jerry Fodor argues that CTM has problems explaining abductive or global inference, but that the New Synthesis offers no solution, since massive modularity is in fact incompatible with global cognitive processes. I argue that it is not clear how global human mentation is, so whether CTM is imperiled is an open question. Massive (...) modularity also lacks some of the invidious commitments Fodor ascribes to it. Furthermore, Fodor's anti-adaptationist arguments are in tension with his nativism about the contents of modular systems. The New Synthesis thus has points worth preserving. (shrink)