Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics have argued that full consensus is too demanding and inimical to pluralism and have pointed out that single-peakedness, a much less stringent condition, is sufficient to overcome voting paradoxes. According to these accounts, deliberation can induce single-peakedness through the creation of a ‘meta-agreement’, that is, agreement on the dimension according (...) to which the issues at stake are ‘conceptualized’. We argue here that once all the conditions needed for deliberation to bring about single-peakedness through meta-agreement are unpacked and made explicit, meta-agreement turns out to be a highly demanding condition, and one that is very inhospitable to pluralism. (shrink)

The objective of this article is to take into account the functioning of representational cognitive tools, and in particular of notations and visualizations in mathematics. In order to explain their functioning, formulas in algebra and logic and diagrams in topology will be presented as case studies and the notion of manipulative imagination as proposed in previous work will be discussed. To better characterize the analysis, the notions of material anchor and representational affordance will be introduced.

En este artículo realizamos un relevamiento exhaustivo de las publicaciones de Médicos por la Verdad, uno de los principales grupos antivacunas de Latinoamérica, en la red social Twitter durante la pandemia de COVID-19. Clasificamos sus tipos de razonamiento y el contenido de sus mensajes y mostramos que las propuestas existentes de análisis de discursos anticientíficos no pueden aplicarse a este caso particular. Proponemos, en consecuencia, una nueva categorización y su aplicación focalizada en las herramientas disponibles para comunicadores de la ciencia, (...) por un lado, y público no especializado, por el otro. (shrink)

En este trabajo, se propone una clasificación epistemológica teórica para el discurso astrológico a partir de evidencia empírica a fin de abordar el problema de cómo determinar específicamente qué es lo que lo hace ilegítimo. A partir de esta clasificación, se diseñó una intervención didáctica, enmarcada en el enfoque de Enseñanza de las Ciencias Naturales en Contexto (ECNC), con el objetivo de fomentar, en estudiantes de nivel secundario, la capacidad de distinguir enunciados cognoscitivamente ilegítimos -por infalsables o por falsos- respecto (...) de aquellos que pueden constituir genuino conocimiento científico. La secuencia didáctica se implementó con un grupo de 51 estudiantes de 14 a 17 años. Se evaluó su impacto por comparación entre un pretest y un postest. Los resultados mostraron que su capacidad de discernimiento entre enunciados falsables y no falsables se incrementó apreciablemente. (shrink)

The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...) develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (shrink)

Poiché i miei interessi di ricerca si concentrano sul rapporto tra spazio e rappresentazione, nel presente articolo commenterò un lavoro di Achille C. Varzi pubblicato nel 2008 e intitolato, nella sua versione italiana, «Configurazioni, regole e inferenze». Accennerò anche a un secondo articolo scritto da Varzi e Massimo Warglien e pubblicato nel 2003, intitolato «The Geometry of Negation». Mi rivolgerò poi alla psicologia sperimentale, collegando alcuni aspetti delle osservazioni di Varzi a un articolo di Johnson- Laird del 2005 intitolato «The (...) Shape of Problems». Nelle conclusioni, farò un ultimo riferimento a un articolo di Varzi pubblicato nel 2000, scritto con Philip Kitcher e intitolato «Some Pictures Are Worth 2 אo Sentences». Le parole configurazioni, geometry, shape e picture nei titoli degli articoli di cui mi occuperò sono dei buoni indizi per capire quale sia il filo rosso che lega a mio avviso tutti questi lavori. (shrink)

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...) in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology. (shrink)

Nosotres, biólogues, ecologistas y otres profesionales dedicados a proteger la vida, les escribimos con una solicitud urgente. Les pedimos muy comedidamente que su organización o institución emita un comunicado oficial condenando la crisis en curso y abordando los impactos ambientales y humanitarios en Palestina.

The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

In “The myth of mental illness” Thomas Szasz challenges the idea that mental illnesses are diseases in the biomedical sense. In his view they are more similar to a foreign language and for this reason they cannot be treated by means of biomedical therapies. The present article explores the semiotic implications of Szasz’s view of the hysterical symptoms as an iconic language. Following Reichenbach, Szasz distinguishes three classes of signs: indexical, iconic and symbolic. The somatic language of the hysteric person (...) would be an iconic protolanguage which is more primordial than the objective language. Nevertheless, it retains all the basic functions of the language: to transmit information, to induce mood, and to promote action. Five different but intertwined reasons for the use of such an iconic form of communication are discussed. In conclusion, the hysterical symptom speaks its proper language and our ethical commitment is primarily to empathically listen to it. (shrink)

