The resemblance of the theory of formal consequence first offered by the fourteenth-century logician John Buridan to that later offered by Alfred Tarski has long been remarked upon. But it has not yet been subjected to sustained analysis. In this paper, I provide just such an analysis. I begin by reviewing today’s classical understanding of formal consequence, then highlighting its differences from Tarski’s 1936 account. Following this, I introduce Buridan’s account, detailing its philosophical underpinnings, then its (...) content. This then allows us to separate those aspects of Tarski’s account representing genuine historical advances, unavailable to Buridan, from others merely differing from—and occasionally explicitly rejected by—Buridan’s account. (shrink)

This paper offers a response to William’s Hanson’s criticism of Sher’s formal-structural conception of logical consequence and logical constants.

_ Source: _Volume 56, Issue 3-4, pp 241 - 271 William of Ockham and John Buridan provide different accounts of the distinction between formal and material consequences. Some consequences – in particular, enthymemes – that Ockham would classify as formal would be classified as material by Buridan. This paper explains this taxonomical discrepancy. It identifies the root of the discrepancy not in a difference between Ockham’s and Buridan’s notions of propositional hylomorphism but rather in Ockham’s endorsement of relational (...) characterizations of consequences. (shrink)

Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. The achievements of medieval logic are made available to a wider philosophical public then the medievalists themselves. The three genres of logica moderna arising in a later Middle Ages are covered: obligations, insolubles and consequences - the first time these have been treated in such a unified way. The articles on obligations look at the role of logical consistence (...) in medieval disputation techniques. Those on insolubles concentrate on medieval solutions to the Liar Paradox. There is also a systematic account of how medieval authors described the logical content of an inference, and how they thought that the validity of an inference could be guaranteed. (shrink)

In a recent paper, “The Concept of Logical Consequence,” W. H. Hanson criticizes a formal-structural characterization of logical consequence in Tarski and Sher. Hanson accepts many principles of the formal-structural view. Relating to Sher 1991 and 1996a, he says.

Logical consequence in first-order predicate logic is defined substitutionally in set theory augmented with a primitive satisfaction predicate: an argument is defined to be logically valid if and only if there is no substitution instance with true premises and a false conclusion. Substitution instances are permitted to contain parameters. Variants of this definition of logical consequence are given: logical validity can be defined with or without identity as a logical constant, and quantifiers can be relativized in substitution instances (...) or not. It is shown that the resulting notions of logical consequence are extensionally equivalent to versions of first-order provability and model-theoretic consequence. Every model-theoretic interpretation has a substitutional counterpart, but not vice versa. In particular, in contrast to the model-theoretic account, there is a trivial intended interpretation on the substitutional account, namely, the homophonic interpretation that does not substitute anything. Applications to free logic, and theories and languages other than set theory are sketched. (shrink)

In a recent discussion article in this journal, Gila Sher responds to some of my criticisms of her work on what she calls the formal-structural account of logical consequence. In the present paper I reply and attempt to advance the discussion in a constructive way. Unfortunately, Sher seems to have not fully understood my 1997. Several of the defenses she mounts in her 2001 are aimed at views I do not hold and did not advance in my 1997. (...) Most prominent among these are her claims that I reject the formal-structural account, because it licenses “unnatural” logical constants, and that I consider the “truth-functional criterion” for connectives “a paradigm of a successful criterion of logicality”. Both of these claims are simply false, as even a moderately careful reading of my 1997 will show. Other charges she makes have some basis in fact but are inaccurate. For example, she says that I claim that FS is “neutral with regard to the apriority of logic,” and that this neutrality “renders it inconsistent”. What I actually say is that Sher’s acceptance of the neutrality in question is “inconsistent with part of the legacy of Tarski, a legacy that she finds very congenial”, not that FS itself is inconsistent. More interestingly, she misunderstands my claim about the apriority of logic, and clarification of this misunderstanding suggests two distinct ways in which logic might be held to be free of empirical influence. It is also noteworthy that Sher’s statements about the apriority of logic constitute both a change in the position she took in her 1991 and, although she seems not to realize it, an admission that she does not take issue with one of my major criticisms. (shrink)

