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. (shrink)

This paper raises some questions about the formalization of sentences containing ‘if’ or similar expressions. In particular, it focuses on three kinds of sentences that resemble conditionals in some respects but exhibit distinctive logical features that deserve separate consideration: whether-or-not sentences, biscuit conditionals, and concessive conditionals. As will be suggested, the examples discussed show in different ways that an adequate formalization of a sentence must take into account the content expressed by the sentence. This upshot is arguably what one (...) should expect on the view that logical form is determined by truth conditions. (shrink)

This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. The main motivation for the view is a fact that seems crucial to logic. As _§_1 suggests, fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented.§2 spells out the view. _§_3 dwells on its anity with a conception of logical form (...) that has been defended in the past. _§§_4-6 draw attention to its impact on three major issues that concern, respectively, the extension of the domain of formal explanation, the semantics of tensed discourse, and the analysis of quantication. (shrink)

This chapter reviews some of the history of discussions of logical form and offers a truth-theoretic account that traces back to Donald Davidson.

Logical Forms explains both the detailed problems involved in finding logical forms and also the theoretical underpinnings of philosophical logic. In this revised edition, exercises are integrated throughout the book. The result is a genuinely interactive introduction which engages the reader in developing the argument. Each chapter concludes with updated notes to guide further reading.

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints (...) on a metaphysics of truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (shrink)

It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary (...) relations. The paper concludes with a discussion of the relationship between formal logic, formal ontology, and mathematics. (shrink)

Chapter. 1. Logical. Form. as. a. Level. of. Linguistic. Representation. What is the relation of a sentence's syntactic form to its logical form? This issue has been of central concern in modern inquiry into the semantic properties of natural ...

Theories of adverbial modification can be roughly distinguished into two sorts. One kind of theory takes logical form to follow surface grammatical form. Adverbs are treated as unanalyzable logical operators that turn a predicate or sentence into a different predicate or sentence respectively. And new rules of logic are stated for these operators. -/- A different kind of theory does not suppose that logical form must parallel surface grammatical form. It allows that (...) class='Hi'>logical form may have more to do with deeper structures that might be studied in transformational grammar. Adverbs are treated as surface forms of the underlying predicates represented by corresponding adjectives and verbs. 'Slowly' is derived from 'slow'; 'intentionally' from 'intentional' or 'intend'; etc. And new rules of logic are avoided where they can be. -/- In this paper I attempt to state some of the advantages of the second sort of theory. My procedure will be this. First, I will try to say in outline what theories of logical form are. Then I will state five principles for evaluating such theories. Next, I will sketch the sorts of analyses acceptance of principles (1)-(5) leads to. In particular I will talk about adverbial phrases (e.g. locatives) that are best analyzed in terms of implicit references to events, relative modifiers (like 'large') which relate something to a comparison class, and 'that' clauses taken as names of propositions. By appealing to principles (1)-(5) I will defend these analyses against certain others, one that appeals to many logical operators, a second that treats all sentences as names of propositions, and a third that sees implicit reference to possible worlds in the language being analyzed. Finally, I will offer a pragmatic defense of my approach in terms of principles (1)-(5) as against a different approach that appeals to possible world semantics. (shrink)

Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 > 5” would appear to be the same as “4 > 6”. Yet one is a mathematical truth, and the other not a truth at all. To preserve logicism, we must maintain that the two either are different subforms of the same generic form, or that their (...) forms are not at all what they appear. The historical record shows that Russell pursued both these options, but that the struggle with the logical paradoxes pushed him away from the first kind of response and toward the second. An object cannot itself have a kind of inner logical complexity that makes a proposition have a different logical form merely in virtue of being about it, nor can their representatives in logical forms be single things different for different forms, at least not without postulating too many such objects and thereby creating Cantorian diagonal paradoxes. There are only apparent objects which are actually fragments of logical forms, different in different cases. (shrink)

This paper claims that there is no such thing as the 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 semantics. The first part of the paper outlines the thesis that a unique notion of logical form fulfils both roles, and argues that the alleged best candidate for making it true is unsuited (...) for one of the two roles. The second part spells out a considerably different notion which is free from that problem, although it does not fit the other role. As it will be suggested, each of the two notions suits at most one role, so the uniqueness thesis is ungrounded. (shrink)

