While standard procedures of causal reasoning as procedures analyzing causal Bayesian networks are custom-built for (non-deterministic) probabilistic struc- tures, this paper introduces a Boolean procedure that uncovers deterministic causal structures. Contrary to existing Boolean methodologies, the procedure advanced here successfully analyzes structures of arbitrary complexity. It roughly involves three parts: first, deterministic dependencies are identified in the data; second, these dependencies are suitably minimalized in order to eliminate redundancies; and third, one or—in case of ambiguities—more than one causal structure is (...) assigned to the minimalized deterministic dependencies. (shrink)

Desde que Peirce la creara, la naturaleza de la inferencia abductiva ha sido interpretada de muchas maneras. Se analizan tres interpretaciones de ella y algunas de sus derivaciones, para luego examinar la posibilidad de considerar la abducción como una virtud argumentativa, de carácter cognitivo, en consonancia con las teorías actuales de las virtudes epistemológicas surgidas a partir de la obra de E. Sosa y de las virtudes argumentativas según A. Aberdein. Sobre la base de dicha interpretación se propone que la (...) abducción puede cumplir con el rol de justificación de aquellas reglas de deducción natural que introducen cláusulas hipotéticas. (shrink)

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory (...) and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

The article deals with some facets of the phenomenon of the underdetermination of meaning by (linguistic) data which are particularly relevant for textual exegesis in the historico-philological disciplines. The paper attempts to demonstrate that lack of relevant information is by no means the only important reason why certain issues of interpretation cannot be definitely settled by means of traditional philological methods but that the objective nonexistence of pertinent data is equally significant. It is claimed that the phenomenon of objective under-determination (...) possesses among others two major consequences: (1) A strict separation between the exploration of the history of (Indian) philosophy and philosophical criticism is theoretically incorrect. (2) Transference of indeterminacy and vagueness to the target langue in translations of textual sources is not only legitimate but sometimes most appropriate. Presumably the relevance of the discussed issues is not strictly confined to the area of Indian philosophy. (shrink)

The Modal Predicate Calculus gives rise to issues surrounding the Barcan formulas, their converses, and necessary existence. I examine these issues by means of the Quantified Argument Calculus, a recently developed, powerful formal logic system. Quarc is closer in syntax and logical properties to Natural Language than is the Predicate Calculus, a fact that lends additional interest to this examination, as Quarc might offer a better representation of our modal concepts. The validity of the Barcan formulas and their converses is (...) shown by Quarc to be a result of the specific incorporation of quantification in the Predicate Calculus, and not as reflecting a feature of the interaction of quantification and modality more generally. Necessary existence is shown to follow from the identification, in the Predicate Calculus on its canonical interpretation, of particular quantification, ascription of existence and the ‘there is’ construction, three constructions which are distinguished in both Quarc and Natural Language. The issues surrounding the Barcan formulas, their converses and necessary existence are thus shown to be an artefact of a specific logic system, not an essential feature of our relevant modal concepts or of formal logic. (shrink)

The standard natural deduction rules for the identity predicate have seemed to some not to be harmonious. Stephen Read has suggested an alternative introduction rule that restores harmony but presupposes second-order logic. Here it will be shown that the standard rules are in fact harmonious. To this end, natural deduction will be enriched with a theory of definitional identity. This leads to a novel conception of canonical derivation, on the basis of which the identity elimination rule can be justified in (...) a proof-theoretical manner. (shrink)

The phrase ‘autoepistemic logic’ was introduced in Moore [1985] to refer to a study inspired in large part by criticisms in Stalnaker [1980] of a particular nonmonotonic logic proposed by McDermott and Doyle.1 Very informative discussions for those who have not encountered this area are provided by Moore [1988] and the wide-ranging survey article Konolige [1994], and the scant remarks in the present introductory section do not pretend to serve in place of those treatments as summaries of the field. A (...) good deal of the material omitted here pertains to the specifically nonmonotonic nature of autoepistemic logic as standardly developed, but as we shall urge, there is from one point of view nothing distinctively nonmonotonic about the basic motivating ideas of the subject. (shrink)

