Logical Form Between Logic and Natural Language 1st Edition Andrea Iacona (Auth.) instant download
Logical Form Between Logic and Natural Language 1st Edition Andrea Iacona (Auth.) instant download
https://textbookfull.com/product/logical-form-between-logic-and-
natural-language-1st-edition-andrea-iacona-auth/
https://textbookfull.com/product/logic-lecture-notes-for-
philosophy-mathematics-and-computer-science-andrea-iacona/
https://textbookfull.com/product/gradability-in-natural-language-
logical-and-grammatical-foundations-heather-burnett/
https://textbookfull.com/product/logic-in-high-definition-trends-
in-logical-semantics-alessandro-giordani/
https://textbookfull.com/product/python-natural-language-
processing-advanced-machine-learning-and-deep-learning-
techniques-for-natural-language-processing-1st-edition-jalaj-
Natural Language Processing 1st Edition Jacob
Eisenstein
https://textbookfull.com/product/natural-language-processing-1st-
edition-jacob-eisenstein/
https://textbookfull.com/product/quantum-computation-and-logic-
how-quantum-computers-have-inspired-logical-investigations-maria-
luisa-dalla-chiara/
https://textbookfull.com/product/intelligent-natural-language-
processing-trends-and-applications-1st-edition-khaled-shaalan/
https://textbookfull.com/product/higher-education-institutions-
in-the-eu-between-competition-and-public-service-1st-edition-
andrea-gideon-auth/
Synthese Library 393
Studies in Epistemology, Logic, Methodology,
and Philosophy of Science
Andrea Iacona
Logical
Form
Between Logic and Natural Language
Synthese Library
Volume 393
Editor-in-Chief
Otávio Bueno, University of Miami, Department of Philosophy, USA
Editorial Board
Berit Brogaard, University of Miami, USA
Anjan Chakravartty, University of Notre Dame, USA
Steven French, University of Leeds, UK
Catarina Dutilh Novaes, University of Groningen, The Netherlands
The aim of Synthese Library is to provide a forum for the best current work in
the methodology and philosophy of science and in epistemology. A wide variety of
different approaches have traditionally been represented in the Library, and every
effort is made to maintain this variety, not for its own sake, but because we believe
that there are many fruitful and illuminating approaches to the philosophy of science
and related disciplines.
Special attention is paid to methodological studies which illustrate the interplay
of empirical and philosophical viewpoints and to contributions to the formal (logi-
cal, set-theoretical,mathematical, information-theoretical, decision-theoretical,
etc.) methodology of empirical sciences. Likewise, the applications of logical meth-
ods to epistemology as well as philosophically and methodologically relevant stud-
ies in logic are strongly encouraged. The emphasis on logic will be tempered by
interest in the psychological, historical, and sociological aspects of science.
Besides monographs Synthese Library publishes thematically unified antholo-
gies and edited volumes with a well-defined topical focus inside the aim and scope
of the book series. The contributions in the volumes are expected to be focused and
structurally organized in accordance with the central theme(s), and should be tied
together by an extensive editorial introduction or set of introductions if the volume
is divided into parts. An extensive bibliography and index are mandatory.
Logical Form
Between Logic and Natural Language
123
Andrea Iacona
Center for Logic, Language, and Cognition,
Department of Philosophy and Education
University of Turin
Turin, Italy
Synthese Library
ISBN 978-3-319-74153-6 ISBN 978-3-319-74154-3 (eBook)
https://doi.org/10.1007/978-3-319-74154-3
Logical form has always been a prime concern for philosophers belonging to the
analytic tradition. For at least one century, the study of logical form has been
widely adopted as a method of investigation, relying on its capacity to reveal the
structure of thoughts or the constitution of facts. This book focuses on the very
idea of logical form, which is directly relevant to any principled reflection on that
method. Its central thesis is that there is no such thing as a correct answer to the
question of what is logical form: two significantly different notions of logical form
are needed to fulfil two major theoretical roles that pertain respectively to logic and
to semantics. This thesis has a negative and a positive side. The negative side is that
a deeply rooted presumption about logical form turns out to be overly optimistic:
there is no unique notion of logical form that can play both roles. The positive side
is that the distinction between two notions of logical form, once properly spelled
out, sheds light on some fundamental issues concerning the relation between logic
and language.
The book may be divided into three parts. The first part (Chaps. 1, 2, and 3)
provides the historical background. The idea of logical form goes back to antiquity,
in that it stems from the recognition that a pattern of inference can be identified
by abstracting away from the specific content the sentences that instantiate it. The
most important developments of this idea took place in the twentieth century, as they
derive from some seminal works that mark the beginning of the analytic tradition.
Under the influence of those works, logical form became a separate object of inquiry
and started being regarded as crucial to philosophical investigation.
The second part (Chaps. 4, 5, and 6) is the core of the book. Its aim is to show
that, contrary to what is commonly taken for granted, no unique notion of logical
form can play the two theoretical roles that are usually associated with the use of
the term ‘logical form’. At least two notions of logical form must be distinguished:
according to one of them, logical form is a matter of syntactic structure; according
to the other, logical form is a matter of truth conditions. As will be suggested, in
the sense of ‘logical form’ that matters to logic, logical form is determined by truth
conditions.
v
vi Preface
The third part (Chaps. 7, 8, and 9) develops the point made in the second part
and shows some of its implications. First it outlines an account of validity that
accords with the view that logical form is determined by truth conditions. Then
it shows that the distinction between two notions of logical form suggested in the
second part provides an interesting perspective on some debated issues concerning
quantification. The case of quantified sentences is highly representative, because the
same distinction may be applied in similar way to other important issues.
Most of the ideas expressed in the book have been presented and discussed at
talks, seminars, and graduate classes at the Heinrich Heine University Düsseldorf,
the University of Aberdeen, the University of Barcelona, the University of Bochum,
the University of the Caribbean, the University of L’Aquila, the Hebrew University
of Jerusalem, the University of Milan, the National Autonomous University of
Mexico, the University of Padua, the University of Parma, the University of Rome
III, and the University of Turin. Some parts of the book actually emerged as answers
to questions posed by members of those audiences. In particular, I would like
to thank Axel Barceló Aspeitia, Andrea Bianchi, Victor Cantero Flores, Stefano
Caputo, José Díez, Christopher Gauker, Mario Gómez Torrente, Héctor Hernández
Ortíz, Dan López de Sa, Genoveva Martí, Manolo Martínez, Elisa Paganini, Roberto
Parra Dorantes, Victor Peralta Del Riego, Luis Rosa, Sven Rosenkranz, Gil Sagi,
Giuliano Torrengo, Achille Varzi, and Elia Zardini.
I am also especially grateful to Guido Bonino, Pasquale Frascolla, Diego
Marconi, Massimo Mugnai, Carlotta Pavese, Mark Sainsbury, Marco Santambro-
gio, Daniele Sgaravatti, Ori Simchen, Alessandro Torza, Alberto Voltolini, Tim
Williamson, and to various anonymous referees for their comments on parts of
previous versions of the manuscript. There was much to be learned from their
helpful and accurate remarks, and I really hope that I have learned enough.
The second and the third part of the book are drawn from published papers,
with the due adjustments, refinements, and terminological changes. More specif-
ically, Chaps. 4 and 5 are based on “Two Notions of Logical Form,” Journal of
Philosophy (2016), which originates from elaborations of “Logical Form and Truth-
Conditions,” Theoria (2013). Some parts of Chap. 7 are derived from “Validity and
Interpretation,” Australasian Journal of Philosophy (2010). Chapter 8 is drawn
from “Quantification and Logical Form,” published in the volume Quantifiers,
Quantifiers, and Quantifiers, Springer (2015). Finally, Chap. 9 is drawn from
“Vagueness and Quantification,” Journal of Philosophical Logic (2016). I thank the
editors for their permission to use the materials of these papers, which are listed in
the final bibliography, respectively, as Iacona (2010c, 2013, 2015, 2016a,b).
The last acknowledgment is the most important. My gratitude goes to Camila
and Leonardo, for all the time that I took away from them while I was absorbed in
writing this book. Words can hardly describe the strange sensation of emptiness that
I feel for not having been there even when I was there.
Andrea Iacona
Contents
vii
viii Contents
Afterword . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Chapter 1
The Early History of Logical Form
Abstract The term ‘logical form’ is generally used to denote a property of sen-
tences. The property denoted is called ‘logical’ because it is regarded as important
from the logical point of view, and it is called ‘form’ because it is taken to be
distinct from the specific semantic features that constitute their matter. As a first
approximation, we can say that one has a notion of logical form if one thinks
that there is such a property, independently of whether one deliberately employs
some expression that refers to that property. So it is reasonable to presume that
some understanding of logical form existed long before the term ‘logical form’ was
introduced in the philosophical lexicon. As this chapter will explain, the idea of
logical form is as old as logic itself. Its origin lies in the recognition of patterns of
inference that can be identified by schematizing some of the expressions that occur
in their instances.
1.1 Preamble
1
Aristotle, Topics 100a25, in Aristotle (1958).
1.2 Aristotle
2
Plato (1991), 436b–436d.
1.2 Aristotle 3
3
Aristotle (1958), 113b22.
4
Aristotle (1949), 41b36. This is not exactly the way Aristotle phrased a syllogism, but the
differences of formulation will be ignored here and in what follows.
4 1 The Early History of Logical Form
Here ‘A’ stands for the middle term. If we replace ‘A’ with ‘animal’, ‘B’ with
‘mortal’ and ‘C’ with ‘man’, we obtain [A]. Similarly, if we replace ‘A’ with
‘mammal’, ‘B’ with ‘animal’ and ‘C’ with ‘whale’ we obtain [B].
Aristotle provides a classification of syllogisms based on a distinction between
“figures”, which depend on the different relations in which the middle term stands
to the other two terms. [C] belongs to the first figure, which includes four schemas
where the middle term is subject to one term and predicate to the other. The second
figure includes four schemas where the middle term is predicate to both the other
terms. Finally, the third figure includes six schemas where the middle term is subject
to both the other terms. Thus Aristotle distinguished fourteen types of syllogisms,
within the three figures, which later came to be called “moods”.5
The use of letters proved very fruitful in the formulation of the theory. This
device, which appears for the first time in Prior Analytics, seems to be Aristotle’s
invention. Probably, the use of letters was suggested to Aristotle by a well
established practice in geometry, as is shown by the fact that letters are used to
name lines in Euclid’s Elements and in Aristotle’s own work.6
5
In reality, the moods traditionally classified are four. Aristotle’s theory did include a fourth figure,
even though, due to differences of formulation, he did not recognize it as a separate figure.
6
Euclid (2002), V, Aristotle (1934), 1132b.
1.3 The Stoics 5
The expressions ‘the first’ and ‘the second’ occurring in [E] stand for arbitrary
sentences. Thus, if we replace ‘the first’ with (11) and ‘the second’ with (12), we
obtain [D]. [E] is the valid propositional schema known as modus ponens.
Chrysippus recognized five argument schemas as basic. [E] is one of them. The
others are similar, in that they employ ordinal numbers for arbitrary sentences.
The five schemas have been handed down as “the indemonstrable moods”. This
terminology is explained at least in part by the project of constructing a deductive
system within which many demonstrable moods can be derived from a few primitive
patterns. Chrysippus did in fact elaborate a host of derivative moods from the five
basic schemas.7
Apart from the differences considered, the Aristotelian school and the Stoic
school agreed on the hypothesis that inference patterns may be expressed as
argument schemas. An argument schema is obtained from an argument by replacing
some of the expressions occurring in it with schematic expressions. Conversely,
an instance of the schema is an argument obtained by uniformly replacing the
schematic expressions with expressions of the appropriate syntactic category, where
‘uniformly’ means that each schematic expression is always replaced by the same
expression.
More generally, logic began with the study of paradigmatically valid arguments,
and developed from attempts to elucidate the structural properties of such argu-
ments. The thought that lies at the origin of logic may be summarized as follows.
Some arguments are clearly valid. If one observes these arguments, one will find that
they have distinctive structural features, and if one observes other arguments with
the same features, one will find that they are also valid. Since the structural features
in question can be identified as valid patterns of inference, the validity of many
arguments can be explained in terms of the validity of the patterns of inferences
they instantiate.
This original thought suggests a method of investigation: to get a theory of valid
arguments, one has to go through a systematic study of valid patterns of inference.
The most important contributions made by ancient logicians derive from the
employment of this method. More specifically, they derive from an understanding
of this method according to which valid patterns of inference are argument schemas
obtained from valid arguments by replacing expressions occurring in them with
schematic expressions.
The idea of logical form arises from the very same thought. Since arguments
are constituted by sentences, a structural description of an argument is ipso facto
a structural description of the sentences it contains. That is, if the structure of an
argument can be described as an argument schema, the structure of a sentence can
be described as a sentence schema. For example, on the assumption that the structure
of [A] is represented by [C], we get that the structure of (1) is represented by (7).
Similarly, on the assumption that the structure of [D] is represented by [E], we get
that the structure of (10) is represented by (13). The logical form of a sentence may
be understood as a structure so described.
7
A detailed exposition of the system is provided in Kneale (1962), pp. 158–176, and in Mates
(1973). A more recent work that focuses on issues related to logical form is Barnes (2009).
6 1 The Early History of Logical Form
8
According to Buridan (1976), 1.7.2, categorematic expressions provide the matter (materia) of
sentences, while syncategorematic expressions indicate their form (forma).
1.4 Logic in the Middle Ages 7
9
Abelard (1956), pp. 161 and 123.
10
Abelard (1956), pp. 136–138, 162.
11
Ockham (1974), p. 7.
8 1 The Early History of Logical Form
main categories that feature in spoken languages, such as nouns, verbs, adverbs,
connectives, prepositions and so on. Therefore, “mental sentences” are composed
by mental expressions in essentially the same way in which spoken sentences are
composed by spoken expressions. Nonetheless, the mental language is simpler than
a spoken language in at least two respects. First, its syntax is simpler, in that it is free
from grammatical accidents – such as Latin’s declensions – that characterize spoken
languages but are irrelevant for the expression of thought. Second, its semantics is
simpler, as it involves a more straightforward relation between words and things.
This is suggested by Ockham’s account of synonymy and ambiguity. Two spoken
terms are synonymous if they are subordinated to the same mental term. Conversely,
a single spoken term is ambiguous if it is subordinated to more than one mental
term.12
This obviously leaves open the question of whether the mental language itself
involves some form of redundancy, synonymy or ambiguity. It is not entirely clear
how Ockham would have answered that question, and a great deal of modern
secondary literature has been devoted to clarify his position. But independently
of that question, it is undeniable that Ockham regarded the mental language as
more suitable for logic than any spoken language. Therefore, his view reinforces the
attitude towards ordinary language that emerges from Abelard’s remarks. One way
to substantiate the thought that logical form is not immediately manifest in surface
grammar is to say that logical form is properly expressed in the mental language.
The logical form of a given sentence is the form of a corresponding mental sentence
that may differ to some extent from that sentence.13
The reflections considered in Sect. 1.4 remained ineffective for long time, and
did not give rise to further elaborations of the idea of logical form. In the Early
Modern Period, several logical works were produced, some of which provided
significant contributions to the development of logic. But none of them was
specifically concerned with logical form. The ancient idea of logical form, conveyed
by medieval logicians, remained unquestioned. In particular, a basic methodological
tenet that remained unquestioned is that logical form is represented by means of
expressions drawn from a natural language, such as Greek, Latin, or German. Of
course, it was widely believed that a natural language is not ready as it is to represent
logical form: some modifications were needed, such as the use of uncommon
grammatical constructions or the introduction of schematic expressions of some
kind. But the result of such modifications was still something very close to a natural
language.
12
Ockham (1974), pp. 44–47.
13
Spade and Panaccio (2011) provide more detailed accounts of Ockham’s position.
1.5 Leibniz’s Dream 9
A crucial turn occurred when an alternative line of thought started attracting the
attention of some logicians. According to that line of thought, the language we need
for the purposes of logic is neither a natural language nor a modified version of a
natural language, but an artificial language appropriately designed. Leibniz sketched
the project of such a language in De Arte Combinatoria (1666), and then elaborated
it in later works. His ultimate aim was to put reasoning on a firmer basis by reducing
it to a matter of calculation that many could grasp. The inspiration came from Lull’s
Ars Magna and Hobbes’ Computatio sive Logica. Lull claimed that a system of signs
could be defined in such a way that all complex ideas are expressed in terms of the
combination of a set of fundamental signs, and Hobbes suggested that reasoning
could be reduced to a species of calculation.14
Leibniz thought that we can identify a set of primitive concepts by means of
analysis, and list each possible combination of such concepts. Once this is done,
we can construct an artificial language in the following way. First we introduce an
alphabet of primitive signs – which presumably includes arithmetical symbols –
to designate primitive concepts. Then we define a set of complex signs in such a
way that, for any complex concept, there is one and only one complex sign. Thus
we get a correspondence between signs and concepts: for each concept, simple or
complex, there is one and only one sign. Leibniz called characteristica universalis
the language so constructed, as he used the word ‘character’ to designate its signs.
He trusted that such a language would represent the world in a perfect way. Although
the signs that stand for primitive concepts may be chosen arbitrarily, there must be
an analogy between their relations and the relations of the elements they signify,
so that the name of each complex thing is its definition and the key to all its
properties.15
Leibniz’s view seems to be that, since the characteristica universalis perfectly
mirrors the structure of the world, it is able to exhibit the logical form of sentences
better than any natural language. He thought that a philosophically constructed
grammar could make formal reasoning easy by providing the framework for
a calculus ratiocinator, a mechanical or quasi-mechanical method of drawing
conclusions. He prophesied that, when such a language will be defined, men of good
will desiring to settle a dispute on any subject will use their pens and calculate.16
The interest of Leibniz’s project lies in its underlying idea that a theory of
reasoning can be formulated as a deductive system based on an artificial language
that employs a symbolic apparatus drawn from mathematics. This idea indicated,
at least potentially, a coherent alternative to the traditional understanding of logical
form. If one could construct an artificial language that is suitable to exhibit the
14
Leibniz (1875–1890), Lull (1609), Hobbes (1656).
15
Leibniz (1875–1890), p. 184, Leibniz (1903), p. 30.
16
Leibniz (1875–1890), p. 200.
10 1 The Early History of Logical Form
17
This is not to say that Leibniz was the first or the only author of his time who postulated such
a close connection between logic and mathematics. As Mugnai (2010) explains, different authors,
before or independently of Leibniz, had made attempts to express logic in mathematical form or to
use logic to give some firm ground to mathematical proofs.
Chapter 2
The Ideal of Logical Perfection
Abstract The rise of modern logic had a deep impact on the philosophical
reflection on logical form. This chapter explains how logical form became a primary
topic of interest between the end of the nineteenth century and the beginning of the
twentieth century. In particular, we will focus on Frege, Russell, and Wittgenstein.
Their works contributed in different ways to shape a thought that moulded the
beginning the analytic tradition, the thought that the logical form of the sentences
of natural language can at least in principle be displayed by sentences of a logically
perfect language.
2.1 Frege
1
Frege (1879). Boole’s important contribution to the birth of modern logic, Boole (1847), will not
be considered here.
According to Frege, this is the kind of artificial language that we need for the
purposes of logic. The language of the ideography is appropriate to express valid
patterns of reasoning, for it represents only what is essential to valid reasoning,
namely, “conceptual content”. The conceptual content of a sentence is roughly what
matters for its truth or falsity, and thus for the validity of the arguments in which it
may occur.2
The key of Frege’s method of formalization is the hypothesis that sentences
have function-argument structure. This hypothesis, which questions the ancient
method based on the grammatical division between subject and predicate, may be
illustrated by means of an analogy. Consider the successor function, represented by
the following equation:
(1) S.x/ D x C 1
Here ‘S’ indicates the successor function, and ‘x’ stands for any integer that may
occur as its argument. ‘S.x/’ is to be read as ‘the value of S for the argument x’. That
is, for any integer x, ‘S.x/’ denotes the successor of x. For example, ‘S.1/’ denotes
the number 2. Its denotation is the result of the combination of the denotation of ‘S’
with the denotation of ‘1’. Frege suggests that something similar holds for sentences
of natural language. Consider the following:
(2) Aristotle is rich
For Frege, (2) is analogous to ‘S.1/’: the name ‘Aristotle’ denotes Aristotle, and
the predicate ‘rich’ denotes a function that applies to Aristotle. More precisely, on
the assumption that there are two truth values, call them 1 and 0, ‘rich’ denotes
a function Rich such that, for any x, Rich.x/ D 1 if x is rich, and Rich.x/ D 0
otherwise. So the structure of (2) is the following:
(3) Rich(Aristotle)
The truth value of (2), which Frege identifies with the denotation of (2), is the result
of the combination of the denotation of ‘Aristotle’ and the denotation of ‘rich’, for
it is the value that Rich takes for Aristotle as argument.3
To fully grasp the hypothesis that sentences have function-argument structure, it
must be taken into account that a function may have more than one argument. For
example, consider the addition function, represented by the following equation:
(4) A.x; y/ D x C y
Here ‘A’ indicates the addition function, while ‘x’ and ‘y’ stand for any two integers
that may occur as its arguments. For any ordered pair of integers hx; yi, ‘A.x; y/’
denotes the sum of x and y. Now consider the following sentence:
2
In later works, Frege talks of the “thought” expressed by a sentence as the primary bearer of its
truth or falsity, see Frege (1918).
3
The view that predicates denote functions from object to truth values is not explicitly stated in
Begriffsschrift, but becomes clear in Frege (1891).
2.1 Frege 13
(9) Everything.Material/
In other terms, what is said by using (8) is that the predicate ‘material’ has the
property of being true of every object. To express this, Frege employs variables as
follows:
(10) For every x, x is material
Therefore, (8) can be formalized by using the universal quantifier and the variable
‘x’. The same goes for the following sentence:
(11) All things are material
In accordance with the usual convention, (8) and (11) are assumed to be synony-
mous.
To grasp the potential of Frege’s analysis, at least two familiar cases must be
considered. The first is that in which universal quantification is explicitly restricted
by a predicate. Consider the following sentence:
(12) All philosophers are rich
What (12) says is that ‘richs’ has the property of being true of every philosopher,
that is of every object of which ‘philosopher’ is true. Accordingly, (12) can be
paraphrased as follows:
(13) For every x, if x is a philosopher, then x is rich
The same goes for the following sentence:
(14) Every philosopher is rich
Again, in accordance with the usual convention, (12) and (14) are assumed to be
synonymous.
The second case is that in which the quantification is existential. Consider the
following sentence:
(15) Something is material
What (15) says is that the predicate ‘material’ has the property of being true of
some object. This is to say that, for some x, x is material, which is equivalent to
what follows:
(16) It is not the case that, for every x, it is not the case that x is material
So (15) can be formalized by using the universal quantifier and negation. Similar
considerations hold for existentially quantified sentences such as
(17) Some philosopher is rich
This sentence can be phrased as follows:
(18) It is not the case that, for every x, if x is a philosopher, then it is not the case
that x is rich
2.1 Frege 15
The same goes for the sentence obtained from (17) by replacing ‘some’ with ‘at
least one’. In accordance with the usual convention, ‘some’ and ‘at least one’ are
assumed to be synonymous.
The notation invented by Frege can provide a clear formal representation of a
wide class of quantified sentences. This class includes the sentences traditionally
studied in Aristotelian logic, such as (12) or (17), and a variety of more complex
sentences whose logical properties had not been properly understood before. For
example, consider the following:
(19) Every philosopher has read some old book
On Frege’s account, (19) can be paraphrased as follows:
(20) For every x, if x is a philosopher, then for some y such that y is a book and y is
old, x has read y
This account makes clear that ‘has read some old book’ has quantificational
structure. The traditional method is unable to display such structure, as (19) turns
out to be a sentence of the form ‘Every A is B’. Consequently, it is unable to explain
why (19) entails the following sentence:
(21) Every philosopher has read some book
This entailment is easily explained if (21) is paraphrased as follows:
(22) For every x, if x is a philosopher, then for some y such that y is a book, x has
read y
More generally, any complex quantified sentence in which universal or existential
quantification occurs within some predicate can adequately be represented in the
language of the ideography. The innovative force of the ideography crucially
depends on this capacity.4
The details of Frege’s notation do not concern us here. The cumbersome
diagrams it requires made it so hard to write that nobody else ever adopted it.
What matters for our purposes is that Frege’s method of formalization entails that
logical form may substantially differ from surface grammar. For example, although
(12) and (2) are superficially similar, they have different logical forms. The logical
form of a sentence of natural language can adequately be represented only by a
sentence of an ideal formal language. In such a language, sentences exhibit function-
argument structures that differ from the grammatical structures of the sentences of
natural language. For Frege, the understanding of this difference is a philosophical
advancement of primary importance:
If it is one of the tasks of philosophy to break the domination of the word over the human
spirit by laying bare the misconceptions that through the use of language often almost
unavoidably arise concerning the relations between concepts and by freeing thought from
4
Pietroski (2009), pp. 10–23, explains how Frege’s notation can solve some problematic cases that
emerged in connection with previous attempts.
16 2 The Ideal of Logical Perfection
that with which only the means of expression of ordinary language, constituted as they are,
saddle it, then my ideography, further developed for these purposes, can become a useful
tool for the philosopher.5
2.2 Russell
The attitude towards natural language that emerges from Russell’s article On
Denoting (1905) is essentially the same as Frege’s Begriffsschrift. Russell agrees
with Frege on the assumption that logical form may substantially differ from surface
grammar, and adopts the same kind of logical apparatus to elucidate that difference.
The main point on which he diverges from Frege concerns the analysis of a specific
class of expressions, definite descriptions. A definite description is an expression
that purports to refer to a particular object by stating a condition that is taken to
hold uniquely of that object. For example, ‘the author of Waverley’ is a definite
description. Its denotation is Walter Scott, the person that uniquely satisfies the
condition of being author of Waverley.6
Frege seems to think that, from a logical point of view, definite descriptions
do not significantly differ from other expressions that purport to refer to particular
objects, such as names. The semantic role of all these expressions, which may be
called singular terms, is to denote objects to which predicates can apply. Consider
the following sentence:
(23) The author of Waverley is a man
On Frege’s account, ‘the author of Waverley’ is a singular term that denotes an
individual, Scott, and ‘man’ is a predicate that applies to that individual. Russell
questions this account: a definite description is not a genuine singular term, in that it
hides a more complex construction involving quantification. More precisely, Russell
thinks that (23) is correctly paraphrased as follows:
(24) For some x, x is author of Waverley, and for every y, if y is author of Waverley
then y D x, and x is a man
Since (24) contains no singular term that refers to Scott, ‘the author of Waverley’
is a singular term only superficially. In Russell’s words, definite descriptions do not
have meaning in isolation. They should not be regarded as “standing for genuine
constituents of the propositions in whose verbal expressions they occur”.7
Russell argues for his theory by drawing attention to the problems that seem
to arise if definite descriptions are treated as genuine singular terms. In particular,
he shows that at least four puzzles can be solved on the basis of the paraphrase
5
Frege (1879), p. 7.
6
Russell (1905).
7
Russell (1905), p. 482.
2.2 Russell 17
8
Russell (1905), pp. 482–484.
9
Russell (1905), pp. 485–490.
18 2 The Ideal of Logical Perfection
The third puzzle, known as Frege’s puzzle, is how can it be the case that an
identity statement is both true and informative. Consider the following sentence:
(29) Scott is the author of Waverley
As far as we know, (29) is true. Moreover, (29) seems informative, given that
someone might learn something new upon reading it. But if it is assumed that (29)
contains two genuine singular terms which refer to the same person, Scott, then the
most plausible explanation is that the two expressions have some kind of meaning
over and above its referent, as suggested by Frege. Otherwise it must be conceded
that what is said is simply that Scott is identical to himself, which is trivial. Russell
has a different explanation: (29) does not really express an identity because ‘the
author of Waverley’ is not really a singular term. His paraphrase goes as follows:
(30) For some x, x is author of Wawerley, and for every y, if y is author of Wawerley,
then y D x, and x is the same as Scott.
Clearly, we learn something when we get to know that (30) is true.10
The fourth puzzle, which is closely related to the third, concerns substitutivity.
On the assumption that a singular term is meaningful in virtue of its denoting
role, one may expect that any two singular terms that have the same reference are
semantically equivalent: we could take any sentence containing one of them and
substitute it with the other, without changing the truth value of the sentence. But
consider the following sentences:
(31) George IV wants to know whether Scott is the author of Waverley
(32) George IV wants to know whether Scott is Scott
It may be the case that (31) is true but (32) is false, which means that ‘Scott’ and ‘the
author of Waverley’ are not substitutable salva veritate. Russell’s solution, again,
rests on his claim that ‘the author of Waverley’ is not a genuine singular term.
According to him, the desire ascribed to George IV in (31) is to know whether
(30) is true. So it is a different desire from that ascribed to George IV in (32).11
The implications of Russell’s theory of descriptions go far beyond the four
puzzles considered. According to this theory, the logical properties of a sentence
that contains a definite description are not immediately visible, but they can be
elucidated if the sentence is paraphrased in the appropriate way. For example, (23)
is misleading, in that it may appear that ‘the author of Waverley’ is a genuine
singular term. The correct reading of ‘the author of Waverley’ becomes clear in
(24). So the underlying idea is that the logical properties of a sentence can be
revealed by an appropriate paraphrase of the sentence. This idea, which is the core
of Russell’s conception of analysis, opens a wide-ranging perspective. If the method
of paraphrase can fruitfully be applied to sentences containing definite descriptions,
10
Russell (1905), p. 492. Frege (1892) states the puzzle and draws a distinction between sense and
reference.
11
Russell (1905), pp. 485–489.
2.3 Wittgenstein 19
2.3 Wittgenstein
12
Russell used ‘proposition’ instead of ‘sentence’. But here it will be assumed that the two terms
are not synonymous.
13
Russell (1998) advances this line of thought.
14
Wittgenstein (1992). Like Russell, Wittgenstein uses ‘proposition’ instead of ‘sentence’.
20 2 The Ideal of Logical Perfection
combination of simple objects – because the names in the sentence denote simple
objects, and the way they are concatenated exhibits a way in which those objects
can be combined. In virtue of this representation, each elementary sentence asserts
the existence of an atomic fact, so it is true if and only if the fact exists, that is, if
and only if the objects denoted by its names are combined in the way exhibited.15
A central thesis of the Tractatus is that elementary sentences are “pictures” of
states of affairs. A picture is understood as a combination of elements, each of which
stands for some thing. The fact that the elements of the picture are combined in a
certain way represents that certain things are combined in that way. Wittgenstein
calls “structure” the way in which the elements of a picture are combined, and calls
“pictorial form” the possibility of the structure. Something possesses the pictorial
form required to depict a given situation if it is possible to arrange its elements in a
way that mirrors the relation between the constituents of that situation. The pictorial
form is the possibility of the arrangement, something that must be shared by picture
and situation. Therefore, an elementary sentence is a picture of a state of affairs
insofar as it shares with that state of affairs a pictorial form, which consists in the
possibility of a certain combination of simple objects exhibited by a concatenation
of names.16
The pictorial account of representation can be extended to all sentences. Wittgen-
stein claims that every non-elementary sentence has a unique analysis that reveals
it to be a truth function of elementary sentences. So it turns out that every sentence
is a truth function of elementary sentences: every complex sentence is a truth
function of the elementary sentences it contains, and every elementary sentence
is a truth function of itself. A truth function of elementary sentences, according to
Wittgenstein, is made true or false by a combination of states of affairs, namely, the
states of affairs pictured by the elementary sentences that feature as its arguments.
Therefore, every sentence represents reality in virtue of its being constituted by
sentences each of which is a picture of some state of affairs according to some form
of representation.17
In order to elucidate the kind of pictorial form involved in language, Wittgenstein
asks us to think about what all pictorial forms have in common, the possibility of
the structure in the most abstract sense. To characterize this sense, he uses the term
‘logical form’:
What every picture, of whatever form, must have in common with reality in order to be able
to represent it at all – rightly or falsely – is the logical form, that is, the form of reality.18
Wittgenstein’s idea is that in order for a picture to represent a situation, the picture
must have the same multiplicity as the situation, that is, the same number of
elements and the same combinatorial possibilities. Thus, whatever has pictorial form
15
Wittgenstein (1992), pp. 31–35, 89.
16
Wittgenstein (1992), pp. 39–41.
17
Wittgenstein (1992). p. 103 and ff.
18
Wittgenstein (1992), p. 41.
Exploring the Variety of Random
Documents with Different Content
the condition of affairs, directly consequent on Henry the Eighth’s
mere abrogation of the non-scriptural impediments to marriage.
Condemning strongly the excessive liberty of separation, which the
ecclesiastical tribunals had for generations afforded to society, they
were no less unanimous in condemning the doctrine of the absolute
indissolubility of wedlock. If it was wrong on the one hand to allow
husbands and wives the liberty of separating on frivolous pretexts,
and to provide the fortress of marriage with numerous gates of
egress, whose double locks obeyed the pass-keys of perjury and
corruption; it was on the other hand no less hurtful to society and
impious to God, to constrain a pair of human creatures, in the name
of religion, to persevere in an association, that could not accomplish
the highest purposes of matrimony, and debarred the ill-assorted
couple from the serene and wholesome pleasures of Christian life.
These were the views of the Anglican leaders; views that found
precise and memorable expression in the famous code of ordinances
(the Reformatio Legum Ecclesiasticarum) prepared for the
reformation of our ecclesiastical laws by Edward the Sixth’s thirty-
two commissioners for that purpose, who, doing away with the
minor divorce (a mensâ et thoro), decided that the divorce a vinculo
matrimonii should be the only kind of matrimonial severance known
to English law, and that it should be granted, (1) in cases of extreme
conjugal faithlessness; (2) in cases where a husband, not guilty of
deserting his wife, had been for several years absent from her, under
circumstances which justified her in concluding that he was dead;
(3) and in cases of such violent hatred as rendered it in the highest
degree improbable, that the husband and wife would survive their
animosities and again love one another; it being expressly directed
that this last provision should not be construed as affecting spouses
whose quarrels, though frequent and distressing, were neither
incessant nor in the highest degree vehement. Had Edward the Sixth
lived only a little longer these ordinances would have become the
law of the land;—law which, though suppressed on the accession of
Mary Tudor, would have been revived on the rise of Elizabeth, and
handed down to the present time.
Of course, the Anglican reformers conceived themselves to be
justified in disregarding the limitation, which our version of the
Scriptures assigns to liberty of divorce. Whilst some of them were of
opinion that this limitation was applicable only to the Jews, others
held that, if a wrong rendering of a particular word were replaced by
its true English equivalent, Scripture would be found to sanction the
dissolution of marriages, whose infelicity was due to nothing more
than some serious mental or moral disability. Of course, also, the
Commissioners’ recommendations were a compromise between the
requirements of bold reformers who wished for a much larger, and of
timid reformers, who would have preferred a smaller, measure of
freedom of divorce. Had Martin Bucer been on the Commission, as
he certainly would have been but for his recent death, it cannot be
questioned that the Commissioners would have ordained a far
greater liberty of dissolving unhappy marriages. It was Bucer’s
opinion (vide his Judgment touching Divorce, addressed to Edward
the Sixth) that every marriage should be dissolved in which the
husband and wife did not ‘love one another to the height of
dearness,’ or the husband could not rightly govern and cherish the
wife, or the wife was flagrantly disobedient and unprofitable to her
lord, or either party ‘defrauded the other of conjugal benevolence,’—
views which commended themselves so cordially to John Milton, that
he produced a new edition of Bucer’s tract, in the middle of the
seventeenth century.
Whilst showing how cordially he concurred in Martin Bucer’s
conclusions, John Milton’s four works on divorce—the Doctrine and
Discipline of Divorce, the Tetrachordon, the Colasterion, and the new
edition of Bucer’s Judgment touching Divorce—show also how far he
went beyond the sixteenth-century divine, in declaring every man’s
right to secede from an uncongenial partner, and to associate
himself with an acceptable helpmate. No libertine, for the
gratification of vile desire, ever demanded greater license of re-
marriage than Milton, in the name of religion, demanded for
Christian men, for their spiritual advantage.
The old canon law, which insisted on the indissolubility of true
marriages, and, even in cases of adultery, afforded no larger divorce
than the separation from board and bed, having been revived at the
close of Elizabeth’s reign, our ancestors lived for several generations
under a matrimonial law of unprecedented rigour and narrowness,
that in its results demonstrated the sagacity and prudence of Edward
the Sixth’s Commissioners. Had the Commissioners’ proposals
become law, England would have escaped much of the profligacy
that, after rendering her seventeenth century proverbial for domestic
libertinism, was less remarkable in the eighteenth century, only
because the usage of successive ages had rendered society
comparatively indifferent to it. Whilst no student of our social history
can question that throughout those centuries the English home
suffered severely from the excessive stringency of the matrimonial
law, every student of literature is cognizant of the stream of written
protests against the harshness and unyielding rigour of that law,
from Elizabeth to Victoria. That Milton shocked the lighter people of
his time by his assaults on the limitations of liberty of divorce is not
to be conceived. That he did not by his writings against those
restrictions offend the more precise and God-fearing of his
contemporaries, appears from the regard in which they held him as
a religious poet, after his descent to darkness and evil days. So far
as concerns freedom of divorce, the Free Contract party of William
Godwin’s epoch required nothing that Milton would not have
granted, and urged little that Bucer would have hesitated to
approve.
In 1813 (the year in which the anti-matrimonial note of Queen Mab
was written), Shelley regarded marriage with the eyes and by the
lights of eighteenth-century writers, who decried the institution as
the source of human misery and depravation. The evils, that caused
these writers to distinguish themselves in the long war against
wedlock, were no imaginary grievances. On the contrary, they were
evils which the Anglican reformers foresaw would result from a too
stringent marriage-law, and for which they wished to provide by
their proposals for divorce. They were evils crying aloud for remedy
throughout the country. Almost every parish of the land had a
miserably mated couple, whose union should have been terminated
by the law. For the mischief there was no remedy but the old
cumbrous and costly proceedings for obtaining the greater divorce,—
i.e. the suit in the first instance in the Ecclesiastical Court for the
minor divorce from board and bed, and the subsequent suit for the
parliamentary severance of the bond of marriage:—a process that,
making divorce the luxury of the rich, denied it altogether to the
poor. In the first thirty-seven years of the present century, only
seventy suitors (less than two a-year) obtained special parliamentary
enactments for their liberation from wretched wedlock. In the last
thirty-seven years of the previous century, such divorces were much
less frequent. The rich alone could afford to pay for the
parliamentary relief. For the poor, and for the people raised only a
few degrees above poverty, there was no divorce. Under these
circumstances, whilst almost every rural village had a Stephen
Blackpool, there necessarily arose vehement discontent not only with
the defective marriage-law, but with marriage itself. Nothing was
said against the obstacles to entering marriage; but everywhere an
outcry was heard against the impossibility of getting out of marriage.
Amongst the populace, social sentiment permitted a man in many
cases to be the physician of his own trouble, and after deserting his
lawful wife, to live with a woman who was not his wife. The general
grievance being the difficulty of escape from uncongenial wedlock,
the Radical writers dealt with this grievance, and usually forbore to
criticise the impediments to marriage, of which no large number of
people complained.
Taking his views from these writers, it was natural for the youthful
Shelley to think and write chiefly of the evils arising from the law,
which forbade a man to leave his wife and straightway attach
himself to another woman. In constructing the note to Queen Mab,
it was enough for him to put together, with no common smartness
and one or two original touches, the remarks of previous writers on
the troubles resulting from the permanence of matrimonial
obligations. Contemning marriage from his boyhood, after the
fashion of his teachers, he was eloquent about the difficulty of
escaping from it. Apart from a statement of the grand principle that
‘love was free,’ and that every person should be at liberty to marry
whomsoever he pleased, he does not seem to have troubled himself
about the divers impediments to the first entrance into the
unendurable bondage, before he went to Geneva. It was otherwise
on his return from the residence in Switzerland with Byron.
The startling discovery, that they were believed to be living in
incestuous intimacy with the same two women, caused each of the
poets to ponder the nature of the crime with which rumour charged
them. Stirring and fascinating Byron’s imagination, the scandal bore
fruit in Manfred and Cain. Stimulating and holding Shelley’s fancy, it
resulted in Laon and Cythna. It is interesting to observe how
differently the two poets dealt with the same repulsive subject. For
the timid sceptic and half-hearted innovator, who to the last was (as
Shelley put the case to his wife at Pisa) ‘little better than a Christian,’
it was enough to point to the crime in Manfred, as one of the
hideous possibilities of vicious desire,—as a monstrous and appalling
extravagance of wickedness, too hideous to be spoken of precisely;
as an offence so loathsome and revolting, that poetry could refer to
it only by vague hints and obscure suggestions. In Cain he could
refer with cynical mockery to times when, if Genesis were true,
brothers necessarily mated with their sisters, for the accomplishment
of the Creator’s purpose;—mockery, that was not so much a
palliation of the iniquity, as an assault on the credibility of the Book
which seemed to sanction the wickedness.
Shelley handled the subject in a very different way. It was natural for
the thorough and unwavering disbeliever, who had formerly denied
and still questioned the existence of the Deity, and no less natural
for the fervid political theorist, who regarded all human governments
and their subordinate institutions as the mere contrivances of
tyranny for the subjugation and debasement of the peoples, to come
to the conclusion that the impediments to matrimony had no other
foundation, and were in no degree more entitled to the respect of
reasonable men, than the impediments to escape from wedlock.
Absolutely ignorant of the social conditions from which the
hindrances to marriage had arisen, and no less ignorant of the
physical and social reasons for regarding most of them as conducive
to domestic purity, and some of them as needful for preserving the
human species from mental and bodily disease and deterioration,
Shelley was only carrying certain of his principles to certain of their
extreme logical conclusions, when he closed his consideration of the
impediments to marriage, by regarding them as so many capricious
and pernicious interferences with natural forces, which, if they were
left to take their own course, without let or hindrance from
presumptuous, and arrogant, and meddlesome mortals, would in
due course bring the whole human race under the dominion of
universal love;—a dominion under which all mankind for countless
ages would have enjoyed unqualified felicity, had it not been for the
disastrous activity of tyrants and priests.
It was not in Shelley to distinguish between the various
impediments, and discover grounds for deciding that some of them
should be retained, whilst others might be abolished. To Shelley, a
man’s right to marry his deceased wife’s sister was not more obvious
than a man’s right to marry his own sister. Regarded by the new
light, arising from the larger consideration of the matrimonial law, to
which he had been incited by the Genevese scandal, the artificial
hindrances to egress from matrimony were not more demoralizing
than the artificial hindrances to ingress into matrimony. For human
happiness marriage must be relieved of the impediments on its one
side, no less than of the hindrances on its other side. Love must be
restored to Freedom:—to freedom so perfect that a young man
would be free to marry his own sister, without the intervention of
priest or the control of lawyer; and after wearying of her be free to
marry her younger sister under circumstances in no way affecting his
freedom in the future. This discovery was the completion of Shelley’s
social philosophy in respect to the intercourse of the sexes;—the
philosophy that is, in the opinion of some of his admirers, a part of
his title to be regarded as a man, who, under auspicious
circumstances, ‘might have been the Saviour of the World!’
Having made this important discovery after his return from Geneva,
Shelley determined to communicate it to the world in a poem, which
should teach its readers that incest was nothing but an imaginary
sin; that ceasing to have the show of sin, on being rightly regarded,
it was seen to be compatible with the highest virtue; that it was one
of the great ‘multitude of artificial vices,’ to whose existence the
fewness of ‘real virtues’ was referable; that instead of being
loathsome, nauseous, hideous, unutterably repulsive and sinful, the
conjugal union of a brother and sister under the Free Contract was
permissible in the eyes of philosophic moralists, and compatible with
moral purity and the finest delicacy in the brother and sister; that
besides being altogether permissible, and in no degree
reprehensible, this conjugal union was a virtuous relation, in which
brothers and sisters would often stand towards one another in a
rightly-constituted society. To put this social doctrine before the
world, in the form most likely to commend it to the feelings of
youthful readers, and induce them to further every movement for a
state of things, in which brothers and sisters could so live together
without offending their neighbours, Shelley wrote Laon and Cythna:
or, The Revolution of the Golden City: a Vision of the Nineteenth
Century. In the Stanza of Spenser.
Brother and sister of the same parents, Laon and Cythna, the hero
and heroine of the poem, are beings endowed with all the virtues
conceivable in perfect human nature, and are still enjoying the
scenes of their childhood in Argolis, when they pass from the state
of mutual affection, that is desirable in a brother of some sixteen or
eighteen summers and a sister (ætat. 12), to a state of mutual love
that is desirable only between young people who can in the ordinary
course of things marry one another. What follows from this state of
things is indicated with consummate delicacy by the poet, too wary
and artful to shock his readers in the second canto by clear
disclosures, that might determine them to refrain from perusing any
later canto of a long poem. Laon and Cythna are suddenly torn
asunder by the agents of the tyrant, who figures in the poem as a
type of European monarchs in the nineteenth century, and soon
after their severance Cythna gives birth to the lovely child who owes
her life to Laon. In a later passage of the narrative, after he has
been released from the cage on the column’s top, and she, after
divers painful experiences, has been proclaimed the prophetess and
supreme directress of the revolutionists of the Golden City, Laon and
Cythna come together under circumstances, which prevent them
from recognizing one another in the first hour of their reunion. Laon
is still uncertain whether she is really his sister, or only bears a
strong resemblance to her, when he hears Cythna harangue the
Golden City revolutionists in these words:—
‘My brethren, we are free! the plains and mountains,
The grey sea shore, the forests and the fountains,
Are haunts of happiest dwellers;—man and woman,
Their common bondage burst, may freely borrow
From lawless love a solace for their sorrow;
For oft we still must weep, since we are human.
A stormy night’s serenest morrow,
Whose showers are pity’s gentle tears,
Whose clouds are smiles of those that die
Like infants without hopes or fears,
And whose beams are joys that lie
In blended hearts, now holds dominion;
The dawn of mind, which upwards on a pinion
Borne, swift as sun-rise, far illumines space,
And clasps this barren world in its own bright embrace!’
Fearful that the words ‘lawless love’ may frighten simple readers, Mr.
Buxton Forman (who thinks Shelley ‘might have been the Saviour of
the World’), in his most useful edition of Shelley’s works, appends to
the alarming words this note:—‘The words lawless love seem to be
used, not in a conventional sense, but merely to signify unshackled
love.’ True, but ‘unshackled’ from what? Cythna meant that tyrant
custom, or tyrant anybody else, having been overthrown and
rendered powerless for the moment, her brethren and sisters were
free to marry, and changing about to remarry, in perfect liberty of
affection—in love liberated from the shackles of human law—in
matrimony, no less easily entered than easily quitted—in marriage,
alike free from legal impediments to ingress, and from legal
impediments to egress—love, in fact, so perfectly free from the
supervision and control of human law, that it might be rightly styled
‘lawless love.’
Later in the poem’s story, when Cythna has rescued Laon from the
tyrant’s soldiers, and carried him off, on the ‘black Tartarian horse of
giant frame,’ to a picturesque ruin, the brother and sister, after
recognizing one another as whilom playmates in Argolis, pass
through emotions, that are set forth in the following stanzas:—
‘The autumnal winds, as if spell-bound, had made
A natural couch of leaves in that recess,
Which seasons none disturb, but in the shade
Of flowering parasites, did Spring love to dress
With their sweet blooms the wintry loneliness
Of those dead leaves, shedding their stars, whene’er
The wandering wind her nurslings might caress;
Whose intertwining fingers ever there,
Made music wild and soft that filled the listening air.
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
textbookfull.com