Quine’s “New Foundations” (NF) was first presented in Quine [1937] and later on in Quine [1963]. Ernst Specker [1958, 1962], building upon a previous result of Ehrenfeucht and Mostowski [1956], showed that NF is consistent if and only if there is a model of the Theory of Negative (and positive) Types (TNT) with full extensionality that admits of a “shifting automorphism,” but the existence of a such a model remains an open problem.

In the Aeneid, Virgil sets out to achieve a new sublime style, paradoxically steeped in the common parlance. He aims for the spontaneity of everyday language to win readers’ involvement, while elaborating a discourse both expressively taut and stylistically marked, that avoids a register too colloquial or prosaic. Above all, he tirelessly deploys an array of subtle strategies – below the threshold of perception – that defamiliarize language in order to elevate its style. The present paper furnishes a selection of (...) case studies. (shrink)

I discuss issues concerning the philosophical foundations andimplications of quantum field theory, renormalization inparticular. A new understanding of the correspondence principle,an unexpected role of perturbation theory and, most of all, acriterion to reduce the set of consistent theories frominfinitely many to finitely many, are the key concepts of atheoretical set-up that appears to overcome in a natural wayvarious consistency problems of quantum mechanics and offerseveral hints for further developments.

An application of Narrative Knowledge Representation Language (NKRL) techniques on (declassified) ‘terrorism in Southern Philippines’ documents has been carried out in the context of the IST Parmenides project. This paper describes some aspects of this work: it is our belief, in fact, that the Knowledge Representation techniques and the Intelligent Information Retrieval tools used in this experiment can be of some interest also in an ‘Ontological Modelling of Legal Events and Legal Reasoning’ context.

In the paper it is argued that bridging the digital divide may cause a new ethical and social dilemma. Using Hardin's Tragedy of the Commons, we show that an improper opening and enlargement of the digital environment (Infosphere) is likely to produce a Tragedy of the Digital Commons (TDC). In the course of the analysis, we explain why Adar and Huberman's previous use of Hardin's Tragedy to interpret certain recent phenomena in the Infosphere (especially peer-to-peer communication) may not be entirely (...) satisfactory. We then seek to provide an improved version of the TDC that avoids the possible shortcomings of their model. Next, we analyse some problems encountered by the application of classical ethics in the resolution of the TDC. In the conclusion, we outline the kind of work that will be required to develop an ethical approach that may bridge the digital divide but avoid the TDC. (shrink)

In this paper we introduce three methods to approach philosophical problems informationally: Minimalism, the Method of Abstraction and Constructionism. Minimalism considers the specifications of the starting problems and systems that are tractable for a philosophical analysis. The Method of Abstraction describes the process of making explicit the level of abstraction at which a system is observed and investigated. Constructionism provides a series of principles that the investigation of the problem must fulfil once it has been fully characterised by the previous (...) two methods. For each method, we also provide an application: the problem of visual perception, functionalism, and the Turing Test, respectively. (shrink)

It has been observed that whereas painters and musicians are likely to be embarrassed by references to the beauty in their work, mathematicians instead like to engage in discussions of the beauty of mathematics. Professional artists are more likely to stress the technical rather than the aesthetic aspects of their work. Mathematicians, instead, are fond of passing judgment on the beauty of their favored pieces of mathematics. Even a cursory observation shows that the characteristics of mathematical beauty are at variance (...) with those of artistic beauty. For example, courses in art appreciation are fairly common; it is however unthinkable to find any mathematical beauty appreciation courses taught anywhere. The purpose of the present paper is to try to uncover the sense of the term beauty as it is currently used by mathematicians. (shrink)

We discuss the fate of the correspondence principle beyond quantum mechanics, specifically in quantum field theory and quantum gravity, in connection with the intrinsic limitations of the human ability to observe the external world. We conclude that the best correspondence principle is made of unitarity, locality, proper renormalizability (a refinement of strict renormalizability), combined with fundamental local symmetries and the requirement of having a finite number of fields. Quantum gravity is identified in an essentially unique way. The gauge interactions are (...) uniquely identified in form. Instead, the matter sector remains basically unrestricted. The major prediction is the violation of causality at small distances. (shrink)

The correspondence principle made of unitarity, locality and renormalizability has been very successful in quantum field theory. Among the other things, it helped us build the standard model. However, it also showed important limitations. For example, it failed to restrict the gauge group and the matter sector in a powerful way. After discussing its effectiveness, we upgrade it to make room for quantum gravity. The unitarity assumption is better understood, since it allows for the presence of physical particles as well (...) as fake particles (fakeons). The locality assumption is applied to an interim classical action, since the true classical action is nonlocal and emerges from the quantization and a later process of classicization. The renormalizability assumption is refined to single out the special role of the gauge couplings. We show that the upgraded principle leads to an essentially unique theory of quantum gravity. In particular, in four dimensions, a fakeon of spin 2, together with a scalar field, is able to make the theory renormalizable while preserving unitarity. We offer an overview of quantum field theories of particles and fakeons in various dimensions, with and without gravity. (shrink)