In this article I propose a new interpretation of David Hume’s position on social contract theory. First, and acknowledging Hume’s critical stance on contractualism, I reject the reasons usually adduced to explain his position: empiricist methodology and utilitarianism. Instead, I argue that to fully understand Hume’s position on contractualism, one must take into account both a psychological methodology and a normative outlook. Second, I highlight Hume’s constructive proposals on the origin and foundation of government and justice, as well as the (...) philosophical approach that he suggested when discussing politics, i.e., mediating between parties. As I argue in this article, these latter aspects of Hume’s political philosophy, often disregarded when examining his reasons against contractualism, are nevertheless essential to understand his views on social contract theory. (shrink)

Lista de obras traducidas al español por quien esto escribe y publicadas en la colección digital "La Reina de las Ciencias" de la Biblioteca Digital del ILCE al 16 de octubre de 2024.

Chapitre méthodologique d'un livre co-écrit par Éliane Pons et J.-J. Pinto. Ce dernier, pour raisons professionnelles, n'avait indiqué son nom que dans cette partie intitulée "Esquisse d'une psychanalyse scientifique" (allusion respectueuse au titre de Freud "Esquisse d'une psychologie scientifique"), où se trouve expliquée en détail la méthode originale d'analyse de discours inventée et enseignée par lui : l'Analyse des Logiques Subjectives© (A.L.S.©).

In this work I examine the reasons offered by David Lewis in favor of tolerance in his works “Mill and Milquetoast” and “Academic Appointments: Why Ignore the Advantage of Being Right?” In the first section I expose and discuss the conception of tolerance that is the target of Lewis’s objections, namely, the conception defended by J.S. Mill. In the second section I expose and discuss Lewis’s main reasons in favor of tolerance and the advantages that, according to Lewis, has his (...) position in relation to that of Mill. In the third section I discuss some of the philosophical and political consequences that seem to follow from Lewis’s proposal and from his criticisms of Mill’s conception of tolerance. (shrink)

Mi objetivo es discutir las principales dificultades que Frank P. Ramsey encontró en Principia Mathematica y la solución que, vía el Tractatus Logico-Philosophicus, propuso al respecto. Sostengo que las principales dificultades que Ramsey encontró en Principia Mathematica están, todas, relacionadas con que Russell y Whitehead desatendieron la forma lógica de las proposiciones matemáticas, las cuales, según Ramsey, deben ser tautológicas.

Subjectivité artificielle: -/- •pléonasme, s'il est exact que la subjectivité humaine ne peut être qu'artificielle, cf infra subjiciel© -/- •terme proposé par l'auteur de l'A.L.S.© (Jean-Jacques Pinto) pour faire pendant à celui d'Intelligence artificielle -/- Subjiciel© : terme forgé (et déposé comme marque à l'I.N.P.I. en 1984) par l'auteur de l'A.L.S. : Jacques Pinto) : -/- 1. programmesubjectif "naturel", mais il se pourrait bien que la subjectivité humaine ne puisse être qu'artificielle : il n'y a pas de "nature (...) humaine", seulement une "condition humaine". Les subjiciels sont au service de l'identification subjective comme les cogniciels sont au service de l'identification cognitive -/- 2. logiciel de subjectivité artificielle écrit par des humains pour simuler la subjectivité humaine "naturelle", et en particulier les subjilectes ou lectes subjectifs. À ce propos, signalons que dès 1983, inspiré par le titre du livre de William Skyvington, "Machina sapiens. Essai sur l'intelligence artificielle". Seuil, 1976, nous avons proposé l'expression Machina subjectiva pour désigner l'ensemble des projets tendant à construire cette subjectivité artificielle. (shrink)

