THE INTERPLAY OF DEDUCTIVE AND INDUCTIVE REASONING IN PSYCHOANALYTIC THEORIZING

Deductive and inductive reasoning both played an essential part in Freud's construction of psychoanalysis. In this paper, the author explores the happy marriage of empiricism and rationalism in Freud's use of deductive reasoning in the construction of psychoanalytic theory. To do this, the author considers three major amendments Freud made to his theory: (i) infant and childhood sexuality, (ii) the structural theory, and (iii) the theory of signal anxiety. Ultimately, the author argues for, and presents Freud as a proponent of, the epistemological position that he calls critical realism.     

Rational Illogicality

Many accounts of structural rationality give a special role to logic. This paper reviews the problem case of clear-eyed logical uncertainty. An account of rational norms on belief that does not give a special role to logic is developed: doxastic probabilism.     

Expansion and Contraction of Finite States

We present a theory that copes with the dynamics of inconsistent information. A method is set forth to represent possibly inconsistent information by a finite state. Next, finite operations for expansion and contraction of finite states are given. No extra-logical element — a choice function or an ordering over (sets of) sentences — is presupposed in the definition of contraction. Moreover, expansion and contraction are each other's duals. AGM-style characterizations of these operations follow.     

A Modal Sortal Logic

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system.     

Separating the wheat from the chaff: does discriminating between diagnostic and nondiagnostic information eliminate the dilution effect?

The dilution effect refers to the finding that judgments are often unduly influenced by nondiagnostic information, producing regressive judgment. Because the dilution effect is a problem in various domains, strategies to control the impact of nondiagnostic information were explored by drawing on a perceptual and a conversational account of the dilution effect. Three experiments (n = 259) demonstrate that explicit instructions to discriminate between diagnostic and nondiagnostic information did not reduce the dilution effect. Rather, consistent with a perceptual explanation but not consistent with a conversational explanation, the dilution effect disappeared only when participants engage in perceptual control, that is, when they actively remove nondiagnostic pieces of information before making a judgment. Copyright © 2004 John Wiley & Sons, Ltd.     

A family of Gödel hybrid logics

In this paper, we define a family of fuzzy hybrid logics that are based on Gödel logic. It is composed of two infinite-valued versions called ${\mathsf{GH}}_{\infty }$ and ${\mathsf{WGH}}_{\infty }$, and a sequence of finitary valued versions ${({\mathsf{GH}}_n)}_{0<n<\infty }$. We define decision procedures for both ${\mathsf{WGH}}_{\infty }$ and ${({\mathsf{GH}}_n)}_{0<n<\infty }$ that are based on particular sequents and on a set of proof rules dealing with such sequents. As these rules are strongly invertible the procedures naturally allow one to generate countermodels. Therefore we prove the decidability and the finite model property for these logics. Finally, from the decision procedure of ${\mathsf{WGH}}_{\infty }$, we design a sound and complete sequent calculus for this logic.     

Deontic Interpreted Systems

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45_n ^i-j, is a stronger version of KD, the system often referred to as Standard Deontic Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work.     

Extended Quantum Logic

The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability.     

Some Supervaluation-based Consequence Relations

In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim–Skolem, axiomatizability, and compactness. We also consider an alternate version for supervaluation semantics, and show both axiomatizability and compactness for the resulting consequence relation.