We define life as the amplification of quantum uncertainty up to macroscopic scales. A living being is any amplifier that achieves this goal. We argue that everything we know about life can be explained from this idea. We study a ladder mechanism to estimate the probability that the amplification occurs spontaneously in nature. The amplification mechanism is so sensitive to small variations of its own parameters that it acts as a bifurcation itself, i.e. it implies that the universe is either (...) everywhere dead or alive wherever possible. Since the first option is excluded by the existence of life on earth, we infer that the universe hosts a huge number of inhabited planets (possibly one per star on average). We also investigate models of conscious and unconscious learning processes, as well as the structure of the brain and evolution. Finally, we address the problem of creating artificial life. (shrink)

Several particles are not observed directly, but only through their decay products. We consider the possibility that they might be fakeons, i.e. fake particles, which mediate interactions but are not asymptotic states. A crucial role to determine the true nature of a particle is played by the imaginary parts of the one-loop radiative corrections, which are affected in nontrivial ways by the presence of fakeons in the loop. The knowledge we have today is sufficient to prove that most non directly (...) observed particles are true physical particles. However, in the case of the Higgs boson the possibility that it might be a fakeon remains open. The issue can be resolved by means of precision measurements in existing and future accelerators. (shrink)

Este artículo estudia la revisión que hace Antonio Pérez de la identidad intencional de Pedro Auréolo entre el ser aparente de una cosa como conocida y su ser real extramental. La teoría de la cognición de Pérez es claramente deudora de la teoría de la intencionalidad de Auréolo. Al igual que este, Pérez se apoya en el instrumento lógico de la connotación y en la identidad entre la especie inteligible y el acto de conocimiento. Pérez está de acuerdo con la (...) teoría de Auréolo, afirmando una identidad de indistinción entre el ser aparente de la cosa como conocida y el ser real de la cosa extramental. Sin embargo, Pérez parece no estar plenamente satisfecho con la teoría de la cognición de Auréolo, e introduce algunos cambios relevantes. En primer lugar, emplea la doctrina suareziana de que todo acto intencional, aunque apunta directamente a un objeto, reflexiona virtual o indirectamente sobre sí mismo. Como consecuencia, apoya una identidad entre el lado formal –es decir, el acto de cognición– y el lado objetivo –es decir, la cosa reconocida–. En segundo lugar, ofrece una definición de la identidad de indistinción que difiere de la de Auréolo. Al hacerlo, Pérez equipara el ser aparente con una forma universal, es decir, el acto de cognición como tal, caracterizando todo acto particular de cognición como propio de todo ser inteligente. Esta forma indeterminada, entonces, puede ser determinada por todo objeto posible. (shrink)

Offers a glimpse into the world of science and technology between 1950 and 1990 as seen through the eyes of a mathematician, and debunks various myths of scientific philosophy. Portrays some of the great scientific personalities of the period, including Stanislav Ulam, who patented the hydrogen bomb, and Jack Schwartz, one of the founders of computer science. Also discusses phenomenology of mathematics, and philosophy and computer science. Includes book reviews. For students and academics. Annotation copyright by Book News, Inc., Portland, (...) OR. (shrink)

- L'articolo assume come sfondo specifico le dinamiche della relazione uomo-natura in John Dewey, cercando di ricostruire in chiave drammatica il problema della personalitÀ individuale. Attraverso l'utilizzo di un metodo di tipo fenomenologico, vengono messe in luce le tappe che conducono l'individuo a un processo di realizzazione etica di sé. Particolare risalto viene dato al dramma che il soggetto vive nella scelta razionale dei valori. Dramma che induce il filosofo americano a trovare nell'etica lo sviluppo finale della logica. Questa svolta (...) muove l'intero processo della soggettivitÀ sul piano della responsabilitÀ. Una responsabilitÀ drammatica e rischiosa, che costituisce l'unica via che il soggetto puň percorrere se aspira a qualificare la realtÀ in cui si trova inscindibilmente incarnato in modo intelligente, personale e creativo. (shrink)

