This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

Perhaps there has been no greater opportunity than in this “VOLUME FIFTEEN of our Death And Anti-Death set of anthologies” to write about how might think about life and how to avoid death. There are two reasons to discuss “life”, the first being enhancing our understanding of who we are and why we may be here in the Universe. The second is more practical: how humans meet the physical challenges brought about by the way they have interacted with their environment. (...) Many persons discussing “life” beg the question about what “life” is. Surely, when one discusses how to overcome its opposite, death, they are not referring to another “living” thing such as a plant. There seems to be a commonality, though, and it is this commonality is one needing elaboration. It ostensibly seems to be the boundary condition separating what is completely passive (inert) from what attempts to maintain its integrity, as well as fulfilling other conditions we think “life” has. In our present discussion, there will be a reminder that it by no means has been unequivocally established what life really is by placing quotes around the word, namely, “life”. Consider it a tag representing a bundle of philosophical ideas that will be unpacked in this paper. (shrink)

This is a review of Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, written by Jon Barwise and Lawrence Moss and published by CSLI Publications in 1996.

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

Work on analogy has been done from a number of disciplinary perspectives throughout the history of Western thought. This work is a multidisciplinary guide to theorizing about analogy. It contains 1,406 references, primarily to journal articles and monographs, and primarily to English language material. classical through to contemporary sources are included. The work is classified into eight different sections (with a number of subsections). A brief introduction to each section is provided. Keywords and key expressions of importance to research on (...) analogy are discussed in the introductory material. Electronic resources for conducting research on analogy are listed as well. (shrink)

In this paper we investigate the logical consequences of the common understanding of amateurism in the context of big-time US college athletics, and in so doing, illustrate a method based on linguistic analysis and logic. The initial thrust of the paper centres on the term ?amateur? as presupposed by the late Professor Brand in his attempt to justify the ?business? of NCAA-sponsored Division I sports by decoupling the ?participants from the enterprise?. Next, we examine a more rigorous definition of the (...) term ?amateur? in order to show more clearly the difficulties posed by the current situation in college athletics. Additionally, our use of linguistic analysis exposes a flaw in the NCAA's recent move to amend by-law 12.02 in an attempt to avoid the charge of exploitation. Lastly, we put forth a new proposal for better dealing with the central issues swirling around the NCAA as it strives to formulate sound policy at this ?tectonic? juncture of players, fans, college programmes and academic integrity. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

Logic is the systematic study of patterns of correct inference. The first treatise on logic is Aristotle's Prior Analytics , written around 350 B.C. and there are remarkable similarities between the way he presented his theory of valid arguments and the way it is still taught today. He analyzes the form of various inferences and then illustrates them with concrete examples. He begins with very simple cases.

হেগেল তাঁর “লজিক এজ মেটাফিজিক্স” নামক গ্রন্থাংশের শুরুতেই অল্প ব্যবধানে যুক্তিবিদ্যার দৃশ্যত দুটি ভিন্ন সংজ্ঞা প্রদান করেন। এ দুটি সংজ্ঞানুযায়ী, যুক্তিবিদ্যা বিশুদ্ধ ধারণার বিজ্ঞান হলেও এটিকে চিন্তার বিজ্ঞান হিসেবেও আখ্যায়িত করা যেতে পারে। কিন্তু প্রশ্ন হলো, হেগেল একই গ্রন্থাংশে অল্প ব্যবধানে যুক্তিবিদ্যার এ যে দুটি ভিন্ন সংজ্ঞা প্রদান করলেন, তার কারণ কী? বা এ দুটি সংজ্ঞার মধ্যে সম্পর্কই বা কী? তারা কি একে অপরকে সমর্থন করে? বা তারা কি আসলেই ভিন্ন দুটি সংজ্ঞা? নাকি একই বক্তব্যের দুটি ভিন্ন প্রকাশ? এ প্রশ্নগুলোর (...) উত্তর খোঁজাই বর্তমান প্রবন্ধের মূল উদ্দেশ্য। এক কথায়, প্রবন্ধের মূল উদ্দেশ্য হচ্ছে, হেগেল প্রদত্ত যুক্তিবিদ্যার দুটি ভিন্ন সংজ্ঞার মধ্যকার সম্পর্ক নির্ণয়। প্রবন্ধে লেখক দেখিয়েছেন যে, হেগেল প্রদত্ত যুক্তিবিদ্যার সংজ্ঞা দুটির মধ্যে পারস্পরিক যে সম্পর্ক তা কোনোভাবেই সাংঘর্ষিক বা বর্জনমূলক নয়। বরং এ সম্পর্ক রূপান্তরমূলক বা স্পষ্টীকরণমূলক বলে সংজ্ঞাদ্বয়কে একই মুদ্রার এপিঠ ওপিঠ বললেও অত্যুক্তি হবে না।. (shrink)

