Within ordinary ---unitary--- quantum mechanics there exist global protocols that allow to verify that no definite event ---an outcome to which a probability can be associated--- occurs. Instead, states that start in a coherent superposition over possible outcomes always remain as a superposition. We show that, when taking into account fundamental errors in measuring length and time intervals, that have been put forward as a consequence of a conjunction of quantum mechanical and general relativity arguments, there are instances in which (...) such global protocols no longer allow to distinguish whether the state is in a superposition or not. All predictions become identical as if one of the outcomes occurs, with probability determined by the state. We use this as a criteria to define events, as put forward in the Montevideo Interpretation of Quantum Mechanics. We analyze in detail the occurrence of events in the paradigmatic case of a particle in a superposition of two different locations. We argue that our approach provides a consistent single-world picture of the universe, thus allowing an economical way out of the limitations imposed by a recent theorem by Frauchiger and Renner showing that having a self-consistent single-world description of the universe is incompatible with quantum theory. In fact, the main observation of this paper may be stated as follows: If quantum mechanics is extended to include gravitational effects to a QG theory, then QG, S, and C are satisfied. (shrink)

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.©).

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.

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

Let T be any logical truth. Does the subject know that T (any random subject)? It is not rational for any subject to believe that they don’t, whoever they are. Similarly, it is not rational for them to believe that their evidence doesn’t support T, and it is not even rational for them to believe that they don’t believe that T. It is not rational for anyone anywhere at any time to believe that they don’t know that T. Such are (...) the conclusions arrived at in this paper. (shrink)

Why should we avoid incoherence? An influential view tells us that incoherent combinations of attitudes are such that it is impossible for all of those attitudes to be simultaneously vindicated by the evidence. But it is not clear whether this view successfully explains what is wrong with certain akratic doxastic states. In this paper I flesh out an alternative response to that question, one according to which the problem with incoherent combinations of attitudes is that it is impossible for all (...) of those attitudes to be simultaneously knowledgeable. This alternative response explains what is wrong with akratic combinations of attitudes using commonly accepted epistemological theses. The paper still shows how this proposal is able to explain the badness of incoherent combinations involving the absence of attitudes, suspended judgment and credence. These explanations deploy the notions of knowledge and being in a position to know, instead of the notion of responding properly to the evidence. Finally, I suggest that this picture can be generalized to the realm of practical rationality as well. (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.

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)

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.

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)

"Noah and the Olive Branch" by Luis Herrera explores the profound symbolism of the olive branch in the context of human morality and existential renewal. Drawing on the biblical narrative of Noah's Ark, Herrera delves into a metaphor for peace, reconciliation, and the restoration of harmony between humanity and the natural world. The work interprets the olive branch not merely as a sign of the flood's end, but as a deeper emblem of ethical rebirth, signifying the opportunity for humanity (...) to reconstruct a more just and compassionate world after calamity. -/- Through a philosophical lens, Herrera examines the duality of destruction and creation, positing that potential for moral and spiritual growth follows great trials. The text questions the nature of divine justice and human responsibility, suggesting a call for ongoing ethical vigilance in a world perpetually on the brink of self-destruction. -/- It is a parable for man's quest for connection and reconciliation with the divine, in a violent world filled with chaos, anarchy and the antinomian pursuit of hedonistic ideals. Herrera's work resonates with contemporary concerns about cultural degradation and social fragmentation, urging a re-evaluation of our relationship with God and each other. The olive branch, in this interpretation, becomes a timeless symbol of hope, resilience, and the enduring quest for a harmonious existence. (shrink)

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)

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)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us to (...) assess processes of reasoning involving attitudes of suspended judgment. (shrink)

Paul Silva has recently argued that doxastic justification does not have a basing requirement. An important part of his argument depends on the assumption that doxastic and moral permissibility have a parallel structure. I here reply to Silva's argument by challenging this assumption. I claim that moral permissibility is an agential notion, while doxastic permissibility is not. I then briefly explore the nature of these notions and briefly consider their implications for praise and blame.

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

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)

Are philosophy and literature allies or enemies in Jorge Luis Borges's fictions? In this paper, I argue that Borges can satisfy membership in the allies camp because his fictions provide the imaginative scenarios the allies believe are so necessary to this coalition; however, because his stories question philosophy's hold on reality, they can also seem to fall into the enemies camp by countervailing any claim philosophy has on reality and truth; although, ultimately, the manner in which Borges forges an (...) alliance between philosophy and literature will be for reasons not traditionally accepted by those in either the allies or enemies camps. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

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)

(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)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (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.

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)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two logical (...) norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

Given plausible assumptions about the nature of evidence and undercutting defeat, many believe that the force of the evidential problem of evil depends on sceptical theism’s being false: if evil is...

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

What I call the Doxastic Puzzle, is the impression that while each of these claims seems true, at least one of them must be false: (a) Claims of the form ‘S ought to have doxastic attitude D towards p at t’ are sometimes true at t, (b) If Φ-ing at t is not within S’s effective control at t, then it is false, at t, that ‘S ought to Φ at t’, (c) For all S, p, and t, having doxastic (...) attitude D towards p at t is not within S’s effective control at t. All three natural replies to the puzzle have been pursued. Some have claimed that doxastic attitudes like believing that p are, in fact, within our effective control, or sufficiently so. Others have claimed that doxastic ought-claims, strictly speaking, are always false. And some have denied that effective control is required for the adequacy of doxastic ought-claims in general. I here pursue and examine a different strategy. In the first part of this paper, I argue that these claims are not only each true but actually not in tension with each other in the first place. Instead of attempting to dispel the puzzle, this solution proposes to evade it instead: to solve it by properly understanding, and by thereby accepting without contradiction, all of its constitutive claims. In the second part of the paper, I argue that the evasive strategy forces us to re-think our understanding of the place of normative reasons in epistemology. More exactly, it seems to come at the cost of one central way of thinking about our reasons for having doxastic attitudes, one where such reasons are good-standing exemplars of normative reasons in general. The evasive strategy, that is, threatens to lead us very quickly to a deflationary picture of epistemic normativity: it rescues normative talk, but sacrifices normative substance. I conclude by explaining why I think this is more consequential than some have made it out to be, and by suggesting that these consequences are welcome nonetheless. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)