Let T be a second-order arithmetical theory, Λ a well-order, λ < Λ and X ⊆ ℕ. We use $[\lambda |X]_T^{\rm{\Lambda }}\varphi$ as a formalization of “φ is provable from T and an oracle for the set X, using ω-rules of nesting depth at most λ”.For a set of formulas Γ, define predicative oracle reflection for T over Γ ) to be the schema that asserts that, if X ⊆ ℕ, Λ is a well-order and φ ∈ Γ, then$$\forall \,\lambda (...) < {\rm{\Lambda }}\,.$$In particular, define predicative oracle consistency ) as Pred–O–RFN{0=1}.Our main result is as follows. Let ATR0 be the second-order theory of Arithmetical Transfinite Recursion, ${\rm{RCA}}_0^{\rm{*}}$ be Weakened Recursive Comprehension and ACA be Arithmetical Comprehension with Full Induction. Then,$${\rm{ATR}}_0 \equiv {\rm{RCA}}_0^{\rm{*}} + {\rm{Pred - O - Cons\ }}\left \equiv {\rm{RCA}}_0^{\rm{*}} + \,{\rm{Pred - O - Cons\ }}\left \equiv {\rm{RCA}}_0^{\rm{*}} + \,{\rm{Pred - O - RFN}}\,_{{\bf{\Pi }}_2^1 } \left.$$We may even replace ${\rm{RCA}}_0^{\rm{*}}$ by the weaker ECA0, the second-order analogue of Elementary Arithmetic.Thus we characterize ATR0, a theory often considered to embody Predicative Reductionism, in terms of strong reflection and consistency principles. (shrink)

By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of bounded quantifier complexity of fragments of first-order Peano Arithmetic. Here, we improve that result and show that this property describes a general phenomenon valid for parameter free schemes. As a consequence, we obtain (...) results on the quantifier complexity, finite axiomatizability and relative strength of schemes for Δn+1-formulas. (shrink)

By a result of L.D. Beklemishev, the hierarchy of nested applications of the $$\Sigma _1$$ -collection rule over any $$\Pi _2$$ -axiomatizable base theory extending Elementary Arithmetic collapses to its first level. We prove that this result cannot in general be extended to base theories of arbitrary quantifier complexity. In fact, given any recursively enumerable set of true $$\Pi _2$$ -sentences, S, we construct a sound $$(\Sigma _2 \! \vee \! \Pi _2)$$ -axiomatized theory T extending S such that the (...) hierarchy of nested applications of the $$\Sigma _1$$ -collection rule over T is proper. Our construction uses some results on subrecursive degree theory obtained by L. Kristiansen. (shrink)

A well known theorem proved by J. Paris and H. Friedman states that BΣn +1 is a Πn +2-conservative extension of IΣn . In this paper, as a continuation of our previous work on collection schemes for Δn +1-formulas , we study a general version of this theorem and characterize theories T such that T + BΣn +1 is a Πn +2-conservative extension of T . We prove that this conservativeness property is equivalent to a model-theoretic property relating Πn-envelopes and (...) Πn-indicators for T . The analysis of Σn +1-collection we develop here is also applied to Σn +1-induction using Parsons' conservativeness theorem instead of Friedman-Paris' theorem.As a corollary, our work provides new model-theoretic proofs of two theorems of R. Kaye, J. Paris and C. Dimitracopoulos : BΣn +1 and IΣn +1 are Σn +3-conservative extensions of their parameter free versions, BΣ–n +1 and IΣ–n +1. (shrink)

