Hegel,modal logic,and the social nature of mind

ABSTRACT

Hegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the light of modern modal logic, in an attempt to model the way minds might be thought as connected by way of shared intentional contents. Here, we should not be surprised at some of the parallels that emerge between the approaches of Hegel and the modal logician Arthur Prior, as Prior had testified to the influence of his teacher, John N. Findlay, who himself had strong Hegelian leanings. In the final section, Robert Stalnaker's version of possible-world semantics is suggested as a framework within which Hegel's recognitive account of the mind might be understood.     

Rationality ideals and mentality

Mackenzie, this journal, this issue, convincingly shows that in certain dialogue games (commitment games) there are procedural restrictions similar to those that I impose on rationality idealizations. But, whereas my rationality analysis is set in the context of belief games, commitment games do not postulate beliefs. Is this significant? I suggest that mackenzie thinks that it is. There follow discussions of Psychologism and Behaviourism.     

Burden of proof

This paper presents an analysis of the concept of burden of proof in argument. Relationship of burden of proof to three traditional informal fallacies is considered: (i) argumentum ad hominem, (ii) petitio principii, and (iii) argumentum ad ignorantiam. Other topics discussed include persuasive dialoque, pragmatic reasoning, legal burden of proof, plausible reasoning in regulated disputes, rules of dialogue, and the value of reasoned dialogue.     

De Re Language,De Re Eliminability,and the Essential Limits of Both

De re modality is eliminable if there is an effective translation of all wffs into non-de re equivalents. We cannot have logical equivalence unless logic has odd theses, but we can have material equivalence by banning all essences, something the non-de re facts let us do, or by giving everything such humdrum essences as self-identity and banning the more interesting ones. Eliminability cannot be got from weaker assumptions, nor independent ones of even modest generality. The net philosophical import is that, quite apart from the merits of essentialism, de re language has scant utility.     

Superintuitionistic Companions of Classical Modal Logics

This paper investigates partitions of lattices of modal logics based on superintuitionistic logics which are defined by forming, for each superintuitionistic logic L and classical modal logic , the set L[] of L-companions of . Here L[] consists of those modal logics whose non-modal fragments coincide with L and which axiomatize if the law of excluded middle p V p is added. Questions addressed are, for instance, whether there exist logics with the disjunction property in L[], whether L[] contains a smallest element, and whether L[] contains lower covers of . Positive solutions as concerns the last question show that there are (uncountably many) superclean modal logics based on intuitionistic logic in the sense of Vakarelov [28]. Thus a number of problems stated in [28] are solved. As a technical tool the paper develops the splitting technique for lattices of modal logics based on superintuitionistic logics and ap plies duality theory from [34].