Achille Varzi è uno dei maggiori metafisici viventi. Nel corso degli anni ha scritto testi fondamentali di logica, metafisica, mereologia, filosofia del linguaggio. Ha sconfinato nella topologia, nella geografia, nella matematica, ha ragionato di mostri e confini, percezione e buchi, viaggi nel tempo, nicchie, eventi e ciambelle; e non ha disdegnato di dialogare con gli abitanti di Flatlandia, con Neo e con Terminator. Tra le sue opere principali: Holes and Other Superficialities e Parts and Places. The Structures of Spatial Representation, (...) entrambi scritti insieme a R. Casati per MIT Press; Il mondo messo a fuoco, Laterza; e il suo libro più recente: Le tribolazioni del filosofare, con C. Calosi, per Laterza. -/- Da una giornata all’Università di Urbino nasce questa conversazione a molte voci sulla e con la filosofia di Achille C. Varzi. In un dialogo critico al quale l’Autore si presta con generosità e onestà intellettuale, Andrea Borghini, Francesco Calemi, Claudio Calosi, Elena Casetta, Valeria Giardino, Pierluigi Graziani, Patrizia Pedrini, Daniele Santoro e Giuliano Torrengo lo interrogano e mettono alla prova sui temi affrontati, nel corso degli anni, in campi diversi. Il risultato è un percorso che si snoda attraverso molti mondi, dalla logica alla metafisica, dalla filosofia del linguaggio alla filosofia della matematica, dalla mereologia alla filosofia del tempo, spingendosi in qualche caso oltre i confini del saggio filosofico. (shrink)

(English, then french abstract) : -/- Fantasy, Discourse, Ideology – Transmission Beyond Propaganda. -/- Propaganda is everywhere, not only in commercials or politics. It is aimed at faraway strangers as well as nearby friends and relations. Propaganda in fact relies on a certain type of psychic structure, one that is tuned to receive it and disseminate it. This structure is a result of an unconscious subjective identification which is therefore not open to change through either cognition, argumentation or reasoning. Propaganda’s (...) form and content are best explained by an unconscious subjectivity rather than by Pavlov’s theory. The social dimension of this subjectivity may be defined by what we refer to as our ‘Analysis of Subjective Logics’ (a legacy of Lacan’s theory of the Four Discourses, which is deficient in some respects). We will first explore the various facets of the ‘Fantasy to Propagate’ by means of a word by word analysis, and will then go on to describe the connexions between Fantasy, Discourse and Ideology. We will show how a clever manipulator triggers an echo in the psyche of his victims, knitting together different and sometimes even contradictory fantasies in an unsteady synthesis he manages to maintain through patient repetition. As for psychoanalysis, it is not only possible but also highly desirable to practise it in the absence of all propaganda : among analysts, on condition that the precept of authority be outwitted, and within each analysis, by undoing the analysand’s sensitivity to suggestion. Psychoanalysis indeed does not only address the individual’s symptoms and their unravelling, but also, more ambitiously, aims to heal civilization of its discontents. This would entitle us to speak in terms of a genuine form of ‘propaganda prevention.’ -/- ---------------------- -/- Fantasme, Discours, Idéologie - D’une transmission qui ne serait pas propagande -/- La propagande se rencontre partout, pas seulement en publicité ou en politique. Avant d’être verticale et adressée aux lointains inconnus, elle est horizontale et s’adresse aux connaissances proches. C’est qu’elle repose en fait sur une structure psychique apte à la recevoir et à la répercuter, structure qui résulte de l’identification subjective, inconsciente donc non modifiable par la cognition, l’argumentation, la raison. Plutôt que par Pavlov, la forme et le contenu de la propagande s’expliquent par la subjectivité inconsciente. Celle-ci se laisse décrire dans le champ social par notre « Analyse des Logiques Subjectives » (héritière critique de la théorie des Quatre Discours de Lacan, insuffisante à maints égards). Nous passerons de l’analyse des facettes du « fantasme de propager » (par le détail des expressions qui en constituent les réalisations) à la description des rapports entre Fantasme, Discours et Idéologie : comment les habiles suscitent un écho dans le psychisme de leurs victimes en fédérant des fantasmes divers –voire opposés– dans une synthèse instable, mais que sa patiente répétition a pour effet de maintenir. En psychanalyse, transmettre sans propagande est non seulement possible mais souhaitable : horizontalement chez les analystes, à condition d’y déjouer l’argument d’autorité, et verticalement dans chaque analyse, en défaisant chez l’analysant les réseaux de suggestibilité. Car la psychanalyse, loin de se borner à la simple disparition des symptômes individuels, a pour vocation plus ambitieuse de contribuer à déconstruire le « malaise dans la civilisation ». On serait alors en droit de parler d’un authentique « prévention de la propagande ». (shrink)

Nous envisagerons dans cet article la possibilité d'un abord pratique de la relation entre linguistique et psychanalyse : la modélisation linguistique des données mises au jour par la psychanalyse à partir de corpus tirés du discours courant. La validation de tels modèles d'après les critères requis par l'« approche logiciste » de J.-C. Gardin et J. Molino sera examinée sur un exemple précis que nous exposerons en détail : l'Analyse des Logiques Subjectives, modèle développé, publié et enseigné par nous depuis (...) près de vingt ans. (shrink)