Jay Newhard (2021) proposes a novel solution to the Liar Paradox, which he calls the alethic indeterminacy solution to the Liar Paradox. Bradley Armour-Garb (2021) raises a pair of objections to the alethic indeterminacy solution. Both objections are based upon the alethic indeterminacy solution’s alleged commitment that the truth conditions for a Liar Sentence are indeterminate, and therefore not true. In this paper, this alleged commitment is shown to be mistaken. The alethic indeterminacy solution is compatible with maintaining that the (...) truth conditions for a Liar Sentence are a non-truth-functional biconditional which is true, and not indeterminate. Logically complex sentences are typically and standardly treated as truth-functional, and the philosophical literature on non-truth-functionality is diffuse. Two independent accounts of non-truth-functional biconditionals are defended. The first account is based on the claim that indicative conditionals express a non-truth-functional dependency relation between consequent and antecedent. The second account is based upon connected sentences having interdependent truth conditions, which can occur with any polyadic connective. These accounts are fully general, not ad hoc measures. Each account solves both of Armour-Garb’s objections. With both objections met, the alethic indeterminacy solution is shown to be a viable solution to the Liar Paradox worth further development. (shrink)

Universal Generalization, if it is not the most poorly understood inference rule in natural deduction, then it is the least well explained or justified. The inference rule is, prima facie, quite ambitious: on the basis of a fact established of one thing, I may infer that the fact holds of every thing in the class to which the one belongs—a class which may contain indefinitely many things. How can such an inference be made with any confidence as to its validity (...) or ability to preserve truth from premise to conclusion? My goal in this paper is to explain how Universal Generalization works in a way that makes sense of its ability to preserve truth. In doing so, I shall review common accounts of Universal Generalization and explain why they are inadequate or are explanatorily unsatisfying. Happily, my account makes no ontological or epistemological presumptions and therefore should be compatible with whichever ontological or epistemological schemes the reader prefers. (shrink)

Arnold Cusmariu ABSTRACT: The Cogito formulation in Discourse on Method attributes properties to one conceptual category that belong to another. Correcting the error ends up defeating Descartes’ response to skepticism. His own creation, the Evil Genius, is to blame. Download PDF.

This volume presents a selection of papers reflecting key theoretical issues in argumentation theory. Its six sections are devoted to specific themes, including the analysis and evaluation of argumentation, argument schemes and the contextual embedding of argumentation. The section on general perspectives on argumentation discusses the trends of empiricalization, contextualization and formalization, offers descriptions of the analytical and evaluative tools of informal logic, and highlights selected principles that argumentation theorists do and do not agree upon. In turn, the section on (...) linguistic approaches to argumentation focuses on the problem of distinguishing between explanation and argument, while also elaborating on the role of verbal indicators of argument schemes. All essays included in this volume point out notable recent developments in the study of argumentation. (shrink)

This essay on the social history of logic instruction considers the programmatic writings of Carnap/Neurath, but especially in the widely read book by Lillian Lieber, Mits, Wits and Logic, where Mits is the man in the street and Wits the woman in the street. In the ‘pre-Toulmin’ days it was seriously argued that the intense study of formal logic would create a more rational frame of mind and have many beneficial effects upon the social and political life. It arose from (...) the conviction that most metaphysical conundrums, religious and political problems and even fanaticism had their root in the irrationality of ordinary discourse, which had to be replaced by the more logical ‘ideal language’ of Principia Mathematica. The enthusiastic promotion of formal logic occurred at a time when it was widely thought that minds could be ‘made over’, ‘reprogrammed’ by proper intervention. This stands in stark contrast to the motivation for teaching informal logic and critical thinking, as it becomes apparent in a 1981 exchange between Ralph Johnson and Gerald Massey in Teaching Philosophy. Most of this essay focuses on Lillian Lieber, an earnest and enthusiastic advocate of the cause of formal logic, and on the reasons for the widespread conviction that, for the sake of peace and social harmony, formal logic should, if possible, be taught to every man, woman and child. (shrink)

