…entities? 2. How to be a nominalist 2.1. “Speak with the vulgar …” 2.2. “…think with the learned” 3. Arguments for nominalism 3.1. Intelligibility, physicalism, and economy 3.2. Causal..

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

In formal logic there is a premium on clever paraphrase, for it subsumes troublesome inferences under a familiar theory. (A paradigm is Davidson's analysis 1967 of inferences like ?He buttered his toast with a knife; so, he buttered his toast?.) But the need for paraphrase in formal logic runs deeper than the odd recalcitrant inference, and thus, I shall argue, commits logicians to some interesting consequences. First, the thesis that arguments are valid in virtue of their form must be severely (...) qualified (?4). And second, it is misleading to view a formal logical theory as a standard for justifying and criticizing inference (?7). The latter point depends on the nature and role of paraphrase, which permit a range of conflicting logical theories. Conflicting logical theories arise from the conflicting goals of logical theorists and the promiscuous nature of paraphrase makes reconciliation impossible. (shrink)

Sometimes form-meaning mappings in language are not arbitrary, but iconic: they depict what they represent. Incorporating iconic elements of language into a compositional semantics faces a number of challenges in formal frameworks as evidenced by the lengthy literature in linguistics and philosophy on quotation/direct speech, which iconically portrays the words of another in the form that they were used. This paper compares the well-studied type of iconicity found with verbs of quotation with another form of iconicity common in sign languages: (...) classifier predicates. I argue that these two types of verbal iconicity can, and should, incorporate their iconic elements in the same way using event modification via the notion of a context dependent demonstration. This unified formal account of quotation and classifier predicates predicts that a language might use the same strategy for conveying both, and I argue that this is the case with role shift in American Sign Language. Role shift is used to report others’ language and thoughts as well as their actions, and recently has been argued to provide evidence in favor of Kaplanian “monstrous” indexical expressions. By reimagining role shift as involving either quotation for language demonstrations or “body classifier” predicates for action demonstrations, the proposed account eliminates one major argument for these monsters coming from sign languages. Throughout this paper, sign languages provide a fruitful perspective for studying quotation and other forms of iconicity in natural language due to their lack of a commonly used writing system which is otherwise often mistaken as primary data instead of speech, the rich existing literature on iconicity within sign language linguistics, and the ability of role shift to overtly mark the scope of a language report. In this view, written language is merely a special case of a more general phenomenon of sign and speech demonstration, which accounts more accurately for natural language data by permitting more strict or loose verbatim interpretations of demonstrations through the context dependent pragmatics. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

Jerry Fodor (Concepts: Where cognitive science went wrong. New York: Oxford University Press, 1998) famously argued that lexical concepts are unstructured. After examining the advantages and disadvantages of both the classical approach to concepts and Fodor's conceptual atomism, I argue that some lexical concepts are, in fact, structured. Roughly stated, I argue that structured lexical concepts bear a necessary biconditional entailment relation to their structural constituents. I develop this account of the structure of lexical concepts within the framework of Pavel (...) Tichy's (The foundations of Frege's logic. Berlin, New York: De Gruyter, 1988) theory of constructions. I argue that concepts are constructions which can be combined by way of Tichy's construction-forming operations of composition and closure and an additional operation, simplification, which I propose in section 6. The last of these construction-forming operations plays a central role in my account of lexical concept structure. Stated generally, structured lexical concepts are a result of simplifying their structural constituents. (shrink)

Situational aspects of action are discussed. The presented approach emphasizes the role of situational contexts in which actions are performed. These contexts influence the course of an action; they are determined not only by the current state of the system but also shaped by other factors as time, the previously undertaken actions and their succession, the agents of actions and so on. The distinction between states and situations is explored from the perspective of action systems. The notion of a situational (...) action system is introduced and its theory is expounded. Numerous examples illustrate the reach of the theory. (shrink)

Causal slingshots are formal arguments advanced by proponents of an event ontology of token-level causation which, in the end, are intended to show two things: (i) The logical form of statements expressing causal dependencies on token level features a binary predicate ‘‘... causes ...’’ and (ii) that predicate takes events as arguments. Even though formalisms are only revealing with respect to the logical form of natural language statements, if the latter are shown to be adequately captured within a corresponding formalism, (...) proponents of slingshots usually take the adequacy of their formalizations for granted without justifying it. The first part of this paper argues that the most discussed version of a causal slingshot, viz. the one e.g. presented by Davidson (Essays on actions and events. Oxford, Clarendon Press, 1980), can indeed be refuted for relying on an inadequate formal apparatus. In contrast, the formal means of Gödel’s (The philosophy of Betrand Russell. New York, Tudor, 1944) often neglected slingshot are shown to stand on solid ground in the second part of the paper. Nonetheless, I contend that Gödel’s slingshot does only half the work friends of event causation would like it to do. It provides good reasons for (i) but not for (ii). (shrink)

There is a much-discussed form of argument the conclusion of which is that we do not directly perceive space-filling material objects themselves, only parts of their surfaces. Donald Davidson's view that events are temporal particulars invites a structurally similar argument about the direct perception of events. In this paper, I spell out such an argument and consider a number of possible solutions to it. I explore the idea that a satisfactory response to this problem in the philosophy of perception can (...) be grounded in a temporal ontology that includes temporal stuff as well as temporal particulars. I discuss different ways of developing this idea, and I go on to identify what I take to be the most promising version of an approach of this kind. (shrink)

Analytic philosophy is sometimes said to have particularly close connections to logic and to science, and no particularly interesting or close relation to its own history. It is argued here that although the connections to logic and science have been important in the development of analytic philosophy, these connections do not come close to characterizing the nature of analytic philosophy, either as a body of doctrines or as a philosophical method. We will do better to understand analytic philosophy—and its relationship (...) to continental philosophy—if we see it as a historically constructed collection of texts, which define its key problems and concerns. It is true, however, that analytic philosophy has paid little attention to the history of the subject. This is both its strength—since it allows for a distinctive kind of creativity—and its weakness—since ignoring history can encourage a philosophical variety of “normal science.”. (shrink)

We propose an account of dynamic predicates which draws on the notion of force, eliminating reference to events in the linguistic semantics. We treat dynamic predicates as predicates of forces, represented as functions from an initial situation to a final situation that occurs ceteris paribus, that is, if nothing external intervenes. The possibility that opposing forces might intervene to prevent the transition to a given final situation leads us to a novel analysis of non-culminating accomplishment predicates in a variety of (...) languages, including the English progressive. We then apply the force-theoretic framework to the composition of basic Vendlerian eventuality types within a lexical-decomposition syntax. The difference between predicates of forces and predicates of situations is argued to underlie the dynamic/stative contrast, and also to allow for a formal treatment of the difference between be and stay. Consequences for the relationship between language and cognition are discussed. (shrink)

When I raise my arm, what makes it the case that my arm's going up is an instance of my raising my arm? In this paper, I discuss Aristotle's answer to this question. His view, I argue, is that my arm's going up counts as my raising my arm just in case it is an exercise of a certain kind of causal power of mine. I show that this view differs in an interesting way both from the Davidsonian ‘standard causal (...) account’ of action and from accounts put forward by recent critics of Davidson, such as Hornsby, Alvarez and Hyman. (shrink)

Phenomenologically speaking, we perceive the present, recall the past, and anticipate the future. We offer an account of the temporal content of the perceptual present that distinguishes it from the recalled past and the anticipated future. We distinguish two views: the Token Reflexive Account and the Minimal Account. We offer reasons to reject the Token Reflexive Account, and defend the Minimal Account, according to which the temporal content of the perceptual present is exhausted by its direct reference to the interval (...) of time over which it occurs. (shrink)

Event semantics is concerned with the formal structure of sentences which appear to describe an event of some kind, e.g. ‘Brutus kills Caesar,’ or ‘My tooth fell out.’ Phenomenologists should be interested in work in this field, if they hope to rescue Husserl’s phenomenology of judgment from its narrow focus on copular judgments of the form ‘S is p.’ An adequate phenomenology of judgment must ultimately develop an account of judgments whose intentional correlates seem to be events, rather than states (...) of affairs, since such judgments are ubiquitous. For this endeavor, existing work on the formal structure of event sentences provides a crucial foothold. However, phenomenologists cannot simply import semantic theories for their own use, without first evaluating them for phenomenological plausibility. This concern is particularly acute in the case of the widely-adopted “Davidsonian” approach, according to which the logical structure of event sentences diverges radically from natural language syntax. The Davidsonian form introduces a “covert” variable, which stands in for an event. Thus, the sentence ‘Brutus kills Caesar’ becomes, ‘There is an event e that is a killing of Caesar by Brutus.’ Such a theory, if correct, would have decisive consequences for the phenomenology of event sentences, and even of events themselves. Yet the introduction of covert variables in turn introduces—I argue—a covert intentional object, without assessing this idea for phenomenological plausibility. Building on Husserl’s phenomenology of predication, I develop a criterion for evaluating this hypothesis, and argue that the Davidsonian approach, as it stands, is phenomenologically untenable. (shrink)

o (2000), 243). In particular, the idea is that binding interactions between the relevant expressions and natural lan- guage quantifiers are best explained by the hypothesis that those expressions harbor hidden but bindable variables. Recently, however, Herman Cappelen and Ernie Lepore have rejected such binding arguments for the presence of hid- den variables on the grounds that they overgeneralize — that, if sound, such arguments would establish the presence of hidden variables in all sorts of ex- pressions where it is (...) implausible that they exist (Cappelen and Lepore (2005), Cappelen and Lepore (2002)).1 In what follows we respond to Cappelen’s and Lepore’s attempted reductio by bringing out crucial disanalogies between cases where the binding argument is successful and cases where it is not. But we have a deeper purpose than merely to respond to Cappelen and Lepore: we think the attempted reductio goes wrong by not taking sufficiently seriously the nature of the binding relation that holds between quantifiers and arguments/variables, and that our criticism will serve to highlight the nature and importance of this relation. (shrink)

Approaches to anaphora generally seek to explain the potential for a DP to covary with a pronoun in terms of a combination of factors, such as the inherent semantics of the antecedent DP, its scope properties, and its structural position. A case in point is Reinhart’s classic condition on bound anaphora, paraphrasable as A DP can antecede a pronoun pro only if the DP c-commands pro at S-structure, supplemented with some extra machinery to allow indefinites to covary with pronouns beyond (...) their c-command domains. In the present paper, I explore a different take. I propose that anaphora is governed not by DPs and their properties; it is governed by predicates and their properties. To use a metaphor from dynamic semantics: discourse referents can only be ‘activated’ by predicates, never by DPs. This conceptually simple assumption is shown to have far-reaching consequences. For one, it yields a new take on weak crossover, arguably worthy of consideration. Moreover, it leads to a further general “restatement of the anaphora question”, in Reinhart’s words. (shrink)

Colloquially, episodic memory is described as “the memory of personally experienced events”. Even though episodic memory has been studied in psychology and neuroscience for about six decades, there is still great uncertainty as to what episodic memory is. Here we ask how episodic memory should be characterized in order to be validated as a natural kind. We propose to conceive of episodic memory as a knowledge-like state that is identified with an experientially based mnemonic representation of an episode that allows (...) for a mnemonic simulation thereof. We call our analysis the Sequence Analysis of Episodic Memory since episodes will be analyzed in terms of sequences of events. Our philosophical analysis of episodic memory is driven and supported by experimental results from psychology and neuroscience. We discuss selected experimental results that provide exemplary evidence for uniform causal mechanisms underlying the properties of episodic memory and argue that episodic memory is a natural kind. The argumentation proceeds along three cornerstones: First, psychological evidence suggests that a violation of any of the proposed conditions for episodic memory amounts to a deficiency of episodic memory and no form of memory or cognitive process but episodic memory fulfills them. Second, empirical results support a claim that the principal anatomical substrate of episodic memory is the hippocampus. Finally, we can pin down causal mechanisms onto neural activities in the hippocampus to explain the psychological states and processes constituting episodic memory. (shrink)

Despite its strengths, Leech et al.'s model fails to address the important benefits that derive from self-explanation and task feedback in analogical reasoning development. These components encourage explicit, self-reflective processes that do not necessarily link to knowledge accretion. We wonder, therefore, what mechanisms can be included within a connectionist framework to model self-reflective involvement and its beneficial consequences.

Davidsonian event semantics is often taken to form an unhappy marriage with compositional semantics. For example, it has been claimed to be problematic for semantic accounts of quantification Proceedings of the 16th Amsterdam Colloquium, 2007), for classical accounts of negation Semantics and contextual expression, 1989), and for intersective accounts of verbal coordination. This paper shows that none of this is the case, once we abandon the idea that the event variable is bound at sentence level, and assume instead that verbs (...) denote existential quantifiers over events. Quantificational arguments can then be given a semantic account, negation can be treated classically, and coordination can be modeled as intersection. The framework presented here is a natural choice for researchers and fieldworkers who wish to sketch a semantic analysis of a language without being forced to make commitments about the hierarchical order of arguments, the argument-adjunct distinction, the default scope of quantifiers, or the nature of negation and coordination. (shrink)

In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...) which we translate natural language semantics, and we further implement these semantics in the Coq proof assistant. It is shown that the use of a MTT with an adequate subtyping mechanism can give us a number of promising results as regards NLI. Specifically, it is shown that a number of inference cases, i.e. quantifiers, adjectives, conjoined noun phrases and temporal reference among other things can be successfully dealt with. It is then shown, that even though Coq is an interactive and not an automated theorem prover, automation of all of the test examples is possible by introducing user-defined automated tactics. Lastly, the paper offers a number of innovative approaches to NL phenomena like adjectives, collective predication, comparatives and factive verbs among other things, contributing in this respect to the theoretical study of formal semantics using MTTs. (shrink)

It is natural to think that the relationship between ‘rain’ and the location of rain is different from the relationship between ‘dance’ and the location of dancing. Utterances of (1) are typically interpreted as, in some sense, being about a location in which it rains. (2) is, typically, not interpreted as being about a location in which the dancing takes place.

The paper proposes a process-based model for an ontology that encompasses the emergence of process systems generated by increasingly complex levels of organization. Starting with a division of processes into those that are persistent and those that are fleeting, the model builds through a series of exclusive and exhaustive disjunctions. The crucial distinction is between those persistent and cohesive systems that are energy wells, and those that are far-from-equilibrium. The latter are necessarily open; they can persist only by interaction with (...) their environments. Further distinctions, developed by means of the notions of self-maintenance and error detection, lead to the identification of complex biological organisms that are flexible learners, some of which are self-conscious and form themselves into social institutions. This model provides a non-reductive model for understanding human beings as both embodied and yet emergent. In particular, it provides a way of characterizing action as ‘metaphysically deep’, not an ontological embarrassment within an otherwise physicalist world. (shrink)

This comment mainly examines Yli-Vakkuri and Hawthorne’s preferred framework for examining whether narrow content is viable, arguing that their framework is not well-suited to the task; once a more traditional framework is adopted, Y&H’s case against internalism is strengthened.

This paper is about the situation in which an author (writer or speaker) presents a deductively invalid argument, but the addressee aims at a charitable interpretation and has reason to assume that the author intends to present a valid argument. How can he go about interpreting the author’s reasoning as enthymematically valid? We suggest replacing the usual find-the-missing-premise approaches by an approach based on systematic efforts to ascribe a belief state to the author against the background of which the argument (...) has to be evaluated. The suggested procedure includes rules for recording whether the author in fact accepts or denies the premises and the conclusion, as well as tests for enthymematic validity and strategies for revising belief state ascriptions. Different degrees of interpretive charity can be exercised. This is one reason why the interpretation or reconstruction of an enthymematic argument typically does not result in a unique outcome. (shrink)

There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (shrink)

In “Real Patterns” Daniel Dennett developed an argument about the reality of beliefs on the basis of an analogy with patterns and noise. Here I develop Dennett’s analogy into an argument for descriptivism, the view that belief reports do no specify belief contents but merely describe what someone believes, and show that this view is also supported by empirical evidence. No description can do justice to the richness and specificity or “noisiness” of what someone believes, and the same belief can (...) be described by different sentences or propositions (which is illustrated by Dennett’s analogy, some Gettier cases, and Frege’s puzzle), but in some contexts some of these competing descriptions are misleading or even false. Faithful (or truthful) description must be guided by a principle (or principles) related to the principle of charity: belief descriptions should not attribute irrationality to the believer or have other kinds of “deviant” implications. (shrink)

Stanley and Williamson have defended the intellectualist thesis that knowing-how is a subspecies of knowing-that by appeal to the syntax and semantics of ascriptions of knowing-how. Critics have objected that this way of defending intellectualism places undue weight on linguistic considerations and fails to give sufficient attention to empirical considerations from the scientific study of the mind. In this paper, I examine and reject Stanley's recent attempt to answer the critics.

The book sets out a new logic of rules, developed to demonstrate how such a logic can contribute to the clarification of historical questions about social rules. The authors illustrate applications of this new logic in their extensive treatments of a variety of accounts of social changes, analysing in these examples the content of particular social rules and the course of changes in them.

This paper aims to shed new light on certain philosophical theories of perceptual experience by examining the semantics of perceptual ascriptions such as “Jones sees an apple.” I start with the assumption, recently defended elsewhere, that perceptual ascriptions lend themselves to intensional readings. In the first part of the paper, I defend three theses regarding such readings: I) intensional readings of perceptual ascriptions ascribe phenomenal properties, II) perceptual verbs are not ambiguous between intensional and extensional readings, and III) intensional perceptual (...) ascriptions have a relational form. The second part of the paper describes the implications of I-III for theories of perceptual experience. I argue that I-III support and reconcile the three main views of perceptual experience, relationalism, disjunctivism, and representationalism. However, I-III leave open at least one important point of contention: particularism, the view that we experience external objects. I conclude by exploring the implications of accepting or denying particularism given I-III. (shrink)

In 'A Theory of Human Action' (1970) Alvin Goldman launched an attack on what has become known as the Anscombe-Davidson Identity Thesis. In brief, this is the thesis that our acts are our body movements, and that all the different effects of that movement do not entail that different acts have been performed, but only that an identical act has different descriptions. In her response to Goldman, Anscombe (1981) claims that Goldman is arguing at cross-purposes. I will argue that this (...) is partially true, but only because she accepts what I shall call the Symmetry Thesis. This thesis in turn is natural if you accept a third thesis called the Irreducibility Thesis. These three theses form a consistent set that the defenders of the Identity Thesis would accept and its detractors would deny. It follows that the best way to attack the Identity Thesis is to attack the Irreducibility Thesis on which it is based. I believe that this can be done and that Goldman is basically right, but I will not be concerned with a full defense of Goldman's method of individuating actions against its competitors. Rather, I want to show the grounds, some of them extralogical, upon which preference can be made. (shrink)

Most event-referring expressions are vague; it is utterly difficult, if not impossible, to specify the exact spatiotemporal location of an event from the words that we use to refer to it. We argue that in spite of certain prima facie obstacles, such vagueness can be given a purely semantic (broadly supervaluational) account.

There are languages – e.g., German, Inuktitut, andRussian – in which the aspectual reference of clausesdepends on the telicity of their event predicates. Weargue that in such languages, clauses or verb phrasesnot overtly marked for viewpoint aspect implicateor entail `event realization'', a property akin toParsons''s (1990) `culmination''. The aspectualreference associated with the use of clauses notovertly marked for aspect is computed in accordancewith the dependence of realization conditions ontelicity and in line with principles of Gricean pragmatics.We formalize event realization and (...) capture thetelicity-dependent patterns of aspectual reference onwhich it is based by combining Krifka''s (1989, 1992,1998) event lattices with a model-theoreticinterpretation of Klein''s (1994) theory of tense andaspect. The latter permits us to treat the `topic times''of aspectual operators as temporal constraints on event realization. (shrink)

This is the first part of a larger project that aims to develop a cross-categorical semantic account of a broad range of _as if_ constructions in English. In this paper, we focus on descriptive uses of _as if_ with regular truth-conditional content. The core proposal is that _as if_-phrases contribute hypothetical (_if_-like) and comparative (_as_-like) properties of situations, which are instantiated by an event, state, or larger situation when it resembles in some relevant respect its counterparts in selected stereotypical worlds (...) described by the clause embedded under _as if_. We motivate and develop this situation-semantic analysis in detail for examples like _Pedro danced as if he was possessed by demons_ where the modifying _as if_-adjunct is used to inferentially convey the manner of a reported activity. We extend this analysis to _as if_-complements of perception verbs in reports like _The soup tastes as if it contains fish sauce_, offering an alternative to conceptually problematic approaches that assimilate such perceptual resemblance reports to propositional attitude ascriptions. We also examine the predicative function of _as if_ in examples like _The state of the house is as if a tornado passed through it_ where the _as if_-phrase denotes a hypothetical comparative property of the nominal subject. (shrink)

In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity).We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a (...) wide variety of frame classes and to prove completeness using the Henkin method. In the weaker languages, this requires the use of non-orthodox rules. We discuss these rules in detail and prove non-eliminability and eliminability results. We also show how another type of rule, which reflects the structure of the strong Priorean language, can be employed to give an even wider coverage of frame classes. We show that this deductive apparatus gets progressively simpler as we work our way up the expressivity hierarchy, and conclude the paper by showing that the approach transfers to first-order hybrid logic. (shrink)

I present and develop the view that omissions are de re possibilities of actual events. Omissions do not literally fail to occur; rather, they possibly occur. An omission is a tripartite metaphysical entity composed of an actual event, a possible event, and a contextually specified counterpart relation between them. This view resolves ontological, causal, and semantic puzzles about omissions, and also accounts for important data about moral responsibility for outcomes resulting from omissions.

There was a duel at dawn between A and B. A shot B, who lingered on until dusk of that day, and then died of his bulletwound. Certain background conditions are satisfied which make it right to say not just that A caused B's death but that he killed him. So, A shot B and killed him. This seems to be structurally different from "A shot B and he kicked him," but what is this structural difference? How does the shooting (...) relate to the killing? (shrink)

A natural language argument may be valid in at least two nonequivalent senses: it may be interpretationally or representationally valid (Etchemendy in The concept of logical consequence. Harvard University Press, Cambridge, 1990). Interpretational and representational validity can both be formally exhibited by classical first-order logic. However, as these two notions of informal validity differ extensionally and first-order logic fixes one determinate extension for the notion of formal validity (or consequence), some arguments must be formalized by unrelated nonequivalent formalizations in order (...) to formally account for their interpretational or representational validity, respectively. As a consequence, arguments must be formalized subject to different criteria of adequate formalization depending on which variant of informal validity is to be revealed. This paper develops different criteria that formalizations of an argument have to satisfy in order to exhibit the latter’s interpretational or representational validity. (shrink)

This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal reasoning.