(English then french abstract) -/- This article, which can be read by non-psychoanalysts, intends to browse in four stages through the issue offered to our thinking : two (odd-numbered) stages analyzing the argument that provides its context, and two (even-numbered) of propositions presenting our views on what could be the content of the analytic discourse in the coming years. After this introduction, a first reading will point by point but informally review the argument of J.-P. Journet by showing that each (...) of its clauses may generate a “bifurcated” comment able to serve or go against the analytic discourse. Hence the interest of the “differential diagnosis” mentioned in our title, which makes glimpse the traps that the homonymy may set to this speech. Then, to prepare a second scan which sticks neither to the analytical doxa, nor to the even authoritative opinions of our tenors and seniors, it will be proposed two attempts at redefinitions (“apophatic” and “recursive”) of what psychoanalysis is, as well as methodological tools operating downstream from these redefinitions to thwart the obstacles of “external” and “internal” homonymy (starting from a syllogism which can make consensus).The third stage will precisely be made of our second scan of the issue, whose elements will be reviewed and analyzed more methodically :“external differential diagnosis” between the analytic discourse and psychology, philosophy, sociology, and modern science, and “internal differential diagnosis” on the entanglement between theoretical advances of psychoanalysts and the repeated survival of fantasmatic elements...Finally, a fourth part will present propositions and perspectives resulting from these analysis (principle of economy as to the source of psychoanalytical theorizations; dialogue with the other fields, but without compromising; specific relations with the discourse of science), all this leading to an invitation, beyond disputes, to renew the content of the analytic discourse on some points... -/- --------------------------------------------------------------------- -/- Cet article, qui se veut lisible aux non-analystes, se propose de parcourir en quatre temps la problématique offerte à notre réflexion : deux temps (de rang impair) d'analyse de l'argument qui en fournit le contexte, et deux (de rang pair) de propositions présentant nos vues sur ce que pourrait être la teneur du discours analytique dans les prochaines années. Après cette introduction, un premier parcours réexaminera point par point mais informellement l'argument de J.-P. Journet en montrant que chacune de ses propositions peut donner lieu à un commentaire “bifide” à même de servir ou de desservir le discours analytique. D'où l'intérêt du “diagnostic différentiel” évoqué dans notre titre, qui fait entrevoir les pièges que l'homonymie peut tendre à ce discours.Puis, pour préparer un second balayage qui ne s'en tienne ni à la doxa analytique, ni aux opinions même autorisées de nos ténors et seniors, il sera proposé deux tentatives de redéfinitions (“apophatique” et “récursive”) de ce qu'est l'analyse, ainsi que des outils méthodologiques fonctionnant en aval de ces redéfinitions pour déjouer les embûches de l'homonymie “externe” et “interne” (à partir d'un syllogisme pouvant faire consensus). Le troisième temps sera fait justement de ce second balayage de la problématique, dont les éléments seront reconsidérés et analysés plus méthodiquement : “diagnostic différentiel externe” entre le discours analytique et les discours psychologique, philosophique, sociologique et celui de la science moderne ; et “diagnostic différentiel interne” portant sur l'intrication entre avancées théoriques des analystes et survivance à répétition d'éléments fantasmatiques...Enfin une quatrième partie exposera propositions et perspectives résultant de ces analyses (principe d'économie quant à la source des théorisations analytiques ; dialogue avec les autres champs, mais sans compromissions ; relations spécifiques avec le discours de la science), l'ensemble débouchant sur une invitation, au delà des différends, à renouveler sur certains points la teneur du discours analytique... (shrink)

The aim of this work is to develop a comparative analysis of the discursive structures that underlie the socialized formation of the interpretative paradigms of reality. We analyse how both political ideologies and the so-called “conspiracy theories” can be understood starting from the structure and functioning of Marc Augè's ideo-logic, namely the systemic-discursive device that defines the field of all possible sentences defining the real. -/- .

In this article I discuss the main theses of the realist political philosophy developed in recent years by Raymond Geuss and embodied in his famous Philosophy and Real Politics. Once the motivations behind Geuss’ project identified and its similarities and differences with the other great realistic philosophical-political project of our days, that of Bernard Williams, pointed out, I critically expose Geuss’ theses and his objections to the Kantian and Rawlsian ways of doing political philosophy. In addition to discussing the central (...) points of his proposal, I present two general responses to it, one doctrinal and the other methodological. (shrink)