Este artículo pretende estudiar la crítica de Antonio Pérez a la teoría de la identidad intencional de Pedro Auréolo. La teoría de la cognición de Pérez es claramente deudora de la doctrina de la intencionalidad de Auréolo. El jesuita español utiliza a menudo las mismas expresiones lingüísticas que Auréolo (como "ser aparente") y coincide con él en la identidad intencional entre el conocedor -que coincide en acto con el acto de conocer- y el objeto conocido, que es lo mismo que (...) existe fuera del intelecto. Tanto Pérez como Auréolo basan su teoría de la identidad intencional en el De anima de Aristóteles, pero el jesuita español señala una incoherencia en la doctrina de Auréolo, que contradice la concisa afirmación de Aristóteles sobre la identidad entre el conocedor y lo conocido durante el acto de conocimiento. Al examinar a fondo la teoría de la identidad intencional de Auréolo, concebida como una especie de identidad de indistinción, Pérez señala una incoherencia entre la descripción que hace Auréolo del acto de cognición y su concepción de la identidad de indistinción. Además, Pérez parece considerar insuficiente la identidad de indistinción de Auréolo utilizada para describir la identidad intencional que caracteriza el acto de cognición. En consecuencia, ofrece una nueva definición de identidad indistinta para presentar el ser aparente como una realidad indeterminada que puede ser determinada por cualquier contenido inteligible. Esta revisión péreziana de la teoría del ser aparente de Auréolo, por un lado, puede verse como un caso de revisionismo escolástico temprano moderno aplicado a un pensador medieval y, por otro, encuentra una aplicación más amplia en la metafísica y la antropología filosófica de Pérez. (shrink)

In this paper we show that the Gupta-Belnap systems S# and S* are П12. Since Kremer has independently established that they are П12-hard, this completely settles the problem of their complexity. The above-mentioned upper bound is established through a reduction to countable revision sequences that is inspired by, and makes use of a construction of McGee.

Husserl’s Third Logical Investigation, ostensibly dealing with the phenomenology of whole and parts, is actually meant to introduce the notion of Fundierung. This term is frequently used in the phenomenological literature, although little has been written about Fundierung itself since Husserl introduced it. Husserl himself, although he used it extensively, never again felt the need to reopen the discussion.

The author returns to a much debated topic, the so-called “Episode of Helen”, which has come to us only through indirect transmission, and endeavors to dismantle the prejudice against Virgilian authorship. G. P. Goold’s pugnacious intervention, dating back to more than half a century ago, contributed decisively – in fact, more than it should have – to the thesis that the text is spurious. A critical analysis of the text will demonstrate this claim to be groundless while offering arguments that (...) support the authenticity of the episode. (shrink)

Tomo I. Religione ed eterodossia, Normatiavità e non conformismo: Dallo gnosticismo al Romanticismo nelle prime tre edizioni -- Tomo II. Appendice alla IV edizione -- Appendice alla V edizone -- Dopo e a lato, Rassegna bibliografica ragionata sulle origini dell'Islam e la loro importanza nel determinarne i succesivi sviluppi -- Marginalia.

Esse estudo apresenta os conceitos de documento e documentação propostos por Paul Otlet (1868-1944) presentes no âmbito da Revista do Serviço Público (RSP). Publicada desde 1937, a RSP contempla artigos nas áreas de Administração e Gestão pública, Políticas públicas e Economia do setor público, sendo considerada um importante veículo de informação no Brasil, contemporâneo ao período de efervescência do pensamento de Otlet. A pesquisa consiste numa Revisão Sistemática de Literatura (RSL) com análise documental da RSP no período entre 1951 e (...) 1975. Como procedimento de seleção dos artigos, utiliza o protocolo de pesquisa RSL elaborado por Valentim (2020). A partir do corpus de análise dos textos recuperados identifica os artigos que apresentam os conceitos de “documento” e “documentação” segundo Otlet, bem como os elementos constitutivos sobre o cenário da documentação no Brasil, na perspectiva da publicação de autores brasileiros na RSP, concluindo que os trabalhos analisados contemplam e ampliam a temática da Documentação com importantes reflexões de Otlet para a Ciência da Informação no Brasil. (shrink)

This paper considers the issue of fear in the field of international relations studies. Fear is a typical condition of international relations because of the anarchical nature of the international political system characterized by a common threat perception among states. Since the very beginning of international political thought the notion of fear has been given great consideration due to its correlation with conflict which is the main object of international relations. The paper argues that in order to better understand what (...) fear and perception in international relations is about is necessary to undertake the notion of political identity. In that sense we propose a would be political identity account of state that might share light on the perception of fear. We claim that the perception of fear depends on the type of identity of a given state. Hence we discuss three type of state political identity: weak-tribal, medium-ideological, strong-pluralistic. (shrink)

We shall argue that the attempt carried out by certain philosophers in this century to parrot the language, the method, and the results of mathematics has harmed philosophy. Such an attempt results from a misunderstanding of both mathematics and philosophy, and has harmed both subjects.