Introduction

This introduction is a short critical presentation of the topic and main arguments of Andrea Iacona’s book Logical Form. Furthermore, it summarizes the commentators’ views on two central issues: Iacona’s rejection of the uniqueness thesis, i.e. his claim that no single notion of logical form can be adequate to the tasks that logical form has been supposed to perform, and the relation between a sentence’s logical form and its truth conditions.

Replies

In this paper I provide five separate responses, one for each of the contributed papers, in order to clarify some crucial aspects of the view defended in my book.

Minding Strangers’ Business

When should we interfere in the course of a stranger’s life? While philosophers have discussed at length extreme cases of assisting poor people in famine stricken countries, much less attention has been given to casual, everyday episodes. If I overhear two people discussing a place they are about to visit, and know that it is closed for renovation, should I interfere and tell them so? If I stand next to a customer who has not been given enough change in the supermarket, should I point that out or mind my own business? Using the Kantian notions of love and respect, I answer such questions. I claim that Kant’s terminology is ill-suited for instructing us how to deal with others with whom we are personally involved, but is important for our encounters with strangers. I suggest that we take seriously Kant’s claim that we are “united in one dwelling place”. When around others, keep an open eye to the possibility that they might need help. If there is good reason to suppose that you may help, knock on their door. Let them decide whether they want to open it. They are totally entitled to decline the offer, but should keep in mind that it was given as part of the joint venture of living together with others. The interference should therefore not be regarded as an infringement of privacy.

The Early Modern Origins of Pragmatism

This paper considers the alleged pragmatism of Berkeley’s philosophy using the two Sellarsian categories of ‘manifest’ and ‘scientific’ images of the world and human beings. The ‘manifest’ image is regarded as a refinement of the ordinary way of conceiving things, and the scientific image is seen as a theoretical picture of the world provided by science. The paper argues that the so-called Berkeleian pragmatism was an effect of Berkeley’s work towards a synthesis of ‘manifest’ and ‘scientific’ images through the creation of one unified synoptic vision of the world and was a part of a new conceptual framework within which these two images could be combined.

Varieties of Logical Form

The paper reviews some conceptions of logical form in the light of Andrea Iacona’s book Logical Form. I distinguish the following: logical form as schematization of natural language, provided by, for example, Aristotle’s syllogistic; the relevance to logical form of formal languages like those used by Frege and Russell to express and prove mathematical theorems; Russell’s mid-period conception of logical form as the structural cement binding propositions; the conceptions of logical form discussed by Iacona; and logical form regarded as an empirical hypothesis about the psychology of language processing, as in the Discourse Representation Theory tradition. Whereas neither schematization, nor the use of special languages for mathematics, raise general methodological or empirical difficulties, other conceptions of logical form raise at least apparent problems.

Logic in Natural Language: Commitments and Constraints

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions.

Blame and Fault: Toward a New Conative Theory of Blame

This paper outlines a new conative theory of blame. I argue that the best-known conative approaches to blame (Scanlon 1998, 2008, Sher 2006a) misrepresent the cognitive and dispositional components of blame. Section 1 argues, against Scanlon and Sher, that blaming involves the judgment that an act or state is the fault of the blamed. I also propose an alternative dispositional condition on which blaming only occurs if it matters to the blamer whether the blamed gets the punishment that she deserves. In Section 2, I discuss objections to judgment-based accounts of blame (that they cannot tell the difference between blaming and judging to be blameworthy, that they cannot explain why blame is often accompanied by emotion, and that they cannot make sense of irrational blame), and I argue that my proposal can handle all of them.

The Proportionality Argument and the Problem of Widespread Causal Overdetermination

The consensus is that repeatable artworks cannot be identified with particular material individuals. A perennial temptation is to identify them with types, broadly construed. Such identification, however, faces the so-called “Creation Problem.” This problem stems from the fact that, on the one hand, it seems reasonable to accept the claims that (1) repeatable artworks are types, (2) types cannot be created, and (3) repeatable artworks are created, but, on the other hand, these claims are mutually inconsistent. A possible solution to the Creation Problem is to argue that claim (2) can be rejected because (a) the only motivation for it is that a type, being abstract, cannot stand in causal relations, but (b) this motivation is ungrounded, since types can, in fact, stand in such relations. Clearly, in order for this solution to be successful, it is necessary to substantiate the possibility of types to be causally efficacious. In this essay, I examine an attempt to do this with the help of Yablo’s principle of proportionality, which has been undertaken by Walters (2013) and, more recently, Juvshik (2018). Although the argument they advance may seem to provide strong support for the causal efficacy of types, I think it actually fails to do this. To explain why this is so, I first show that this argument commits us to the existence of widespread causal overdetermination involving types and then argue that this commitment is both epistemically and ontologically problematic.

Logical Form through Abstraction

In a recent book, Logical Form: between Logic and Natural Language, Andrea Iacona argues that semantic form and logical form are distinct. The semantic form of a sentence is something that (together with the meanings of its parts) determines what it means; the logical from of a sentence is something that (all by itself) determines whether it is a logical truth. Semantic form does not depend on context but logical form does: for example, whether ‘This is this’ is a logical truth depends on whether the two occurrences of ‘this’ are used to demonstrate the same individual. I respond by claiming that logical form is indifferent to reference and is sensitive only to obligatory co-reference. When the speaker intends both occurrences of ‘this’ to be interpreted the same way the logical from of ‘This is this’ is a=a, while in a context where the speaker has no such intention it is a=b. This proposal allows a much more conservative revision of the traditional picture than the one suggested by Iacona. Instead of identifying the logical form of a natural language sentence by seeking a formalization in an artificial language, we obtain it through abstraction from its syntactic analysis: replacing the non-logical expressions by schematic letters, making sure that we use identical ones if and only if the speaker intended co-reference.

Logical Form, Truth Conditions, and Adequate Formalization

I discuss Andrea Iacona’s idea that logical form mirrors truth conditions, and that logical form, and thus truth conditions, are in turn represented by means of adequate formalization. I criticize this idea, noting that the notion of adequate formalization is highly indefinite, while the pre-theoretic idea of logical form is often much more definite. I also criticize Iacona’s claim that certain distinct sentences, with the same truth conditions and differing only by co-referential names, must be formalized by the same formula (in the same context). I criticize this claim, noting that it imposes implausible demands on adequate formalization. Finally, I offer some brief remarks on the connection between Iacona’s ideas and the distinction between logical and non-logical constants.