This paper illustrates the difficulties that context-dependence poses for defining the so-called logical fallacies of affirming the consequent and denying the antecedent. In particular, I question whether these fallacies can be identified with specific argument patterns. I argue that judging such patterns as fallacious is relative to a) the type of underlying reasoning, and b) the world-knowledge deemed relevant to the argumentation at hand. It is concluded that a more context-sensitive definition should be pursued.

I will suggest, in this article, a possible explanation of the fact that legal language appears incoherent to the general public. I will present one legal text (an indictment), explaining why it appears incoherent to legal laypersons. I will argue that the traits making this particular text appear incoherent are, first, that a specialized legal meaning is conveyed implicitly and, second, that there are no key-words that could direct laypersons to the knowledge making this meaning obvious to legalists. I will (...) conclude that any legal text having these traits is likely to appear incoherent to the general public and suggest that the traits making my example appear incoherent might be rather common among the various texts of the various legal systems. On this suggestion there is no need to assume any causal relation between lawyers’ social interests and the apparent incoherence of legal language as it entails that this incoherence is inevitable. (I will argue that it is a result of the facts that legal language is ordinary language used, in the ordinary way, in the special context of the legal discourse.). (shrink)

The title of this paper may seem to involve a contradiction: my purpose is to show that it does not.Individuals fall into two categories; those which depend for their existence upon the existence of other individuals, and those which do not. In the second category are found such things as shoes, ships, cabbages, kings, and discrete bits of sealing wax. These may be calledindividual substances, and the way in which the existence of a cabbage depends upon water and earth, or (...) in which Descartes says the existence of all things depends upon God, will not be in point here. The individuals of the first category are characterized by a much more obvious kind of dependence. They include the sound of an individual shoe falling on the floor, the sinking of theBismarck, the stupidity of George I, the centre of gravity of a bit of sealing wax. All these are individuals, though they are not individual substances. They are what I shall callabstract individuals, orabstract particulars. (shrink)

The inaugural title in the new, Open Access series BSPS Open, The Material Theory of Induction will initiate a new tradition in the analysis of inductive inference. The fundamental burden of a theory of inductive inference is to determine which are the good inductive inferences or relations of inductive support and why it is that they are so. The traditional approach is modeled on that taken in accounts of deductive inference. It seeks universally applicable schemas or rules or a single (...) formal device, such as the probability calculus. After millennia of halting efforts, none of these approaches has been unequivocally successful and debates between approaches persist. The Material Theory of Induction identifies the source of these enduring problems in the assumption taken at the outset: that inductive inference can be accommodated by a single formal account with universal applicability. Instead, it argues that that there is no single, universally applicable formal account. Rather, each domain has an inductive logic native to it. Which that is, and its extent, is determined by the facts prevailing in that domain. Paying close attention to how inductive inference is conducted in science and copiously illustrated with real-world examples, The Material Theory of Induction will initiate a new tradition in the analysis of inductive inference. (shrink)