In van Benthem (2008), van Benthem proposes a dynamic consequence relation defined as${\psi _1}, \ldots,{\psi _n}{ \models ^d}\phi \,{\rm{iff}}{ \models ^{pa}}[{\psi _1}] \ldots [{\psi _n}]\phi,$where the latter denotes consequence in public announcement logic, a dynamic epistemic logic. In this paper we investigate the structural properties of a conditional dynamic consequence relation$\models _{\rm{\Gamma }}^d$extending van Benthem’s proposal. It takes into account a set of background conditions Γ, inspired by Makinson (2003) wherein Makinson calls this reasoning ‘modulo’ a set Γ. In the (...) presence of common knowledge, conditional dynamic consequence is definable from (unconditional) dynamic consequence. An open question is whether dynamic consequence is compact. We further investigate a dynamic consequence relation for soft instead of hard announcements. Surprisingly, it shares many properties with (hard) dynamic consequence. Dynamic consequence relations provide a novel perspective on reasoning about protocols in multi-agent systems. (shrink)

We characterize the sets of all Π2 and all equation image theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generalize to n > 0. As an application, we prove that a conservation theorem of Beklemishev stating that IΠ−n + 1 is conservative over IΣ−n with respect to equation image sentences cannot be extended to Πn + 2 sentences. © 2011 WILEY-VCH Verlag (...) GmbH & Co. KGaA, Weinheim. (shrink)

This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and least number axiom schemes to formulas which are Δ1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta_1}$$\end{document} provably in an arithmetic theory T. In particular, we determine the provably total computable functions of this kind of theories. As an application, we obtain a reduction of the problem whether IΔ0+¬exp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${I\Delta_0 + \neg \mathit{exp}}$$\end{document} implies BΣ1\documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${B\Sigma_1}$$\end{document} to a purely recursion-theoretic question. (shrink)

In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that IΔ n+1 (T) is Π n+2 –axiomatizable. In particular, IΔ n+1 (IΔ n+1 ) gives an axiomatization of Th Π n+2 (IΔ n+1 ) and is not finitely axiomatizable. This fact relates the fragment IΔ n+1 (IΔ n+1 ) to induction (...) rule for Δ n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons’ conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for Π n+2 and Δ n+1 formulas (see [2]). (shrink)

La convocatoria del XVIII Congreso Internacional de Filosofía Latinoamericana se equivocó al afirmar que los estudios sociales latinoamericanos sobre ciencia y tecnología no habían establecido una relación explícita con la filosofía. Como contraejemplo, este artículo analiza un curso de extensión fuertemente influenciado por los dos campos. Este estudio buscó identificar cómo el caso problematiza la educación en ciencia y tecnología en Latinoamérica y para esto se orientó por preguntas clave de la filosofía latinoamericana. Los resultados superan una discusión apenas didáctica (...) para cuestionar si dicha educación debe/puede crear condiciones para que diferentes actores/actrices estudien su relación con el conocimiento, la tecnología y la propia educación, asumiendo su lugar histórico en la transformación de estas instituciones y de las desigualdades que reproducen. (shrink)

v. 1. O direito como ciência (epistemologia jurídica). O direito como justo (axiologia jurídica).

En este trabajo analizaremos algunos aspectos de la tragedia fragmentaria de Sófocles (Laocoonte, Sinón, Los frigios) y Eurípides (Filoctetes), apropiados por Virgilio para la narración de la caída de Troya (específicamente, A. 2, 1-227). Es nuestro objetivo identificar y examinar diversos elementos intertextuales que componen los pasajes protagonizados por Laocoonte y Sinón. Intentaremos demostrar, por un lado, que el episodio del sacerdote sugiere algunas respuestas posibles a interrogantes sobre el Laocoonte de Sófocles; por otro, el intenso apego de Virgilio al (...) material fragmentario de ambos trágicos para configurar el personaje del embustero griego, Sinón. (shrink)

This book provides the first English translations of pivotal essays and debates on the role of language politics, linguistics, and translation in Antonio Gramsci's influential cultural theory. It also includes new works from leading and up-and-coming anglophone scholars to create a vital resource for a wide variety of readers interested in Gramsci across many disciplines including cultural studies, critical political economy, social and political theory, literature, sociology, post-colonialism, and philosophy.