Using data from the General Social Survey and the National Organizations Survey, this study assesses the extent to which job search methods affect gender composition in a job. In contrast to past research and the popular notion that networking maximizes job search outcomes, it is found that women who use informal job search methods had jobs with more women in them compared to not using such methods. Women using formal job search methods had jobs with fewer women in them (...) compared to not using these methods. For men, job search methods were not associated with the gender composition of the job. (shrink)

According to Alfred Tarski’s classical definition, logical consequence is necessary and formal. This paper focuses on the question: In what sense (if any) is material consequence a logical relation? For Tarski, material consequence has no modal force. Treating all terms (of a language with a fixed domain) as logical, he reduces logical consequence to material consequence. Thus, Tarskian material consequence seems to be a logical oxymoron designed to emphasize the importance of the distinction (...) between logical and extra-logical terms for the definition of logical consequence. Historically, however, there have been different approaches to material consequences. This paper attempts to provide an investigation into the parallels between Tarski’s dichotomy of formal and material consequence and the modern. (shrink)

Over the past decades, Patricia Blanchette has developed a sophisticated account of Frege's conception of logic and his views on logical consequence. One of the central components of her interpretation is the idea that Frege's conception of logical consequence is ‘semantically laden’ and not purely formal. The aim of the present paper is to provide precise explications of this as well as related ideas that inform her account, and to discuss their significance for the philosophy of logic (...) in general and Frege's philosophy in particular. (shrink)

_ Source: _Volume 56, Issue 3-4, pp 292 - 319 With William of Ockham and John Buridan, Walter Burley is often listed as one of the most significant logicians of the medieval period. Nevertheless, Burley’s contributions to medieval logic have received notably less attention than those of either Ockham or Buridan. To help rectify this situation, the author here provides a comprehensive examination of Burley’s account of consequences, first recounting Burley’s enumeration, organization, and division of consequences, with particular attention to (...) the shift from natural and accidental to formal and material consequence, and then locating Burley’s contribution to the theory of consequences in the context of fourteenth-century work on the subject, detailing its relation to the earliest treatises on consequences, then to Ockham and Buridan. (shrink)

In a recent discussion article in this journal, Gila Sher responds to some of my criticisms of her work on what she calls the formal-structural account of logical consequence. In the present paper I reply and attempt to advance the discussion in a constructive way. Unfortunately, Sher seems to have not fully understood my 1997. Several of the defenses she mounts in her 2001 are aimed at views I do not hold and did not advance in my 1997. (...) Most prominent among these are her claims that I reject the formal-structural account, because it licenses “unnatural” logical constants, and that I consider the “truth-functional criterion” for connectives “a paradigm of a successful criterion of logicality”. Both of these claims are simply false, as even a moderately careful reading of my 1997 will show. Other charges she makes have some basis in fact but are inaccurate. For example, she says that I claim that FS is “neutral with regard to the apriority of logic,” and that this neutrality “renders it inconsistent”. What I actually say is that Sher’s acceptance of the neutrality in question is “inconsistent with part of the legacy of Tarski, a legacy that she finds very congenial”, not that FS itself is inconsistent. More interestingly, she misunderstands my claim about the apriority of logic, and clarification of this misunderstanding suggests two distinct ways in which logic might be held to be free of empirical influence. It is also noteworthy that Sher’s statements about the apriority of logic constitute both a change in the position she took in her 1991 and, although she seems not to realize it, an admission that she does not take issue with one of my major criticisms. (shrink)

The now standard definition of logical consequence is model-theoretic. Many writers have tried to justify, or to criticise, the model-theoretic definition by arguing that it extensionally captures, or fails to capture, our intuitions about logical consequence, such as its modal character or its being truth-preservation in virtue of form. One popular means of comparing the extension of model-theoretic consequence with some intuitive notion proceeds by adapting Kreisel's squeezing argument. But these attempts get Kreisel wrong, and try to (...) achieve more than he ever intended. This suggests that the model-theoretic definition should be viewed quite differently as an explication of our intuitions about logical consequence. I introduce Kreisel's squeezing argument in Section 1. Then in Section 2, I show how it is adapted by two prominent writers on logical consequence, Etchemendy (1990) and Shapiro (2005). Finally, in Section 3, I argue that these adaptations fail. (shrink)

Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truth-preserving. However, it is not known whether all arguments that are valid in the usual model-theoretic sense are truthpreserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truthpreserving. But he did not offer the proof. The (...) question arises whether the usual modeltheoretic sense of validity and Tarski's 1936 sense are the same. I argue in this paper that they probably are not, and that the proof Tarski had in mind, although unusable to prove that model-theoretically valid arguments are truth-preserving, can be used to prove that arguments valid in Tarski's 1936 sense are truth-preserving. (shrink)

