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)

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)

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.

A generalized Onsager reciprocity theorem emerges as an exact consequence of the structure of the nonlinear equation of motion of quantum thermodynamics and is valid for all the dissipative nonequilibrium states, close and far from stable thermodynamic equilibrium, of an isolated system composed of a single constituent of matter with a finite-dimensional Hilbert space. In addition, a dispersion-dissipation theorem results in a precise relation between the generalized dissipative conductivity that describes the mutual interrelation between dissipative rates of a pair of (...) observables and the codispersions of the same observables and the generators of the motion. These results are presented together with a review of quantum thermodynamic postulates and general results. (shrink)

Professor Orsini’s book enters the controversy that has marked the changing response to Coleridge’s work during the past forty years, stimulated recently by the accessibility of Coleridge manuscripts and by the publication of hitherto unpublished works. Professor Orsini himself contributes to our new knowl­edge by publishing here for the first time texts from the note­books. His book is of importance and interest because it examines problems which are rooted in world-wide intellectual developments of recent times. Counterposing his argument against the (...) theory that Col­eridge had anticipated Kant and Schelling, Professor Orsini marshalls impressive evidence that shows that Coleridge was familiar with the works of the German idealists and that they greatly influenced his thinking, to the extent that he was for a time an expounder of transcendental idealism, and should be credited with bringing it to England. Professor Orsini’s new findings will lead inevitably to reassessment of Coleridge’s status as a philosopher, though he insists that his report is an interim one, that a final estimate must wait until all Coleridge’s writings have been published and assessed. (shrink)

In this paper we describe expertise as a way of seeing. We use match analysis `punditry’ as a setting to show how professional vision is interactionally achieved in TV sport broadcasts through environmentally coupled gestures enhanced by camera actions and a new technology of vision called telestrator. The paper is based on data from video sequences of football TV broadcasts where the pundit shows to the TV host in the studio and to the non-expert audience at home what happened during (...) a football match. We argue that the transparency of seeing is the product of an artfully instructed process whereby the pundit shows what should be seen, how it should be made accountable, and what the audience should expect in order to fully appreciate what they see. The paper shows how broadcasted match analysis expertise interactionally achieves this through the time-critical linking of talk, gesture, and technological environment. (shrink)

Il libro curato da Francesca De Vecchi, Eidetica del diritto e ontologia sociale. Il realismo di Adolf Reinach, si indirizza in primo luogo agli studiosi di filosofia del diritto, di ontologia sociale, ai fenomenologi e agli esperti del pensiero di Adolf Reinach (1883-1917), noto fenomenologo tedesco. Esso però ha il suo maggiore fascino, a mio parere, nella pretesa teoretica di discutere la posizione realista sottesa al lavoro di Reinach. A esserci in gioco, chiarisce la curatrice, è la scop...

This article reports on the development of the managerial ethical profile (MEP) scale. The MEP scale is a multilevel, self-reporting scale measuring the perceived influence that different dimensions of common ethical frameworks have on managerial decision making. The MEP scale measures on eight subscales: economic egoism, reputational egoism, act utilitarianism, rule utilitarianism, self-virtue of self, virtue of others, act deontology, and rule deontology. Confirmatory factor analysis (CFA) was used to provide evidence of scale validity. Future research needs and the value (...) of this measure for business ethics are discussed. (shrink)

This study aims at ascertaining the existence of an organic legal policy in marriage matters, one which was followed by Roman Emperors in the IV and V centuries, in particular by Constantine. It is also aimed at showing that this policy corresponded to Christian ideas as expressed by various Church Fathers. This research was carried out in a careful way with attention to the chronology of the writings examined, and with a comparative analysis of every single essay that was subsequently (...) treated. (shrink)