It is shown that the propositional modal logic IRM (interpretability logic with Montagna's principle and with witness comparisons in the style of Guaspari's and Solovay's logicR) is sound and complete as the logic ofII 1-conservativity over each∑ 1-sound axiomatized theory containingI∑ 1. The exact statement of the result uses the notion of standard proof predicate. This paper is an immediate continuation of our paper [HM]. Knowledge of [HM] is presupposed. We define a modal logic, called IRM, which includes both ILM (...) andR (the logic of [GS]) and prove an arithmetical completeness theorem in the style of [GS], thus showing that IRM is the logic ofII 1-conservativity with witness comparisons. The reader is recommended to have Smoryński's book [Sm] at his/her disposal. (shrink)

An important center in which genetic research started and was carried out in Brazil during the 20thcentury was situated at the Faculty of Philosophy, Sciences and Linguistics of the University of São Paulo, led by André Dreyfus (1897–1952). Beginning in 1943, the Ukrainian geneticist Theodosius Dobzhansky (1900–1975) visited Dreyfus’s group four times. This paper evaluates the impact of Dobzhansky’s visits on the studies of genetics and evolution developed by the members of Dreyfus’s group during the 1940s and the 1950s. The (...) study leads to the conclusion that Dobzhansky’s visits had an impact, not only in quantitative terms (the number of individual and joint publications), but also in qualitative terms. However, we also detect a decrease in the number of individual and joint publications related to the subject of the project during certain periods. The adoption of new experimental organisms by some members of the group; the involvement with subjects not related to the initial project, such as botany; Dobzhansky’s and his wife’s health problems during the third visit; and scientific disagreements between Dobzhansky and Brazilian researchers may have contributed to the decrease in publications. (shrink)

The book under review discusses the most standard forms of mathematical realism, a.k.a. ‘Platonism’, elaborated in the mainstream of twentieth-century philosophy of mathematics. Its purpose is therefore to introduce franco phone readers to an important set of ideas that have been, for the most part, cultivated by analytic philosophers. It originates from a doctoral dissertation at Université Paris 1. It comprises 287 pages of text divided into four main parts, completed by an eight-page bibliography. Beginning with Frege, Russell, and Gödel, (...) Xavier Sabatier discusses the work of several contemporary Platonists, such as Quine, Resnik, Shapiro, and Maddy. Since the last no longer considers herself a Platonist in mathematics , the author restricts his commentary to her Realism in Mathematics .The introductory first part ends with a discussion of the standard objections to realism. The fourth part of the book, which is also its conclusion, revisits those objections and shows how, in the light of what has been said, they can be overcome to some extent from within a naturalist stance. Following the first part, one finds two long sections entitled ‘A priori realism’ and ‘Naturalized realism’. The first focuses on the Frege-Russell brand of logical Platonism, prefigured in the work of Bolzano, and on Gödel’s version of realism. The second examines the renewal of realism emanating from Quine’s project of a naturalized epistemology. It is in this section that Sabatier considers some contemporary authors like Penelope Maddy, Michael Resnik, and Stewart Shapiro. Some might find it questionable to associate the structuralism of Resnik and Shapiro with Platonism, given the naturalistic stance of those philosophers but it is nevertheless an excellent idea to discuss their work in such a context. Indeed, one can give interpretations of Plato’s Sophist and of other late dialogues that …. (shrink)

The author analyses the sense of virtue at the very heart of Kantian ethical formalism. First, he verifies the difficulty of placing Kantian ethics in one of the three models developed in the history of Western ethics – prescriptive, intentional and virtue ethics –, insofar as Kant places in the centre of moral analysis the notion of “imperative” (a precept), whose function is to show the purity of the “intention” as the only moral value, which deploys in a doctrine of (...) virtue. Then, he studies the “character” as the metaphysical foundation of Kantian ethics throughout the changes that the account of the relationships between the intelligible and the sensible character from the Critique of Pure Reason to Religion within the Boundaries of Mere Reason suffers in order to show that the doctrine of virtue finds its place in the context of ethic formalism, precisely in the frame of the Kantian conception of moral revolution as an incessant task and progress. In this way, virtue, as a quality of the character, is defined as a moral force of the human will in the compliance of duty. (shrink)

The Tattvapaplavasimha is a philosophical text unique of its kind it is the only text of the Carvaka Lokayata school which has survived and the only Sanskrit work in which full-fledged scepticism is propounded. Notwithstanding that it has been hitherto almost completely ignored. The present book consists of an introduction detailed analysis edition translation with extensive notes of the first half of the text. In the introduction Jayarasi`s affiliation to the Lokayata school is reassessed and his place in the historical (...) development of Indian Philosophy evaluated. New evidence for the dating of Jayarasi is examined and a new dating is suggested. (shrink)

Introduction: Cartographies in becoming -- The happy depression -- Integrated world capitalism -- Planetary psychopathia -- Postmediatic affect -- User's manual-- Deleuze and the rhizomatic machine -- Why is anti-Oedipus the book of the '68 movement? -- Kafka, hypertext, and assemblages -- The tantric egg -- Chaosmosis -- The provisional eternity of friendship.

Presenting a fascinating analysis of the idea of what can't be said, this book ascertains whether the notion of there being a truth, or a state of affairs, or knowledge that can't be expressed linguistically is a coherent notion. The author distinguishes different senses in which it might be said that something can't be said. The first part looks at the question of whether ineffability is a coherent idea. Part two evaluates two families of arguments regarding whether ineffable states of (...) affairs actually exist: the argument from mysticism and the argument from epistemic boundedness. Part three looks more closely at the relation between mystic and non-mystic stances. In the fourth and final part the author distinguishes five qualitatively different types of ineffability. _Ineffability and Philosophy_ is a significant contribution to this area of research and will be essential reading for philosophers and those researching and studying the philosophy of language. (shrink)

In this detailed study of the republican tradition in the development of the Enlightenment, the central problem of utopia and reform is crystallized in a discussion of the right to punish. Describing the political situation in Europe in the seventeenth and eighteenth centuries, the author shows how the old republics in Italy, Poland and Holland stagnated and were unable to survive in the age of absolutism. The Philosophes discussed the ideal of republicanism against this background. They were particularly influenced by (...) the political and religious radicalism of John Toland, which had survived the English Restoration and was then reaching Europe. Professor Venturi traces the debate on the penal laws and the attempt to relate utopian ideas of society to the practical problem of dealing with man in society, which culminated in the assertion by many Philosophes that an unjust social system necessitated harsh penal laws, thereby rejecting the possibility of reform. (shrink)

In this challenging study, André Gallois proposes and defends a thesis about the character of our knowledge of our own intentional states. Taking up issues at the centre of attention in contemporary analytic philosophy of mind and epistemology, he examines accounts of self-knowledge by such philosophers as Donald Davidson, Tyler Burge and Crispin Wright, and advances his own view that, without relying on observation, we are able justifiably to attribute to ourselves propositional attitudes, such as belief, that we consciously hold. (...) His study will be of wide interest to philosophers concerned with questions about self-knowledge. (shrink)

Experiences of absence are common in everyday life, but have received little philosophical attention until recently, when two positions regarding the nature of such experiences surfaced in the literature. According to the Perceptual View, experiences of absence are perceptual in nature. This is denied by the Surprise-Based View, according to which experiences of absence belong together with cases of surprise. In this paper, I show that there is a kind of experience of absence—which I call frustrating absences—that has been overlooked (...) by the Perceptual View and by the Surprise Based-View and that cannot be adequately explained by them. I offer an alternative account to deal with frustrating absences, one according to which experiencing frustrating absences is a matter of subjects having desires for something to be present frustrated by the world. Finally, I argue that there may well be different kinds of experiences of absence. (shrink)

Sobre la base de las Lecciones de Erlangen, se trata de analizar cuál es el procedimiento por el que se construye en la filosofía de Schelling el concepto de libertad. Libertad que, según el Freiheitsschrift, es la capacidad de elegir entre el bien y el mal, no es en el fondo más que el procedimiento por el que el fundamento de la ciencia y el principio de identidad quedan divididos. Esta división no es en cambio una fisura que marca la (...) independencia entre ambos términos, sino que, al contrario, fundamento e identidad guardan una relación de antecedente y de consecuente respectivamente, ocupan dos tareas, dos competencias distintas, y cuyo trabajo conjunto y final es precisamente fruto de la libertad. (shrink)

Ressenya / Reseña / Review Benz, Ernst 2016, Mística y Romanticismo. Las fuentes místicas del Romanticismo alemán, Madrid: Siruela. ISBN 978-84-16638-25-3, 180 páginas.

Nos valemos del concepto de experiencia para tratar de demostrar que la relación entre ésta y lo ideal es indisoluble en Aristóteles y en Schelling en el conjunto de su producción. No existe entre lo real y lo ideal, por tanto, un orden de prioridad en lo tocante a las partes de su sistema, sino que únicamente asumen un orden de anterioridad y posterioridad por lo que hace a una necesidad de tipo metodológico. Con este análisis, por tanto, queremos demostrar (...) que el orden de la experiencia y de lo ideal no es excluyente, sino que, al contario, están en un orden de dependencia gracias al cual tenemos como resultado una filosofía absoluta o la filosofía sin más, lo cual elimina cualquier unilateralismo que quiera conceder cualquier primacía ya bien a lo ideal o a lo real o la existencia en la filosofía de ambos autores. (shrink)

This book presents a comprehensive and detailed exploration of the relationship between the thought of G.W.F. Hegel and that of John McDowell, the latter of whom is widely considered to be one of the most influential living analytic philosophers. It serves as a point of entry in McDowell’s and Hegel’s philosophy, and a substantial contribution to ongoing debates on perceptual experience and perceptual justification, naturalism, human freedom and action. The chapters gathered in this volume, as well as McDowell’s responses, make (...) it clear that McDowell’s work paves the way for an original reading of Hegel’s texts. His conceptual framework allows for new interpretive possibilities in Hegel’s philosophy which, until now, have remained largely unexplored. Moreover, these interpretations shed light on various aspects of continuity and discontinuity between the philosophies of these two authors, thus defining more clearly their positions on specific issues. In addition, they allow us to see Hegel’s thought as containing a number of conceptual tools that might be useful for advancing McDowell’s own philosophy and contemporary philosophy in general. (shrink)

Background:A growing number of frameworks for the practice of clinical ethics are described in the literature. Among these, hermeneutical frameworks have helped highlight the interpretive and contextual nature of clinical ethics practice.Objectives:The aim of this article is to further advance this body of work by drawing on the ideas of Charles Taylor, a leading hermeneutical philosopher.Design/Findings:A Hermeneutical Rapprochement Framework is presented for clinical ethics practice, based on Taylor’s hermeneutical “retrieval” and “rapprochement.” This builds on existing hermeneutical approaches for the practice (...) of clinical ethics by articulating a framework with interpretive and reconciliatory scope that extends beyond the presenting “local” context. A Hermeneutical Rapprochement Framework considers broader socio-historical horizons and imaginaries grounded on Taylor’s expansive work in epistemological, ontological, political, and moral philosophy.Discussion:The framework is discussed in terms of how it can be operationalized for clinical practice as well as normative development. Implications for the educational preparation of clinical ethicists are also discussed. Although this work is directly relevant for clinical ethicists, it can also help inform the ethical practice of all clinicians. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)