Tagmemic theory as a semiotic theory can be used to analyze multiple systems of logic and to assess their strengths and weaknesses. This analysis constitutes an application of semiotics and also a contribution to understanding of the nature of logic within the context of human meaning. Each system of logic is best adapted to represent one portion of human rationality. Acknowledging this correlation between systems and their targets helps explain the usefulness of more than one system. Among these systems, the (...) two-valued system of classical logic takes its place. All the systems of logic can be incorporated into a complex mathematical model that has a place for each system and that represents a larger whole in human reasoning. The model can represent why tight formal systems of logic can be applied in some contexts with great success, but in other contexts are not directly applicable. The result suggests that human reasoning is innately richer than any one formal system of logic. (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.

In this paper, we will explore two initiatives that focus on the importance of employing logical theories in educating people how to think and reason properly, one in Poland: The Lvov-Warsaw School; the other in North America: The Informal Logic Initiative. These two movements differ in the logical means and skills that they focus on. However, we believe that they share a common purpose: to educate students in logic and reasoning (logical education conceived as a process) so that they may (...) be able to apply their skills to analyze the issues in their society (logical culture as a result of logical education). The aim of the paper is to justify this claim by exploring research objectives and products that are common to both movements. (shrink)

This paper presents a unified, more-or-less complete, and largely pragmatic theory of indicative conditionals as they occur in natural language, which is entirely truth-functional and does not involve probability. It includes material implication as a special—and the most important—case, but not as the only case. The theory of conditional elements, as we term it, treats if-statements analogously to the more familiar and less controversial other truth-functional compounds, such as conjunction and disjunction.

Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Jaśkowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks—the standard conduits of (...) the method to a generation of philosophers—with an eye to determining what the ‘essential characteristics’ of natural deduction are. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

We propose the use of variable declarations in natural deduction. A variable declaration is a line in a derivation that introduces a new variable into the derivation. Semantically, it can be regarded as declaring that the variable denotes an element of the universe of discourse. Undeclared variables, in contrast, do not denote anything, and may not occur free in any formula in the derivation. Although most natural deduction systems in use today do not have variable declarations, the idea can be (...) traced back to one of the first papers on natural deduction. We show how the use of variable declarations in natural deduction leads to a formal system that has a number of desirable features: It is simple, easy to use and understand, and corresponds closely to ordinary informal reasoning. Soundness and completeness of the system are easily proven. Furthermore, the system clarifies the role of the existential instantiation rule in natural deduction. (shrink)

I characterize the deductivist ideal of justification and, following to a great extent Toulmin’s work The Uses of Argument, I try to explain why this ideal is erroneous. Then I offer an alternative model of justification capable of making our claims to knowledge about substantial matters sound and reasonable. This model of justification will be based on a conception of justification as the result of good argumentation, and on a model of argumentation which is a pragmatic linguistic reconstruction of Toulmin’s (...) model of argument. (shrink)

Even with Kientpointer's and Walton's valuable work, we do not yet have a complete theory of argument schemes. A complete theory of argument schemes should contain at least the following: its theoretical motivation, the denotation of "argument" or "ar gumentation" used in the theory, an analysis of the concept of an argument scheme, a theory of classification of argument schemes, a solution to the problem of identifying which scheme is correct, and an account of the grounds of the normativity or (...) normat ive argument schemes. The paper will supply these elements, worked out as fully as space permits. (shrink)

The paper aims to provide an analysis and critique of Carl Wellman’s account of conduction presented in Challenge and Response and Morals and Ethics. It considers several issues, including: reason-ing vs. argument, the definition vs. the three patterns of conduction, pro and con arguments as dialogues, their assessment, the concept of validity, applications beyond moral arguments, argument type vs. as crite-rion of evaluation.

This essay attempts to give definitions and identity conditions for the two predominant senses of ‘Argument’ currently in use, the one involving reasons for a conclusion and the other denoting an expressed disagreement with ensuing verbal behaviour by two parties. I see Johnson's new concept of ‘Argument’, as developed in his book Manifest Rationality, as a hybrid of the two common senses of ‘Argument’, and, accordingly, I try to define and give the identity conditions of Johnson-arguments. Finally, I disagree with (...) Johnson on the nature of the definition he thinks he has proposed, and I conclude with observations suggesting that his logical perspective has dialectical and rhetorical components. (shrink)

The epsilon calculus improves upon the predicate calculus by systematically providing complete individual terms. Recent research has shown that epsilon terms are therefore the “logically proper names” Russell was not able to formalize, but their use improves upon Russell’s theory of descriptions not just in that way. This paper details relevant formal aspects of the epsilon calculus before tracing its extensive application not just to the theory of descriptions, but also to more general problems with anaphoric reference. It ends by (...) contrasting a Meinongian account of cross-reference in intensional constructions with the epsilon account. (shrink)

This article uses tagmemic theory as a semiotic framework to analyze symbolic logic. It attends particularly to the issue of context for meaning and the role of personal observer/participants. It focuses on formal languages, which employ no ordinary words and from one point of view have “no meaning.” Attention to the context and the theorists who deploy these languages shows that formal languages have meanings at a higher level, colored by the purposes of the analysts. In fact, there is an (...) indefinitely ascending hierarchy of theories of theories, each of which analyzes and evaluates the theories at a lower level. By analogy with Kurt Gödel’s incompleteness theory, no level of the hierarchy can capture within formalism everything in a sufficiently complex system. The personal analysts always have to make judgments about how a formalized system is analogous to the world outside the system. Arguments in analytic philosophy can be useful in clarification, but neither clarification of terms nor clarification of the structure of arguments can eliminate the need for personal judgment. (shrink)

In this paper I examine some research on how to diminish or eliminate stereotype threat in mathematics. Some of the successful strategies include: informing our students about stereotype threat, challenging the idea that logical intelligence is an “innate” ability, making students In threatened groups feel welcomed, and introducing counter-stereotypical role models. The purpose of this paper is to take these strategies that have proven successful and come up with specific ways to incorporate them into introductory logic classes. For example, the (...) possible benefit of presenting logic to our undergraduate students by concentrating on aspects of logic that do not result in a clash of schemas. (shrink)