This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory of deductive systems initiated by (...) Tarski, in particular research on the axiomatization of the general notion of consequence operation, axiom systems for the theories of classic consequence and for some equivalent theories, and axiom systems for the theories of nonclassic consequence. In this paper the results of Jerzy Supecki's research are taken into account, and also the author's and other people belonging to his circle of scientific research. Particular study is made of his dual characterization of deductive systems, both as systems in regard to acceptance and systems in regard to rejection . Comparison is made, therefore, with axiomatizations of the theories of rejection and dual consequence, and the theory of the usual consequence operation. (shrink)

When most people think of legal punishment, they envision a judge or jury convicting a person for a crime, and then sentencing that person in accordance with clearly prescribed penalties, as specified in the criminal law. The person serves the sentence, is released (perhaps a bit early for A good behavior"), and then welcomed back into society as a full-functioning member, adorned with all the rights and responsibilities of ordinary citizens.

Hohfeld’s analysis on the different types of rights and duties is highly influential in analytical legal theory, and it is considered as a fundamental theory in AI&Law and normative multi-agent systems. Yet a century later, the formalization of this theory remains, in various ways, unresolved. In this paper I provide a formal analysis of how the working of a system containing Hohfeldian rights and duties can be delineated. This formalization starts from using the same tools as the classical ones (...) by Kanger and Lindahl used, but instead of focusing on the algebraic features of rights and duties, it aims at providing a comprehensive analysis of what these rights and duties actually are and how they behave and at saying something substantial on Power too—maintaining all along the Hohfeldian intentions that these rights and duties are sui generis and inherently relational. (shrink)

One of the great successes in the study of language has been the application of formal methods, including those of formal logic. Even so, this chapter argues against one way of accounting for this success, by arguing that the study of natural language semantics and of logical consequence relations are not the same. There is indeed a lot we can glean about logic from looking at our languages, and at our inferential practices, but the semantic properties of (...) natural languages do not determine genuine logical consequence relations. We can get from natural language semantics to logical consequence, but only by a significant process of identification of logical constants, abstraction, and idealization. The chapter also discusses different approaches to the nature of logical consequence, and examines which allow logic and natural language to come closer together. (shrink)

In this paper I examine Avicenna’s conception of the consequence relation. I will consider in particular his categorical and hypothetical logics. I will first analyse his definition of the implication and will show that this relation is not a consequence relation in his frame. Unlike the medieval logicians, he does not distinguish explicitly between material and formal consequences. The arguments discussed in al-Qiyās, where the conclusion is true only in some matters, and would seem close to a (...) material consequence for that reason, are rejected explicitly as not syllogistic. He also rejects the ‘enthymemes’ unless they are complemented by their missing premise and the superfluous premises which, according to him, should promptly be ruled out. It seems then that the consequence relation in his theory is formal. It can be characterized as being ‘productivity in all matters’ or ‘necessary truth preserving’. It is illustrated by some single premise arguments, and above all by all kinds of syllogisms which, in his theory, are more numerous and various than in Aristotle’s one. The syllogism may contain two or more premises, including disjunctive ones. When it is hypothetical, it may lead to several conclusions. The premises may be in conflict, but then, the conclusion is false. He thus rejects the principle according to which ‘anything follows from a contradiction’. But, unlike what some scholars say, he does not admit any connexive principle. In the compound syllogisms, the conclusion follows by steps, each step taking two premises at once. (shrink)

This paper argues for two principal conclusions about natural language semantics based on John Buridan's considerations concerning the notion of formal consequence, that is, formally valid inference. (1) Natural languages are essentially semantically closed, yet they do not have to be on that account inconsistent. (2) Natural language semantics has to be token based, as a matter of principle. The paper investigates the Buridanian considerations leading to these conclusions, and considers some obviously emerging objections to the Buridanian approach.

Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as (...) ontology-based multi-database querying, automated ontology alignment and ontology-based text-mining. These theses are illustrated by means of a case study of the Gene Ontology, a project of increasing importance within the field of biomedical data integration. (shrink)

Tarski's 1936 paper, “On the concept of logical consequence”, is a rather philosophical, non-technical paper that leaves room for conflicting interpretations. My purpose is to review some important issues that explicitly or implicitly constitute its themes. My discussion contains four sections: terminological and conceptual preliminaries, Tarski's definition of the concept of logical consequence, Tarski's discussion of omega-incomplete theories, and concluding remarks concerning the kind of conception that Tarski's definition was intended to explicate. The third section involves subsidiary issues, (...) such as Tarski's discussion concerning the distinction between material and formal consequence and the important question ofthe criterion for distinguishing between logical and non-logical terms.§1. Preliminaries. In this paper an argument is a two-part system composed of a set of propositions P and a single proposition c. The expression ‘c is a [logical] consequence of P’ is used with the same meaning as the expression ‘c is [logically] implied by P’. The expressions ‘is a logical consequence of’ and the converse ‘implies’ are relational. Often, I shall be talking in the same sense of validity of an argument. Validity is a property of arguments; an argument with premise-set P and conclusion c is valid if and only if P implies c; i.e., c is a logical consequence of P. Notice that this notion of argument is strictly ontic; it does not involve any agent that thinks, determines or establishes that a given proposition is or is not a consequence of a given set of propositions. (shrink)

The recovery of Aristotle’s logic during the twelfth century was a great stimulus to medieval thinkers. Among their own theories developed to explain Aristotle’s theories of valid and invalid reasoning was a theory of consequence, of what arguments were valid, and why. By the fourteenth century, two main lines of thought had developed, one at Oxford, the other at Paris. Both schools distinguished formal from material consequence, but in very different ways. In Buridan and his followers in (...) Paris, formal consequence was that preserved under uniform substitution. In Oxford, in contrast, formal consequence included analytic consequences such as ‘If it’s a man, then it’s an animal’. Aristotle’s notion of syllogistic consequence was subsumed under the treatment of formal consequence. Buridan developed a general theory embracing the assertoric syllogism, the modal syllogism and syllogisms with oblique terms. The result was a thoroughly systematic and extensive treatment of logical theory and logical consequence which repays investigation. (shrink)

Recent work in philosophical logic has taken interesting and unexpected turns. It has seen not only a proliferation of logical systems, but new applications of a wide range of different formal theories to philosophical questions. As a result, philosophers have been forced to revisit the nature and foundation of core logical concepts, chief amongst which is the concept of logical consequence. This essay sets the contributions of the volume in context and identifies how they advance important debates within (...) the philosophy of logic. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of (...) class='Hi'>consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

This paper deals with the adequacy of the model-theoretic definition of logical consequence. Logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. In this paper, necessity is assumed to be a metaphysical notion, and formality is viewed as a means to avoid dealing with complex metaphysical questions in logical investigations. Logical terms are an essential part of the form of sentences and thus have a crucial role in (...) determining logical consequence. Gila Sher and Stewart Shapiro each propose a formal criterion for logical terms within a model-theoretic framework, based on the idea of invariance under isomorphism. The two criteria are formally equivalent, and thus we have a common ground for evaluating and comparing Sher and Shapiro philosophical justification of their criteria. It is argued that Shapiro's blended approach, by which models represent possible worlds under interpretations of the language, is preferable to Sher’s formal-structural view, according to which models represent formal structures. The advantages and disadvantages of both views’ reliance on isomorphism are discussed. (shrink)

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from (...) knowledge of semantics (Lewis 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (shrink)

This special issue on Formal Models of Awareness contains five papers that concentrate on different approaches to the notion of awareness. They include syntactic and semantic approaches to modelling awareness and an alternative view from the multi-agent systems perspective where awareness is identified as the ability to perceive and understand actions of other agents.Velázquez-Quesada studies a logic of plausibility acknowledgement models used to interpret the notions of implicit and explicit beliefs. The models use the notion of a formula being (...) acknowledged as true that is similar to syntactic awareness in that the set of formulas acknowledged as true by an agent is not assumed to be closed under logical consequence. However it has a different meaning . A dynamic epistemic logic over such models is cons .. (shrink)

This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of (...) the laws of physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (shrink)

Systems of formal dialectics articulate methods of conflict resolution. To this end they provide norms to regulate verbal exchanges between the Proponent of a thesis and an Opponent. These regulated exchanges constitute what are known as formal discussions.One may ask what moves, if any, in formal discusions correspond to arguing for or against the thesis. It is claimed that certain moves of the Proponent's are properly designated as arguing for the thesis, and that certain moves of the (...) Opponent purport to criticize the tenability or the relevance of the reasons advanced. Thus the usefulness of formal dialectic systems as models for reasonable argument is vindicated.It is then proposed to make these systems more realistic by incorporating in them a norm of Creative Reasoning that removes the severe restrictions to which the Proponent's arguing was hitherto subject. As a consequence, a certain type of irrelevant reason is no longer automatically excluded. Therefore, it is proposed to extend the Opponent's rights to exert relevance criticism. The new dialectic systems are shown to be strategically equivalent to the original ones. Finally, it is stressed that the Opponent's criticism should not be designated as arguing against the thesis. The Opponent criticizes, but does not argue. (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)

Agrobiodiversity is an evident outcome of a long-lasting human–nature relationship, as the continuous use, conservation and management of crops has resulted in biological as well as cultural diversity of seeds and breeds. This paper aims to understand the interlocking of formal and informal seed supply routes by considering the dynamic flow of seeds within networks across the intersections of gender, ethnicity and age in South India as social categories structuring human–nature relations. This changing relationship under formal and informal (...) institutional settings has consequences on performance for men and women in rice seed systems. Undertaking an empirical analysis of the organization of seed management and exchange, we seek to shed light on the gendered organization of agrobiodiversity as a social network. The study builds on Net-Map interviews conducted in 2012, embedded in the larger BioDIVA project in the district of Wayanad in Kerala, India. Based on network analysis, the interactive method employed has enabled identification of important actors in the seed system and the characteristics of their relationships. We look into the gendered structure of information exchange regarding seed varieties and actual seed transactions, while also examining clusters of actors collaborating regarding seed supply. Finally, we identify the institutional gap concerning seed sources left by formal and informal institutions, like the availability of varieties. We show how informal and formal seed systems coexist and overlap due to actors moving between systems and argue that the degree and areas of overlap are shaped by gendered human–nature relations. (shrink)

There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts may involve limited resources of an agent or inferential engine, contextual relevance or irrelevance of certain consequences or premisses, modelling everyday human reasoning, the search for plausible abduced hypotheses or potential causes, etc. In this paper we propose and explicate one formal framework (...) for a whole spectrum of consequence relations, flexible enough to be tailored for choices from a variety of contexts. We do so by investigating semantic constraints on classical entailment which give rise to a family of infra-classical logics with appealing properties. More specifically, our infra-classical reasoning demands (beyond ${\alpha\models\beta}$ ) that Mod(β) does not run wild, but lies within the scope (whatever that may mean in some specific context) of Mod(α), and which can be described by a sentence ${\bullet\alpha}$ with ${\beta\models\bullet\alpha}$ . Besides being infra-classical, the resulting logic is also non-monotonic and allows for non-trivial reasoning in the presence of inconsistencies. (shrink)

This chapter provides broad coverage of the notion of logical consequence, exploring its modal, semantic, and epistemic aspects. It develops the contrast between proof-theoretic notion of consequence, in terms of deduction, and a model-theoretic approach, in terms of truth-conditions. The main purpose is to relate the formal, technical work in logic to the philosophical concepts that underlie reasoning.

The formal sciences, particularly mathematics, have had a profound influence on the development of linguistics. This insightful overview looks at techniques that were introduced in the fields of mathematics, logic and philosophy during the twentieth century, and explores their effect on the work of various linguists. In particular, it discusses the 'foundations crisis' that destabilised mathematics at the start of the twentieth century, the numerous related movements which sought to respond to this crisis, and how they influenced the development (...) of syntactic theory in the 1950s. The book concludes by discussing the resulting major consequences for syntactic theory, and provides a detailed reassessment of Chomsky's early work at the advent of Generative Grammar. Informative and revealing, this book will be invaluable to all those working in formal linguistics, in particular those interested in its history and development. (shrink)

Kind representations, concepts like table, triangle, dog, and planet, underlie generic language. Here, we investigate the formal structure of kind representations—the structure that distinguishes kind representations from other types of representations. The present studies confirm that participants distinguish generic‐supporting properties of individuals (e.g., this watch is made of steel) and accidental properties (e.g., this watch is on the nightstand). Furthermore, work dating back to Aristotle establishes that only some generic‐supporting properties bear a principled connection to the kind, that is, (...) are true of an individual by virtue of its being a member of a specific kind (e.g., telling time for a watch). The present studies tested the hypothesis that principled connections are part of the formal structure of kind representations. Specifically, they tested whether they structure a newly learned kind representation. Experiment 1 found that introducing a property of a newly encountered novel kind in any one of four linguistic frames that provide evidence that a property has a principled connection to a kind (e.g., “It has fur because it is a blick”) led participants to infer a different conceptual consequence of principled connections (i.e., “There is something wrong with this blick, which does not have fur”) for which they had no direct evidence. Two introduction frames that provided no evidence for principled connections (e.g., “Almost all blicks have fur”) did not generate the same consequence. Experiment 2 found that all of the targeted properties were generic licensing, irrespective of the introduction frame. That the distinction between properties that bear principled connections to their kinds, and merely generic‐supporting properties structures novel kind representations, provides strong evidence that this distinction is part of the formal structure of kind representations. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in (...) the light of supraclassical consequence. (shrink)

In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand different attempts to formalize darwinism have been made, while, on the other hand, different attempts to naturalize logic and mathematics have been put forward. Those researches may appear either to be completely distinct or at least in some way convergent. They may in fact both be seen as supporting a naturalistic stance. Evolutionism is indeed crucial for a (...) naturalistic perspective, and formalizing it seems to be a way to strengthen its scientificity. The paper shows that, on the contrary, those directions of research may be seen as conflicting, since the conception of knowledge on which they rest may be undermined by the consequences of accepting an evolutionary perspective. (shrink)

The aim of my paper is to compare three alternative formal reconstructions of van Inwagen’s famous argument for incompatibilism. In the first part of my paper, I examine van Inwagen’s own reconstruction within a propositional modal logic. I point out that, due to the expressive limitations of his propositional modal logic, van Inwagen is unable to argue directly (that is, within his formal framework) for incompatibilism. In the second part of my paper, I suggest to reconstruct van Inwagen’s (...) argument within a first-order predicate logic. I show, however, that even though this reconstruction is not susceptible to the same objection, this reconstruction can be shown to be inconsistent (given van Inwagen’s own assumptions). At the end of my paper, I suggest to reconstruct van Inwagen’s argument within a quantified counterfactual logic with propositional quantifiers. I show that within this formal framework van Inwagen would not only be able to argue directly for incompatibilism, he would also be able to argue for crucial assumptions of his argument. (shrink)

The knowledge representation and reasoning of both humans and artificial systems often involves conditionals. A conditional connects a consequence which holds given a precondition. It can be easily recognized in natural languages with certain key words, like “if” in English. A vast amount of literature in both fields, both artificial intelligence and psychology, deals with the questions of how such conditionals can be best represented and how these conditionals can model human reasoning. On the other hand, findings in the (...) psychology of reasoning, such as those in the Suppression Task, have led to a paradigm shift from the monotonicity assumptions in human inferences towards nonmonotonic reasoning. Nonmonotonic reasoning is sensitive for information change, that is, inferences are drawn cautiously such that retraction of previous information is not required with the addition of new information. While many formalisms of nonmonotonic reasoning have been proposed in the field of Artificial Intelligence, their capability to model properties of human reasoning has not yet been extensively investigated. In this paper, we analyzed systematically from both a formal and an empirical perspective the power of formal nonmonotonic systems to model possible explicit defeaters, as in the Suppression Task, and more implicit conditional rules that trigger nonmonotonic reasoning by the keywords in such rules. The results indicated that the classical evaluation for the correctness of inferences has to be extended in the three major aspects regarding the inference system, the knowledge base, and possible assumed exceptions for the rule. (shrink)

Abstract.Formal topologies are today an established topic in the development of constructive mathematics. One of the main tools in formal topology is inductive generation since it allows to introduce inductive methods in topology. The problem of inductively generating formal topologies with a cover relation and a unary positivity predicate has been solved in [CSSV]. However, to deal both with open and closed subsets, a binary positivity predicate has to be considered. In this paper we will show how (...) to adapt to this framework the method used to generate inductively formal topologies with a unary positivity predicate; the main problem that one has to face in such a new setting is that, as a consequence of the lack of a complete formalization, both the cover relation and the positivity predicate can have proper axioms. (shrink)