La plupart des études psychosociologiques et des travaux psychanalytiques sur la psychologie sociale admettent l'existence des groupes et des individus, que leurs rapports soient pensés sur un mode idéologique ou analogique comme dans Totem et tabou par exemple (1). Cette existence, qui paraît aller de soi, nous semble être à préciser, sinon à discuter. (1) Voici l'hypothèse de Freud : "Il n'a sans doute échappé à personne que nous postulons l'existence d'une âme collective dans laquelle s'accomplissent les mêmes processus que (...) ceux ayant leur siège dans l'âme humaine" (S.Freud 1912, 1970, Payot). Une phrase critique de Jacques Lacan, écrite à propos de la dissolution de l'École Freudienne, va nous servir de fil conducteur pour commenter les trois termes qui figurent dans notre titre : "Le groupe se définit d'être une unité synchrone dont les éléments sont les individus. Mais un sujet n'est pas un individu". (shrink)

Social inequality may obstruct the generation of knowledge, as the rich and powerful may bring about social acceptance of skewed views that suit their interests. Epistemic equality in the context of justification is a means of preventing such obstruction. Drawing on social epistemology and theories of equality and distributive justice, we provide an account of epistemic equality. We regard participation in, and influence over a knowledge-generating discourse in an epistemic community as a limited good that needs to be justly distributed (...) among putative members of the community. We argue that rather than trying to operationally formulate an exact criterion for distributing this good, epistemic equality may be realized by insisting on active participation of members of three groups in addition to credited experts: relevant disempowered groups, relevant uncredited experts, and relevant stakeholders. Meeting these conditions fulfills the political, moral, and epistemic aims of epistemic equality. (shrink)

Jurado: Mario Gómez-Torrente (presidente), Miguel Ángel Fernández Vargas (vocal), Santiago Echeverri Saldarriaga (secretario). [Graduado con Mención Honorífica.].

Analisa a atuação de algumas das principais militantes e organizações que construíram a história do feminismo no Brasil, situando sua atuação no processo de transformação vivido pela sociedade brasileira a partir do final do século XIX.

Rescue workers have a stressful and risky occupation where being engaged is crucial to face physical and emotional risks in order to help other persons. This study aims to estimate work engagement levels of rescue workers (namely comparing nurses, firefighters, and police officers) and to assess the validity evidence related to the internal structure of the Portuguese versions of the UWES-17 and UWES-9, namely, dimensionality, measurement invariance between occupational groups, and reliability of the scores. To evaluate the dimensionality, we compared (...) the fit of the three-factor model with the fit of a second-order model. A Portuguese version of the instrument was applied to a convenience sample of 3,887 rescue workers (50% nurses, 39% firefighters, and 11% police officers). Work engagement levels were moderate to high, with firefighters being the highest and nurses being the lowest engaged. Psychometric properties were evaluated in the three-factor original structure revealing acceptable fit to the data in the UWES-17, although the UWES-9 had better psychometric properties. Given the observed statistically significant correlations between the three original factors, we proposed a 2nd hierarchal structure that we named work engagement. The UWES-9 first-order model obtained full uniqueness measurement invariance, and the second-order model obtained partial (metric) second-order invariance. (shrink)

The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...) [deP1990], but more general. The ultimate aim is to relate different categorical models of linear logic. (shrink)

It does not seem particularly daring to say that one objective of science education is to enable students to understand different phenomena in the world in their mutual relationship. This is roughly equivalent to promoting knowledge of scientific explanations, which involve resorting to regular relationships between certain phenomena and which, certainly, is different from knowledge of this or that type of event taken in isolation. In this text, we will draw attention to two opposing tendencies that, however, tend towards the (...) common result of hindering the achievement of such an objective. On the one hand, we find characterizations of scientific explanation that assimilate it to argumentation and, therefore, lose sight of what specifically makes explanations explanatory; that is, they ask too little of a scientific explanation. On the other hand, those that consider paradigmatic cases of scientific explanation −such as those achieved by subsuming phenomena such as tides to Newton's laws− do not really constitute explanations but merely descriptions; it is about asking too much of an explanation here. We will therefore point out that a greater attention to the elaborations provided by the philosophy of science about the notion of explanation is crucial to better serve educational purposes. (shrink)

