Soames on Russell’s logic: a reply

In “What is History For?,” Scott Soames responds to criticisms of his treatment of Russell’s logic in volume 1 of his Philosophical Analysis in the Twentieth Century. This note rebuts two of Soames’s replies, showing that a first-order presentation of Russell’s logic does not fit the argument of the Introduction to Mathematical Philosophy, and that Soames’s contextual definition of classes does not match Russell’s contextual definition of classes. In consequence, Soames’s presentation of Russell’s logic misrepresents what Russell took to be its technical achievement and its philosophical significance.     

Category theory,logic and formal linguistics: Some connections,old and new

We seize the opportunity of the publication of selected papers from the Logic, categories, semantics workshop to survey some current trends in logic, namely intuitionistic and linear type theories, that interweave categorical, geometrical and computational considerations. We thereafter present how these rich logical frameworks can model the way language conveys meaning.     

Progress with Science and Religion Issues: Critical Questions and Suggestions

Progress with the marriage of science and religion is slowed by “sterile” controversies. Ways toward overcoming them are suggested here. These concern the metaphysical foundations of science and religion (science and spirituality, science and theology) with a specific emphasis on epistemology, ontology, anthropology, aims, methodological procedures, limitations of binary logic, and the use of other types of logic (in particular relational and contextual reasoning). Dialogues between science and religion can have positive practical societal relevance, and therefore need to progress faster. An enlargement of humanity's mental horizons and development—especially of epistemic cognition—seems to be called for in order to secure the future of a global intellectual culture. Suggestions for achieving this are included.     

Knowledge and man

Collective Intelligence (CI) can be formalized as a specific1 computational process through the use of a molecular model of computations and mathematical logic, in terms of interacting information_molecules, which are chaotically or quasi-chaotically displacing and running natural-based inference processes in their own environment. The formal definition of Collective Intelligence as a property of a social structure of beings of any nature is surprisingly short and abstract (which is astonishing) from definitions of Life. The formal definition of Collective Intelligence proposed by the author in the last few years seems to be valid for the whole spectrum of beings, in human social structures to ants in colonies, and even for bacterial colonies. It has recently been found that the CI definition also has an engineering value. The theory of CI can also be used to better understand Evolution because it allows us to locate and relate Life and Intelligence in Evolution. Moreover, this approach presents Evolution as something more complex than can be concluded from Darwinism. Probably the most surprising fact is that a simple extrapolation of the definition of Collective Intelligence brings us to the conclusion that most probably the first elementary Collective Intelligence emerged on Earth in the "chemical soup of primeval molecules," much before Life emerged. Collective Intelligence can be defined with fewer and weaker conditions than Life requires. Perhaps the emergence of that early elementary Collective Intelligence provided the basic momentum to build Life as we now know it. Thus Evolution caused Intelligence to create Life. Our hypothesis is consistent with biochemistry theories that "primeval biochemical molecules" started to interact, "firing" the Collective Intelligence of their "elementary chemical social structure" for survival. This successful action boosted further growth of complexity in that "elementary social structure," which finally resulted in the emergence of "well-defined Life." Furthermore, it provided a self-propagating cycle of growth of individual and collective Intelligence and individual and collective Life. The Collective Intelligence of ants, wolves, humans, and so forth today is only a higher level of Collective Intelligence development. Thus the present Evolution is a computational process of unidentified complexity where Life, Intelligence, and perhaps other as yet undiscovered components play temporary roles. In this paper we provide formalization and a proposed partial proof for this hypothesis.     

Logical Knowledge

It seems obvious that our beliefs are logically imperfect in two ways: they are neither deductively closed nor logically consistent. But this common-sense truism has been judged erroneous by some philosophers in the light of various arguments. In defence of common sense I consider and rebut interpretative arguments for logical perfection and show that the assumption espoused by common sense is theoretically superior, and capable - unlike its rival - of accounting for the informativeness of mathematics. Finally, I suggest that common sense opens the way to genuine disputes about the correct logic.     

Towards the logic of projective identification

This paper is devoted to the ‘logic of the unconscious’ and its application to the analysis of projective intentionality in psychoanalysis.Subjective assumptions concerning the existence and identity of intentional objects are often unconscious. They result from personal experience through its assimilation and transformation in further psychological (e.g. defensive) processes. Formal aspects of these subjective assumptions and their influence on our judgment and action have been studied by a number of psychoanalytic authors, in particular by Silvano Arieti, Ignacio Matte-Blanco and their followers who tried to develop ‘logic of the unconscious’. My project consists in the reformulation, clarification and elaboration of the logic of the unconscious using contemporary modal and relevant logics, in particular Graham Priest's logic of intentionality. An important advantage of this logic is that it allows for truth indeterminacy and paraconsistency of the propositional content of intentional states. In this article I explore the logic of projective identification, which I assume plays the central role in the logic of the unconscious.Special attention is given to the logical analysis of the notion of an internal object, and to a logical reconstruction of the fantasy of projective identification.     

A Dynamic-Logical Perspective on Quantum Behavior

In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously used to model various forms of classical information flow: the “test” operator from Dynamic Logic, the “announcement” operator from Dynamic Epistemic Logic and the “revision” operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of “logical dynamics” are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of “static” propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all information-gathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of “objectively imperfect information”. (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system.     

Kant and the problem of existential judgment: critical comments on Wayne Martin’s Theories of Judgment

The paper assesses Martin’s recent logico-phenomenological account of judgment that is cast in the form of an eclectic history of judging, from Hume and Kant through the 19th century to Frege and Heidegger as well as current neuroscience. After a preliminary discussion of the complex unity and temporal modalities of judgment that draws on a reading of Titian’s “Allegory of Prudence” (National Gallery, London), the remainder of the paper focuses on Martin’s views on Kant’s logic in general and his theory of singular existential judgment in particular. The paper argues against Martin’s key claims of the primacy of formal logic over transcendental logic and of the synthetic nature of judgment in Kant. It also takes issue with each of the four interpretations of singular existential judgment in Kant offered by Martin: existence as logical predicate, as copula, as thesis and as logical subject.