After arguing that Hume’s judgment on metaphysics is more nuanced than it is usually believed, the relationship between the theory of meaning and the concept, or rather the problem, of “human nature” is analysed in order to underline the relevance of human nature to the explanation of the genesis of meaning and to the extent of the principle of copy, so as to finally examine the relation between meaning and theological discourse.
After arguing that Hume’s judgment on metaphysics is more nuanced than it is usually believed, the relationship between the theory of meaning and the concept, or rather the problem, of “human nature” is analysed in order to underline the relevance of human nature to the explanation of the genesis of meaning and to the extent of the principle of copy, so as to finally examine the relation between meaning and theological discourse.
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)
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)
According to robust versions of virtue epistemology, the reason why knowledge is incompatible with certain kinds of luck is that justified true beliefs must be achieved by the agent . In a recent set of papers, Pritchard has challenged these sorts of views, advancing different arguments against them. I confront one of them here, which is constructed upon scenarios affected by environmental luck, such as the fake barn cases. My objection to Pritchard differs from those offered until now by Carter (...) , Jarvis or Littlejohn in that it is based on the claim that cognitive performances may not be properly considered as achievements beyond the scope of the agent’s intentional action—an idea that confers more explanatory power on my argument, and contributes to stregthening links between knowledge and agency. (shrink)
Inductive generalization, where people go beyond the data provided, is a basic cognitive capability, and it underpins theoretical accounts of learning, categorization, and decision making. To complete the inductive leap needed for generalization, people must make a key ‘‘sampling’’ assumption about how the available data were generated. Previous models have considered two extreme possibilities, known as strong and weak sampling. In strong sampling, data are assumed to have been deliberately generated as positive examples of a concept, whereas in weak sampling, (...) data are assumed to have been generated without any restrictions. We develop a more general account of sampling that allows for an intermediate mixture of these two extremes, and we test its usefulness. In two experiments, we show that most people complete simple one-dimensional generalization tasks in a way that is consistent with their believing in some mixture of strong and weak sampling, but that there are large individual differences in the relative emphasis different people give to each type of sampling. We also show experimentally that the relative emphasis of the mixture is influenced by the structure of the available information. We discuss the psychological meaning of mixing strong and weak sampling, and possible extensions of our modeling approach to richer problems of inductive generalization. (shrink)
Gilbert Ryle famously denied that knowledge-how is a species of knowledge-that, a thesis that has been contested by so-called “intellectualists.” I begin by proposing a rearrangement of some of the concepts of this debate, and then I focus on Jason Stanley’s reading of Ryle’s position. I show that Ryle has been seriously misconstrued in this discussion, and then revise Ryle’s original arguments in order to show that the confrontation between intellectualists and anti-intellectualists may not be as insurmountable as it seems, (...) at least in the case of Stanley, given that both contenders are motivated by their discontent with a conception of intelligent performances as the effect of intellectual hidden powers detached from practice. (shrink)
Reductive intellectualists (e.g., Stanley & Williamson 2001; Stanley 2011a; 2011b; Brogaard 2008; 2009; 2011) hold that knowledge-how is a kind of knowledge-that. If this thesis is correct, then we should expect the defeasibility conditions for knowledge-how and knowledge-that to be uniform—viz., that the mechanisms of epistemic defeat which undermine propositional knowledge will be equally capable of imperilling knowledge-how. The goal of this paper is twofold: first, against intellectualism, we will show that knowledge-how is in fact resilient to being undermined by (...) the very kinds of traditional (propositional) epistemic defeaters which clearly defeat the items of propositional knowledge which intellectualists identify with knowledge-how. Second, we aim to fill an important lacuna in the contemporary debate, which is to develop an alternative way in which epistemic defeat for knowledge-how could be modelled within an anti-intellectualist framework. (shrink)
Dentro de la tradición de la hermenéutica filosófica y, más específicamente, de la ontología hermenéutica del filósofo alemán H.G. Gadamer, "Interpretar y argumentar" constituye una indagación en el modelo de racionalidad propio ...
El presente artículo se desarrolla en dos direcciones temporales opuestas. En la primera recurro a la contracultura drag negra y latina de los Estados Unidos para releer la negativa de Rosa Parks a ceder su asiento en el autobús. A continuación, se plantea una genealogía queer de los usos de la teatralidad en las formas contemporáneas del activismo urbano. A partir del encuentro entre ambas líneas temporales defiendo, en diálogo con la obra reciente de Judith Butler, la importancia de la (...) dimensión performativa de las intervenciones individuales en espacios de protesta para entender el alcance movilizador de la acción colectiva. (shrink)
En estas páginas hemos presentado varios argumentos para defender que existe una conexión entre el empleo de heurísticas y los procesos de deliberación. En lugar de caracterizar las heurísticas en función de las disciplinas, los campos y/o los ámbitos en que se emplean—tal y como hace, por ejemplo, el grupo ABC, i.e. racionalidad ecológica—las hemos proyectado sobre nuestros enclaves deliberativos, esto es, sobre un espacio eminentemente retórico y político. En dichos enclaves, tal y como solía recordarnos Quintín Racionero, la téchne (...) de la persuasión se nos presenta como parte del órganon de la filosofía práctica porque está aplicada a un espacio ontológico fundado por la comunicación humana. Y es en el seno de dicha comunicación como cabe entender la proliferación de razonamientos heurísticos encaminados al cálculo, la estimación y/o la ponderación, con ayuda de los cuales no sólo se orienta la acción colectiva sino las mismas fases de la deliberación. (shrink)
Quoting Flaubert through time, Mieke Bal and Michelle Williams Gamaker’s Madame B brings Madame Bovary’s reflections on love and emotions to the present day, in a productive anachronism. Their work produces an intertemporal space where the past is relevant for the present, and the present enables us to understand the past. Intimacy and routine are central in their exploration of Flaubert’s contemporaneity. Those issues are precisely one of the keys in Karl Ove Knausgård’s project of literary autobiography, where he expands (...) narration foreclosing the ellipsis and giving visibility to small things and emotions; a project with some resonances with Munch’s crude-obscene uses of intimacy. This essay explores how both proposals, Bal and Williams Gamaker in film, and Knausgård in literature, can serve us to connect present and past sensibilities and, more than that, demonstrate resistances to the hegemonic discourses of temporality. (shrink)
A considerable number of books and papers have analyzed normative concepts using new techniques developed by logicians; however, few have bridged the gap between the English legal culture and the Continental tradition in legal philosophy. This book addresses this issue by offering an introductory study on the many possibilities that logical analysis offers the study of legal systems. The volume is divided into two sections: the first covers the basic aspects of classical and deontic logic and its connections, advancing an (...) explanation of the most important topics of the discipline by comparing different systems of deontic logic and exploring some of the most important paradoxes in its domain. The second section deals with the role of logic in the analysis of legal systems by discussing in what sense deontic logic and the logic of norm-propositions are useful tools for a proper understanding of the systematic structure of law. (shrink)
From an epidemiological perspective, the practice of universal vaccination of girls and young women in order to prevent human papilloma virus (HPV) infection and potential development of cervical cancer is widely accepted even though it may lead to the neglect of other preventive strategies against cervical cancer.
According to the standard view, Montaigne’s Pyrrhonian doubts would be in the origin of Descartes’ radical Sceptical challenges and his cogito argument. Although this paper does not deny this influence, its aim is to reconsider it from a different perspective, by acknowledging that it was not Montaigne’s Scepticism, but his Stoicism, which played the decisive role in the birth of the modern internalist conception of subjectivity. Cartesian need for certitude is to be better understood as an effect of the Stoic (...) model of wisdom, which urges the sage to build an inner space for self-sufficiency and absolute freedom. (shrink)
In recent years quantum probability models have been used to explain many aspects of human decision making, and as such quantum models have been considered a viable alternative to Bayesian models based on classical probability. One criticism that is often leveled at both kinds of models is that they lack a clear interpretation in terms of psychological mechanisms. In this paper we discuss the mechanistic underpinnings of a quantum walk model of human decision making and response time. The quantum walk (...) model is compared to standard sequential sampling models, and the architectural assumptions of both are considered. In particular, we show that the quantum model has a natural interpretation in terms of a cognitive architecture that is both massively parallel and involves both co-operative and competitive interactions between units. Additionally, we introduce a family of models that includes aspects of the classical and quantum walk models. (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)
En nuestra comunicación tratamos de las interpretaciones sobre uno de los fragmentos textuales comprendidos en el Sobre la Verdad, texto sofístico que pasa, en interpretaciones clásicas como las de Untersteiner o Guthrie, por ser pionero en nuestra tradición filosófico política en cuanto en él se expondrían tesis de claro carácter igualitarista. Si bien en las interpretaciones mencionadas se proclama que el texto en cuestión ataca los fundamentos teoréticos de los defensores de la esclavitud natural, no es menos cierto que otras (...) lecturas atenúan tal rasgo, hablando de un igualitarismo parcial y relativo únicamente a las diferencias culturales. Sin perder de vista el vínculo que ambas posiciones mantienen con la famosa Quaestio Antiphontea criticamos, en base a los textos aducidos por los propios intérpretes, la última posición mencionada, defendiendo que si bien los fragmentos y testimonios a nuestra disposición no nos permiten demostrar definitivamente la naturaleza de las tesis políticas de Antifonte, los mismos nos ofrecen la posibilidad de argüir algunas probabilidades a favor de la existencia de un igualitarismo de corte universal en el Sobre la Verdad. (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)
El artículo compara el modo como Aristóteles explica que un cuerpo llegue a vivir o que una mente llegue a entender, con el esquema explicativo que emplea Wittgenstein para dar cuenta de problemas como éstos: ¿qué hace posible que el signo adquiera significado, o que una acción sea el seguimiento de una regla? El interés se centra en la lógica de la explicación, y el propósito no es establecer relaciones de influencia, sino explorar analogías formales, con el objetivo de arrojar (...) luz sobre algunos conceptos centrales del pensamiento maduro de Wittgenstein. (shrink)