Physicalistic theories of psychology are a classic case of scientific imperialism: the explanatory capacity of physics, both with respect to its methods and to its domain, is taken to extend beyond the traditional realm of physics, and into that of psychology. I argue in this paper that this particular imperialistic venture has failed. Contemporary psychology uses methods not modelled on those of physics, embracing first-personal methodology where physics is strictly impersonal. I make the case that whether or not scientific imperialism (...) is in general harmful, in this instance naturalists who reject first philosophy should give up physicalist imperialism. Using only general principles from the philosophy of logic plus accepted physicalist criteria of identity, I show that first-personal psychology embodies a minor but fruitful increase in expressive strength compared to impersonal psychology: the ability to distinguish descriptively indiscriminable posits. (shrink)

Formalizations in first-order logic are standardly used to represent logical forms of sentences and to show the validity of ordinary-language arguments. Since every sentence admits of a variety of formalizations, a challenge arises: why should one valid formalization suffice to show validity even if there are other, invalid, formalizations? This paper suggests an explanation with reference to criteria of adequacy which ensure that formalizations are related in a hierarchy of more or less specific formalizations. This proposal is then compared (...) with stronger criteria and assumptions, especially the idea that sentences essentially have just one logical form. (shrink)

The central thesis of the article is that there are two quite distinct concepts of logical form. Theories of logical form employing one of these concepts are different both in method of justification and in philosophical and psychological implications from theories employing the other concept.

This paper explores the relation between the philosophical idea that logic is a science studying logical forms, and a mathematical feature of logical systems called the principle of uniform substitution, which is often regarded as a technical counterpart of the philosophical idea. We argue that at least in one interesting sense the principle of uniform substitution does not capture adequately the requirement that logic is a matter of form and that logical truths are formal truths. We (...) show that some specific logical expressions can produce propositions of different kinds and the resulting diversity of informational types can lead to a justified failure of uniform substitution without undermining the view that logic is a purely formal discipline. (shrink)

The paper presents a demarcation of a “minimalistic” concept of logical form, which nevertheless largely agrees with the way the term “logical form” is commonly used in contemporary logic and philosophy of logic. We see logical forms as formulas of formal languages assigned to (compounds of) sentences of a natural language (perhaps modulo notational variance). We thus reject the views of logical forms as underlying structures of thoughts or of the material reality that surrounds (...) us. The assignment of the forms, we claim, aims at envisaging the logical (especially inferential) properties of the analyzed sentences, arguments, or other texts, as the analyzing formulas wear them, as it were, on their sleeves. Hence we suggest an “expressivist” and a pragmatic understanding of logical forms - they are used to expose (and fix) logical properties of sentences in textual contexts and the way of their employment is determined by the goals of the particular studies. (shrink)

In my book Logical Form I outline some reasons for thinking that, in the sense of «logical form» that matters to logic, logical form is determined by truth conditions. This paper compares three theories of propositions that might be employed to substantiate the underlying notion of truth conditions: the naturalized propositions theory, the truthmaker theory, and the classificatory theory. Its aim is to show that, while the naturalized propositions theory and the truthmaker theory accord (...) equally well with the idea that logical form is determined by truth conditions, the classificatory theory is more problematic in some respects. (shrink)

Introduction 1.1 GOALS This book is devoted to an in-depth investigation of some of the properties of Logical Form (LF). In particular, the primary aim of ...

Logical Forms explains both the detailed problems involved in finding logical forms and also the theoretical underpinnings of philosophical logic. In this revised edition, exercises are integrated throughout the book. The result is a genuinely interactive introduction which engages the reader in developing the argument. Each chapter concludes with updated notes to guide further reading.

Donald Davidson contributed to the discussion of logical form in two ways: by making specific suggestions on how to give the logical forms of certain natural language constructions, and by providing a general account of what logical form is. This chapter's foremost aim is to give a detailed picture of this general account. I introduce a notion of logical form as the form that matters in certain kinds of entailments, indicate why philosophers (...) have taken an interest in such a notion, and develop constraints that we should arguably abide by in giving an account of logical form. I then turn to Davidson's view of what is involved in giving such an account. To this aim, I reconstruct Davidson's view of the connection between an assignment of logical forms, a truth theory and a meaning theory. The chapter closes with a brief discussion of possible problems. (shrink)

