Switch to: References

Citations of:

Logic: Techniques of Formal Reasoning

Oxford University Press USA (1964)

Add citations

You must login to add citations.
  1. A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
    This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Implicit Association Test: Validity Debates.Anthony Greenwald - manuscript
    Note posted 9 Jun 08 : Modifications made today include a new section on predictive validity, and addition of recently published article and in in-press article, both by Nosek & Hansen, under the "CULTURE VS. PERSON" heading, which replaces a previously listed unpublished ms. of theirs. I continue to encourage all interested to send material that they are willing to be included on this page. Please also to let me know about errors, including faulty links.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Monotonicity in Practical Reasoning.Kenneth G. Ferguson - 2003 - Argumentation 17 (3):335-346.
    Classic deductive logic entails that once a conclusion is sustained by a valid argument, the argument can never be invalidated, no matter how many new premises are added. This derived property of deductive reasoning is known as monotonicity. Monotonicity is thought to conflict with the defeasibility of reasoning in natural language, where the discovery of new information often leads us to reject conclusions that we once accepted. This perceived failure of monotonic reasoning to observe the defeasibility of natural-language arguments has (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Commentary on Benjafield, James & Saroka.Robert C. Pinto - unknown
    Direct download (3 more)  
     
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  • Binding Bound Variables in Epistemic Contexts.Brian Rabern - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):533-563.
    ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Communication Across Viewpoints.Giuseppe Attardi & Maria Simi - 1998 - Journal of Logic, Language and Information 7 (1):53-75.
    A case situation arising in a normal interaction among people is the baseline for discussing properties of the theory of viewpoints. In particular we consider how to ensure agreement on the meaning of certain utterances by agents who have different perspectives on the situation, while maintaning other knowledge as private. We argue that communication should be modeled as adding facts to the common knowledge of agents. We introduce the principle of ''referent sharing'' in communications and argue that common knowledge resulting (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proceedings of Sinn Und Bedeutung 9.Emar Maier, Corien Bary & Janneke Huitink (eds.) - 2005 - Nijmegen Centre for Semantics.
  • Formalization and the Objects of Logic.Georg Brun - 2008 - Erkenntnis 69 (1):1 - 30.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Direct Deductive Computation on Discourse Representation Structures.Uwe Reyle & Dov M. Gabbay - 1994 - Linguistics and Philosophy 17 (4):343 - 390.
  • A Calculus for First Order Discourse Representation Structures.Hans Kamp & Uwe Reyle - 1996 - Journal of Logic, Language and Information 5 (3-4):297-348.
    This paper presents a sound and complete proof system for the first order fragment of Discourse Representation Theory. Since the inferences that human language users draw from the verbal input they receive for the most transcend the capacities of such a system, it can be no more than a basis on which more powerful systems, which are capable of producing those inferences, may then be built. Nevertheless, even within the general setting of first order logic the structure of the formulas (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • 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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • The Antinomy of the Variable: A Tarskian Resolution.Bryan Pickel & Brian Rabern - 2016 - Journal of Philosophy 113 (3):137-170.
    Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • La Lógica contemporánea en sus manuales. 1940-1980.Enrique Alonso & Víctor Aranda - 2020 - Endoxa 46:165.
    En este estudio analizamos dos tendencias claramente distintas y contrapuestas en la forma de impartir cursos elementales de Lógica en la formación superior. Para este propósito, se ha seleccionado una muestra de manuales angloamericanos clásicos, así como otra más pequeña de la tradición iberoamericana para comprobar nuestras hipótesis. Los estilos identificados y analizados en dichos manuales son lo que hemos denominado lógica matemática y lógica para filósofos. En ambos casos se trata de tendencias muy generales reconocibles en las más diversas (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Russell Vs. Frege on Definite Descriptions as Singular Terms.Francis Jeffry Pelletier & Bernard Linsky - 2009 - In Nicholas Griffin & Dale Jacquette (eds.), Russell Vs. Meinong: The Legacy of. Routledge.
    In ‘On Denoting’ and to some extent in ‘Review of Meinong and Others, Untersuchungen zur Gegenstandstheorie und Psychologie’, published in the same issue of Mind (Russell, 1905a,b), Russell presents not only his famous elimination (or contextual defi nition) of defi nite descriptions, but also a series of considerations against understanding defi nite descriptions as singular terms. At the end of ‘On Denoting’, Russell believes he has shown that all the theories that do treat defi nite descriptions as singular terms fall (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Rejectivism and the Challenge of Pragmatic Contradictions.Ben Martin - 2016 - Disputatio 8 (43):253-267.
    Rejectivism is one of the most influential embodiments of pragmatism within contemporary philosophy of logic, advancing an explanation of the meaning of a logical notion, negation, in terms of the speech act of denial. This paper offers a challenge to rejectivism by proposing that in virtue of explaining negation in terms of denial, the rejectivist ought to be able to explain the concept of contradiction partially in terms of denial. It is argued that any failure to achieve this constitutes an (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Psychological Explanation of Reasoning: Logical and Methodological Problems.Maurice A. Finocchiaro - 1979 - Philosophy of the Social Sciences 9 (3):277-291.
  • Scheinprobleme - Ein explikativer Versuch.Moritz Cordes - 2016 - Dissertation, University of Greifswald
    The traditional use of the expression 'pseudoproblem' is analysed in order to clarify the talk of pseudoproblems and related phenomena. The goal is to produce a philosophically serviceable terminology that stays true to its historical roots. This explicative study is inspired by and makes use of the method of logical reconstruction. Since pseudoproblems are usually expressed by pseudoquestions a formal language of questions is presented as a possible reconstruction language for alleged pseudoproblems. The study yields an informal theory of pseudoproblems (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Token-Reflexivity and Repetition.Alexandru Radulescu - 2018 - Ergo: An Open Access Journal of Philosophy 5:745-763.
    The classical rule of Repetition says that if you take any sentence as a premise, and repeat it as a conclusion, you have a valid argument. It's a very basic rule of logic, and many other rules depend on the guarantee that repeating a sentence, or really, any expression, guarantees sameness of referent, or semantic value. However, Repetition fails for token-reflexive expressions. In this paper, I offer three ways that one might replace Repetition, and still keep an interesting notion of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Introduction.Elisabeth Camp - 2007 - The Baltic International Yearbook of Cognition, Logic and Communication 3.
    Here, I offer a rapid overview of the theory of metaphor, in order to situate the contributions to this volume in relation to one another and within the field more generally.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Automated Natural Deduction in Thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
    Although resolution-based inference is perhaps the industry standard in automated theorem proving, there have always been systems that employed a different format. For example, the Logic Theorist of 1957 produced proofs by using an axiomatic system, and the proofs it generated would be considered legitimate axiomatic proofs; Wang’s systems of the late 1950’s employed a Gentzen-sequent proof strategy; Beth’s systems written about the same time employed his semantic tableaux method; and Prawitz’s systems of again about the same time are often (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.
    Despite the renown of ‘On Denoting’, much criticism has ignored or misconstrued Russell's treatment of scope, particularly in intensional, but also in extensional contexts. This has been rectified by more recent commentators, yet it remains largely unnoticed that the examples Russell gives of scope distinctions are questionable or inconsistent with his own philosophy. Nevertheless, Russell is right: scope does matter in intensional contexts. In Principia Mathematica, Russell proves a metatheorem to the effect that the scope of a single occurrence of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   49 citations