Jean-Yves Béziau (‘Classical Negation can be Expressed by One of its Halves’, Logic Journal of the IGPL 7 (1999), 145–151) has given an especially clear example of a phenomenon he considers a sufficiently puzzling to call the ‘paradox of translation’: the existence of pairs of logics, one logic being strictly weaker than another and yet such that the stronger logic can be embedded within it under a faithful translation. We elaborate on Béziau’s example, which concerns classical negation, as well as (...) giving some additional background (especially from intuitionistic logic) to the example. Our interest is more on the logical exploration of the phenomenon Béziau’s case exemplifies than on the question of whether that phenomenon is (even prima facie ) paradoxical, though in Section 5 we do approach the latter question – somewhat obliquely – by considering an analogous phenomenon which it is hard to find puzzling. (shrink)

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

This paper is concerned with the connection between the causal exclusion argument and the supervenience argument and, in particular, with two exclusion principles that figure prominently in these arguments. Our aim is, first, to reconstruct the dialectics of the two arguments by formalizing them and by relating them to an anti-physicalist argument by Scott Sturgeon. In a second step, we assess the conclusiveness of the two arguments. We demonstrate that the conclusion of both the causal exclusion argument and the supervenience (...) argument (a negation of the so called ?non-identity premise?) is not tantamount to the claim that all mental events are identical to physical events and that a cause-supervenience exclusion principle is actually required for the validity of the first stage of the supervenience argument. Moreover, we show that this new exclusion principle makes an epiphenomenalism with respect to mental events an impossible position, and that there are good reasons to believe in its falsity, rendering the supervenience argument inconclusive. (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)

The central claim of this thesis is that concepts, the components from which cognitively significant truth evaluable content (thought) is composed, are unstructured entities an account of whose individuation makes no essential reference to other concepts in the possession of the thinking subject or to any particular means by which the reference of the concept is identified by the thinking subject. This position is called Conceptual Atomism and contrasts with Inferential Role Semantics, according to which concepts are individuated by their (...) inferential roles or their conditions of warranted application. The structure of the argument is as follows. Firstly, a principle called the Transparency Principle is developed. This places constraints on the individuation of concepts across differing contexts. The Transparency Principle is then used to show that Inferential Role Semantics is false because it cannot provide a satisfactory account of cognitive dynamics; that is, of the conditions under which a concept is retained through changes in the epistemic state of the subject over a period of time. A version of Conceptual Atomism is then defended and it is shown that this theory yields the correct individuation of concepts. According to this theory the concepts of an individual subject are individuated in terms of referential episodes, episodes of ongoing reference to an object or property during which it is diachronically transparent to the subject that the same thing is being referred to. The more general notion of a referential practice is then used to account for the sharing of concepts by more than one person. Finally, a novel account of the thoughts expressed using indexical terms is defended in order to show that indexicals present no counterexample to Conceptual Atomism. This account of indexical thoughts is of some consequence in its own right. (shrink)

A proof employing no semantic terms is offered in support of the claim that there can be truths without truthmakers. The logical resources used in the proof are weak but do include the structural rule Contraction.

De acuerdo con los principales enfoques al respecto la lógica de los estoicos es principalmente un sistema deductivo, lo que, en términos actuales, ha sido visto como un sistema de lógica proposicional. La obra de Crísipo acerca de los cinco argumentos indemostrables constituye la principal base de dicho sistema. En este artículo se examina la naturaleza de dichos cinco indemostrables así como el llamando teorema de Antipatro y los esquemas básicos de inferencia, o zemas. Por otra parte y en particular, (...) sostengo que dichos argumentos indemostrables tienen otro importante rol para la filosofía y la historia de la lógica, cual es el de constituirse en una justificación de la deducción, un problema central en el presente. Se analiza, primero, la justificación por los indemostrables y por el principio de condicionalización y, segundo, la justificación cognitiva de la lógica implícita en un sistema estoico. (shrink)