A Logical Form (LF) is a syntactic structure that is interpreted by the semantic component. For a particular structure to be a possible LF it has to be possible for syntax to generate it and for semantics to interpret it. The study of LF must therefore take into account both assumptions about syntax and about semantics, and since there is much disagreement in both areas, disagreements on LF have been plentiful. This makes the task of writing a survey (...) article in the field fairly difficult, a difficulty that is amplified by the amount of material that needs to be covered if the result is going to be in any way representative. My response to this difficulty is to limit my objectives. As a start, I will confine myself to issues relating to the syntactic positions of Quantificational Noun Phrases (QNPs) at LF and to various interpretive consequences. But even within these relatively narrow confines, I will not attempt anything close to a comprehensive survey. Instead my goal will be restricted to the presentation of one leading idea and to the discussion of some evidence that might bear on it.1 Much research on the nature of LF has consisted in attempts to account for the meaning of sentences containing QNPs. (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, (...) requires that thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

Seventeen specially written essays by eminent philosophers and linguists appear for the first time in this anthology, all with the central theme of logical form -- a fundamental issue in analytic philosophy and linguistic theory. Logical Form and Language brings together exciting new contributions from diverse points of view, which illuminate the lively current debate about this topic.

Donald Davidson contributed to the discussion of logical form in two ways. On the one hand, he made several influential suggestions on how to give the logical forms of certain constructions of natural language. His account of adverbial modification and so called action-sentences is nowadays, in some form or other, widely employed in linguistics (Harman (forthcoming) calls it "the standard view"). Davidson's approaches to indirect discourse and quotation, while not as influential, also still attract attention today. (...) On the other hand, Davidson provided a general account of what logical form is. This paper is concerned with this general account. Its foremost aim is to give a faithful and detailed picture of what, according to Davidson, it means to give the logical form of a sentence. The structure of the paper is as follows. (1) I will first informally introduce a notion of logical form as the form that matters in certain kinds of entailments, and indicate why philosophers have taken an interest in such a notion. (2) The second section develops constraints that we should arguably abide by in giving an account of logical form. (3) I then turn to Davidson’s view of what is involved in giving such an account. To this end, I will try to reconstruct Davidson’s view of the connection between an assignment of logical forms, a truth theory and a meaning theory. (4) Finally, I will briefly discuss possible problems of Davidson’s account as developed in this paper. (shrink)

One of the main criteria for an adequate semantic theory is that it solve the problem of substitution into intensional contexts, otherwise known as Frege's Puzzle. Given common-sense assumptions about how natural language functions, a contradiction arises in explaining attitude reports. For example, Lisa might believe that Twain is tall, but not believe that Clemens is tall. Lisa is perhaps unaware that the names "Twain" and "Clemens" corefer. But Twain's being tall is just Clemens' being tall, so one and the (...) same state of affairs is either believed or not. The tasks are to specify what Lisa believes and to accurately and consistently describe the situation given certain foundational semantic principles. ;I argue that of three main semantic frameworks: Davidsonian Semantics, Model-Theoretic Semantics and Propositional Semantics , PS has the best chance to provide a complete, consistent and natural solution. On my view, dynamic propositions are complex states of affairs where things stand in the propositional relation of having expressions of a certain type which pick them out as semantic values and where those expressions stand in appropriate syntactic relations. The propositional relation crucially involves restricted quantification over expression types which are logical features of the language. The sentences "Twain is tall" and "Clemens is tall" express different DP's because even though their constituents are identical, they stand in distinct propositional relations in virtue of the different syntactic expressions. This explains how Lisa could believe one and not the other. These fine-grained propositions successfully serve as both the truth-conditions of sentences and the objects of propositional attitudes. The solution leads to the surprising result that the question of whether singular terms are Fregean or directly referential is actually irrelevant to Frege's Puzzle. ;While DP's are naturalistic and theoretically well-motivated, they face apparent difficulty accounting for translation and being the objects of mental content. The logical form of DP's limits their possible interpretation and thus sheds light on the conceptual framework of its user. I argue that DP's are not beliefs, but cognitive models that serve as interpretations of beliefs in communication. (shrink)

The notion of logical form and its applications are at the heart of some of the classical problems in philosophical logic and are the focus of Peter Long’s investigations in the three essays that comprise this volume. In the first, major, essay the concern is with the notion of logical form as it applies to arguments involving hypotethical statements, for example ‘If today is Wednesday then tomorrow is Thursday; today is Wednesday: therefore tomorrow is Thursday.’ Whilst (...) such an argument is cited by logical textbooks as a paradigm of one that is ‘formally valid’, it is not hard to show that the conjunction forming a hypothetical statement is not a logical constant, in which case the argument form If p then q; p: therefore q is not a logical form. But, then, how can logic claim to be the science of formal inference? The author resolves this difficulty by drawing a fundamental distinction within the notion of the form under which an argument is valid. With this distinction it becomes possible for the first time to determine the status of any formally valid argument involving hypotheticals, whether as premises or conclusion or both. The second and third essays take up the notion of logical form as it applies to such simple propositions as ‘This sheet is white’ and ‘London is north of Paris.’ When we speak of the first as giving expression to the relation of relations’s relating to its terms, what is in question is a formal relation and we call it such because the relation is expressed through these propositions having the respective forms Fa and Fab. It is shown that the confusion of formal relations with relations proper explains the assimilation of facts to complexes and is that the root of the theory of universals. _Peter Long_ has taught at the University of Leeds and University College London, and is a past Fellow of Trinity College, Cambridge. (shrink)

First order logic does not distinguish between different forms of universal generalization; in this paper I argue that lawlike and accidental generalizations (broadly construed) have a different logical form, and that this distinction is syntactically marked in English. I then consider the relevance of this broader conception of lawlikeness to the philosophy of science.

The standard view of logical form is that logical forms are synthetic structures which are the forms of sentences and of other linguistic entities. This is often associated with a more general linguistic view of logic which is articulated in different ways by various authors. This paper contains a critical discussion of such linguistic approaches to logical form, with special emphasis on Quine’s formulation of a logical grammar in Philosophy of Logic. An account of (...) logical forms as higher-order properties, which essentially builds on Frege’s analysis of quantification as higher-order predication, is suggested at the end. (shrink)

Logical Form, Probability Interpretations, and the Inductive/Deductive Distinction.

This article discusses the logical form of action sentences with particular attention to the role of adverbial modification, reviewing and extending the event analysis of action sentences.

I discuss Greg Restall’s attempt to generate an account of logical consequence from the incoherence of certain packages of assertions and denials. I take up his justification of the cut rule and argue that, in order to avoid counterexamples to cut, he needs, at least, to introduce a notion of logical form. I then suggest a few problems that will arise for his account if a notion of logical form is assumed. I close by sketching (...) what I take to be the most natural minimal way of distinguishing content and form and suggest further problems arising for this route. (shrink)

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. (shrink)

It is typically assumed that actions are events, but there is a growing consensus that negative actions, like omissions and refrainments, are not events, but absences thereof. If so, then we must either deny the obvious, that we can exercise our agency by omitting and refrainment, or give up on event-based theories of agency. I trace the consensus to the assumption that negative action sentences are negative-existentials, and argue that this is false. The best analysis of negative action sentences treats (...) them as quantifying over omissions and refrainments, conceived of as events. (shrink)

Two arguments favoring propositionalist accounts of attitude sentences are being revisited: the Church-Langford translation argument and Thomason's argument against quotational theories of indirect discourse. None of them proves to be decisive, thus leaving the option of searching for a developed quotational alternative. Such an alternative is found in an interpreted logical form theory of attitude ascription. The theory differentiates elegantly among different attitudes but it fails to account for logical dependencies among them. It is argued, however, that (...) the concept of logical consequence does not well apply to dependencies among belief sentences and that the requirement to account for logical relations among such sentences should be relaxed. (shrink)

An attractive semantic theory presented by Richard K. Larson and Peter Ludlow takes a report of propositional attitudes, e.g 'Tom believes Judy Garland sang', to report a believing relation between Tom and an interpreted logical form constructed from 'Judy Garland sang'. We briefly outline the semantic theory and indicate its attractions. However, the definition of interpreted logical forms given by Larson and Ludlow is shown to be faulty, and an alternative definition is offered which matches their intentions. (...) This definition is then shown to imply that Tom does not know his own mind, a result without intuitive support. A third definition is offered to deal with this problem. (shrink)

This work contains Peter Long's important essay, _Logic, Form and Grammar_, which resolves many difficulties for the logical form of an argument where the reasoning is hypothetical. Also included are two essays on classical problems in philosophical logic, relating to logical form and formal relations. All of the essays provide clear thinking and philosophical explanations, overturning many unchallenged suggestions in philosophical logic.

The LOGICAL FORM of a sentence (or utterance) is a formal representation of its logical structure; that is, of the structure which is relevant to specifying its logical role and properties. There are a number of (interrelated) reasons for giving a rendering of a sentence's logical form. Among them is to obtain proper inferences (which otherwise would not follow; cf. Russell's theory of descriptions), to give the proper form for the determination of truth-conditions (...) (e.g. Tarski's method of truth and satisfaction as applied to quantification), to show those aspects of a sentence's meaning which follow from the logical role of certain terms (and not from the lexical meaning of words; cf. the truth-functional account of conjunction), and to formalize or regiment the language in order to show that it is has certain metalogical properties (e.g. that it is free of paradox, or that there is a sound proof procedure). (shrink)

Vernacularism is the view that logical forms are fundamentally assigned to natural language expressions, and are only derivatively assigned to anything else, e.g., propositions, mental representations, expressions of symbolic logic, etc. In this paper, we argue that Vernacularism is not as plausible as it first appears because of non-sentential speech. More specifically, there are argument-premises, meant by speakers of non-sentences, for which no natural language paraphrase is readily available in the language used by the speaker and the hearer. The (...) speaker can intend this proposition and the hearer can recover it (and its logical form). Since they cannot, by hypothesis, be doing this by using a sentence of their shared language, the proposition-meant has its logical form non-derivatively, which falsifies Vernacularism. We conclude the paper with a brief review of the debate on incomplete definite descriptions in which Vernacularism is assumed as a suppressed premise. (shrink)

The dominant analyses of the logical form of natural-language conditionals take them to be “suppositional conditionals”. The latter are true or accepted if the consequent is true/accepted on the supposition of the antecedent. But this can happen although the antecedent is completely irrelevant (or even somewhat adverse) to the consequent. In natural-language conditionals, however, the antecedent is typically meant to support or be evidence for the consequent. The logical form of conditionals will thus be more complex (...) than the suppositional theory would have it. Recently some suggestions as to what this logical form might look like have been made. In this paper, I critically discuss Vincenzo Crupi and Andrea Iacona’s account of “evidential conditionals”, including its recent amendments. (shrink)

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 (...) class='Hi'>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. (shrink)

This paper articulates and defends a conception of logical form as semantic form revealed by a compositional meaning theory. On this conception, the logical form of a sentence is determined by the semantic types of its primitive terms and their mode of combination as it relates to determining under what conditions it is true. We develop this idea in the framework of truth-theoretic semantics. We argue that the semantic form of a declarative sentence in (...) a language L is revealed by a (canonical) proof of its T- sentence in an interpretive truth theory for L. We give a precise characterization of sameness of logical form between any two declarative sentences in any two languages in terms of the notion of corresponding proofs in interpretive truth theories for the languages. We illustrate the utility of this approach with a number of examples. We then extend the characterization to non-declaratives in a generalization of truth-theoretic semantics that appeals to fulfillment conditions, of which truth conditions are one variety. On this approach, logical forms are not reified, and the notion of sameness of logical form is treated as conceptually basic. We discuss the relation of this conception of logical form to the project of identifying logical constants, reviewing two approaches, one of which takes topic neutrality as central, the other recursion. We argue that the project of identifying logical constants for the purposes of classifying together valid arguments is largely independent of that identifying logical form of sentences, and urge an ecumenical approach to extending talk of logical constants beyond where it is currently well-grounded. (shrink)

In this article I offer a novel explanation of Wittgenstein’s claim, in his Tractatus, that to represent the logical form of a proposition would require our being positioned outside of logic. The account here presented aims to exploit a connection, widely noticed, between the logical forms of objects and those of the propositions in which the names of those objects figure. I show that the logical forms of propositions may, on Wittgenstein’s view, be identified with places (...) in logical space, and that places in logical space are reducible to the forms of both objects and their names. I argue, though, that according to Wittgenstein the representation of a proposition’s logical form would require the existence of a place in logical space not so reducible. I conclude that on Wittgenstein’s position, the attempt to represent logical forms cannot, therefore, succeed. (shrink)