I present the replies that Gottlob Frege, Henri Poincaré, Rudolf Carnap, and Saul Kripke made to the assumption that apriority and necessity are interchangeable synonyms, an assumption that I take, together with the assumptions that there is a split between analytic truths and synthetic truths and that there is a dichotomy between our conceptual schemes and empirical content, as a Kantian dogma.

This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...) of construction. (shrink)

En este trabajo se muestra que, si se lleva a su conclusión lógica la máxima de Quine, “Ningún enunciado es inmune a la revisión” (es decir, a que la propia máxima quineana no es inmune a la revisión), desemboca una situación paradójica. Tal paradoja es, no obstante, inofensiva para la máxima de que “Ningún enunciado es inmune a la revisión” porque no la autorrefuta.

In this paper, I examine the book "Relations: Ontology and Philosophy of Religion" which is a collection of invited and selected papers dealing with both ontology and the philosophy of religion. It aims at showing how the two disciplines can fruitfully interact and provide useful tools for philosophical investigation. The background is relational ontology and analytical philosophy.

This article discusses Rik Peels's response to Williams's argument against voluntary belief. Williams argues that voluntary beliefs must be acquired independently of truth-considerations, so they cannot count as beliefs after all, since beliefs aim at truth. Peels attempted to reply by showing that in cases of self-fulfilling beliefs, a belief can indeed be voluntarily acquired in conditions which retain the necessary truth-orientation. But even if we make two crucial concessions to Peels’s proposal, his argument ultimately fails. The first concession is (...) that beliefs can be weakly voluntary-namely, we can acquire them at will though we do not preserve them at will but on the basis of evidence. Conceding this, however, only lands us in the “acquisition problem”: how a belief can be acquired qua belief when we still do not think we have justification for it. This leads us to the second concession: that knowing in advance that a certain belief is self-fulfilling provides us with such a justification. However, this concession lands us in the ultimate obstacle: that, precisely because such a justification is available both before and at the moment of forming the belief, the cognitive perspective of the subject is identical at both moments, which obscures what it even means to say that at a certain moment she started to have a belief. (shrink)

In recent years, several strategies have been proposed to tackle social controversies about topics in which science is settled, among which one of the most influential is that of Elizabeth Anderson, who argues that any lay person with access to the Internet and basic education can reliably assess the acceptability of various claims involving expert knowledge. In particular, the author shows that this procedure can be successfully applied to the case of anthropogenic global warming. In this article we will try (...) to argue why, even if we concede that Anderson's proposal is satisfactory in that particular case, it fails to generalize when applied to other controversies. In this article, we illustrate it with the cases of flat-Eartherism and anti-vaxxerism. (shrink)

Primary objective: This study represents the first large-scale research on high school philosophy in a public education curriculum in North America. Our objective was to identify the impacts of high school philosophy, as well as the challenges of teaching it in its current format in Ontario high schools. Research design: The qualitative research design captured the perspectives of students and teachers with respect to philosophy at the high school level. All data collection was structured around central questions to provide insight (...) into the dynamics of their shared process of teaching/learning. Methods and procedures: We conducted semi-structured with interviews philosophy teachers (n = 9), classroom observations (n = 142), and student focus groups at 16 diverse high schools. Transcripts were coded according to themes. Results: Our findings reflect the complicated nature of philosophy as a discipline characterized by abstract thinking. Participants found it mind-opening, yet challenging, providing educational opportunities that are largely absent in conventional schooling. They saw multiple connections between philosophy and other subjects, but also appreciated its distinctive benefits. Teachers relied primarily on textbooks and contemporary media to deliver the curriculum. We found that a teacher’s background in philosophy may influence what is taught in philosophy courses and how, especially given the flexibility of the provincial curriculum. Conclusions: The findings suggest that philosophy is a unique, beneficial subject that teachers enjoy teaching and students greatly value, characterizing it as both difficult and rewarding. Our study revealed that considerable differences exist in how philosophy is taught and learned around the province. The flexibility of the provincial curriculum appears to be an invitation for creative and responsive teaching; however, philosophy teachers’ weak preparation can, by their own admission, be a hindrance to effective curriculum delivery. Studying philosophy enhances students’ thinking about other academic areas of study and in some cases opens them up to new ways of thinking. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

Estas son algunas erratas que he encontrado en mi traducción al español de la "Introduction to Mathematical Philosophy" de Bertrand Russell, traducción publicada físicamente por Editorial Porrúa/Tecnológico de Monterrey en 2021 en la Colección de Publicaciones de la Escuela de Humanidades y Educación del Instituto Tecnológico y de Estudios Superiores de Monterrey.