Switch to: References

Citations of:

Symbolic Logic

Journal of Symbolic Logic 32 (2):252-255 (1965)

Add citations

You must login to add citations.
  1. Composition and Identities.Manuel Lechthaler - 2017 - Dissertation, University of Otago
    Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Semantic Criteria of Correct Formalization.Timm Lampert - 2010 - In Lampert Timm (ed.), Proceedings of Gap Conference.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  • Philosophical foundations of the Death and Anti-Death discussion.Jeremy Horne - 2017 - Death And Anti-Death Set of Anthologies 15:72.
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • John Barwise & Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena[REVIEW]Varol Akman - 1997 - Journal of Logic, Language and Information 6 (4):460-464.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  • Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Context-Dependence and the Defining of Logical Fallacies.Theodora Achourioti - unknown
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  • On the Incoherence of Legal Language to the General Public.Sol Azuelos-Atias - 2011 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 24 (1):41-59.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Resources for Research on Analogy: A Multi-disciplinary Guide.Marcello Guarini, Amy Butchart, Paul Simard Smith & Andrei Moldovan - 2009 - Informal Logic 29 (2):84-197.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A Spatio-Temporal Ontology for Geographic Information Integration.Thomas Bittner & Barry Smith - 2009 - International Journal for Geographical Information Science 23 (6):765-798.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Impossible worlds and logical omniscience: an impossibility result.Jens Christian Bjerring - 2013 - Synthese 190 (13):2505-2524.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • The Feminist Critique [Repudiation] of Logic.Noretta Koertge - manuscript
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The punctuational sources of the truth-functional 'or'.R. E. Jennings - 1986 - Philosophical Studies 50 (2):237-259.
    Download  
     
    Export citation  
     
    Bookmark  
  • যুক্তিবিদ্যা বিষয়ক হেগেলের সংজ্ঞা: একটি পর্যালোচনা.Kazi A. S. M. Nurul Huda - 2022 - Dorshon o Progoti 39 (1-2):67-85.
    হেগেল তাঁর “লজিক এজ মেটাফিজিক্স” নামক গ্রন্থাংশের শুরুতেই অল্প ব্যবধানে যুক্তিবিদ্যার দৃশ্যত দুটি ভিন্ন সংজ্ঞা প্রদান করেন। এ দুটি সংজ্ঞানুযায়ী, যুক্তিবিদ্যা বিশুদ্ধ ধারণার বিজ্ঞান হলেও এটিকে চিন্তার বিজ্ঞান হিসেবেও আখ্যায়িত করা যেতে পারে। কিন্তু প্রশ্ন হলো, হেগেল একই গ্রন্থাংশে অল্প ব্যবধানে যুক্তিবিদ্যার এ যে দুটি ভিন্ন সংজ্ঞা প্রদান করলেন, তার কারণ কী? বা এ দুটি সংজ্ঞার মধ্যে সম্পর্কই বা কী? তারা কি একে অপরকে সমর্থন করে? বা তারা কি আসলেই ভিন্ন দুটি সংজ্ঞা? নাকি একই বক্তব্যের দুটি ভিন্ন প্রকাশ? এ প্রশ্নগুলোর (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • How Universal Generalization Works According to Natural Reason.Kyle S. Hodge - 2021 - Cogency: Journal of Reasoning and Argumentation 13 (2):139-148.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reclaiming the Stroop Effect Back From Control to Input-Driven Attention and Perception.Daniel Algom & Eran Chajut - 2019 - Frontiers in Psychology 10.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Completing Russell’s Logic.Hartley Slater - 2007 - Russell: The Journal of Bertrand Russell Studies 27 (1).
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reflections on Theoretical Issues in Argumentation Theory.Frans Hendrik van Eemeren & Bart Garssen (eds.) - 2015 - Cham, Switzerland: Springer.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • An Exploration of Johnson's Sense of ‘Argument’.Hans Vilhelm Hansen - 2002 - Argumentation 16 (3):263-276.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The Whole Truth about Partial Truth Tables.Keith Burgess-Jackson - 2020 - Open Journal of Philosophy 10 (2):192-219.
    Download  
     
    Export citation  
     
    Bookmark  
  • The material theory of induction.John D. Norton - 2021 - Calgary, Alberta, Canada: University of Calgary Press.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Reducing Stereotype Threat in First-Year Logic Classes.Vanessa Lehan - 2015 - Feminist Philosophy Quarterly 1 (2):1-13.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Trouble no more: how non-truth-functionality makes the alethic indeterminacy solution to the Liar Paradox viable.Jay Newhard - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Semiotic analysis of symbolic logic using tagmemic theory: with implications for analytic philosophy.Vern S. Poythress - 2021 - Semiotica 2021 (243):171-186.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.
    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.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Logical Culture as a Common Ground for the Lvov-Warsaw School and the Informal Logic Initiative.Ralph H. Johnson & Marcin Koszowy - 2018 - Studies in Logic, Grammar and Rhetoric 55 (1):187-229.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Agent‐based computational models and generative social science.Joshua M. Epstein - 1999 - Complexity 4 (5):41-60.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Re-programming the Mind through Logic. The Social Role of Logic in Positivism and Lieber’s Mits, Wits and Logic.Rolf George & Nina Gandhi - unknown
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Argumentation Theory and the conception of epistemic justification.Lilian Bermejo-Luque - 2009 - In Marcin Koszowy (ed.), Informal logic and argumentation theory. Białystok: University of Białystok. pp. 285--303.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Abstract Individuals.Storrs McCall - 1966 - Dialogue 5 (2):217-231.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • The Full Theory of Conditional Elements: Enumerating, Exemplifying, and Evaluating Each of the Eight Conditional Elements.Joseph S. Fulda - 2010 - Acta Analytica 25 (4):459-477.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Clarifying Amateurism: A Logical Approach to Resolving the Exploitation of College Athletes Dilemma.Kadence A. Otto & Herbert R. Otto - 2013 - Sport, Ethics and Philosophy 7 (2):259-270.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Theory of Normative Reasoning Schemes.J. Anthony Blair - unknown
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Variable declarations in natural deduction.Daniel J. Velleman - 2006 - Annals of Pure and Applied Logic 144 (1-3):133-146.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A semiotic analysis of multiple systems of logic: using tagmemic theory to assess the usefulness and limitations of formal logics, and to produce a mathematical lattice model including multiple systems of logic.Vern Poythress - 2022 - Semiotica 2022 (244):145-162.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The Cogito Paradox.Arnold Cusmariu - forthcoming - Symposion. Theoretical and Applied Inquiries in Philosophy and Social Sciences.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  • Rules, Defaults, and the Meta-level of Informal Logic.Peter D. Asquith - unknown
    Download  
     
    Export citation  
     
    Bookmark  
  • Human rationality: Misleading linguistic analogies.Geoffrey Sampson - 1981 - Behavioral and Brain Sciences 4 (3):350-351.
    Download  
     
    Export citation  
     
    Bookmark  
  • A critical examination and development of Wellman’s theory of conductive argument.J. Blair & Dale Hample - unknown
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The limits of logical empiricism: selected papers of Arthur Pap.Arthur Pap - 2006 - Dordrecht: Springer. Edited by Alfons Keupink & Sanford Shieh.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation