scholarly journals Minimum segments in sequent derivations

2003 ◽  
Vol 74 (88) ◽  
pp. 5-18
Author(s):  
Mirjana Borisavljevic

In a system of sequents for intuitionistic predicate logic derivations without a special kind of cuts (maximum cuts) will be considered. The following be shown: in a derivation without maximum cuts there are paths of the same form as paths in a normal derivation of natural deduction, i.e., these paths have the E-part, the I-part, and one minimum part which corresponds to a minimum segment in a normal derivation.

2007 ◽  
pp. 37-53
Author(s):  
Mirjana Borisavljevic

In a system of sequents for intuitionistic predicate logic a theorem, which corresponds to Prawitz?s Normal Form Theorem for natural deduction, are proved. In sequent derivations a special kind of cuts, maximum cuts, are defined. Maximum cuts from sequent derivations are connected with maximum segments from natural deduction derivations, i.e., sequent derivations without maximum cuts correspond to normal derivations in natural deduction. By that connection the theorem for the system of sequents (which correspond to Normal Form Theorem for natural deduction) will have the following form for each sequent derivation whose end sequent is ??A there is a sequent derivation without maximum cuts whose end sequent is ??A.


Author(s):  
Timothy Williamson

The book argues that our use of conditionals is governed by imperfectly reliable heuristics, in the psychological sense of fast and frugal (or quick and dirty) ways of assessing them. The primary heuristic is this: to assess ‘If A, C’, suppose A and on that basis assess C; whatever attitude you take to C conditionally on A (such as acceptance, rejection, or something in between) take unconditionally to ‘If A, C’. This heuristic yields both the equation of the probability of ‘If A, C’ with the conditional probability of C on A and standard natural deduction rules for the conditional. However, these results can be shown to make the heuristic implicitly inconsistent, and so less than fully reliable. There is also a secondary heuristic: pass conditionals freely from one context to another under normal conditions for acceptance of sentences on the basis of memory and testimony. The effect of the secondary heuristic is to undermine interpretations on which ‘if’ introduces a special kind of context-sensitivity. On the interpretation which makes best sense of the two heuristics, ‘if’ is simply the truth-functional conditional. Apparent counterexamples to truth-functionality are artefacts of reliance on the primary heuristic in cases where it is unreliable. The second half of the book concerns counterfactual conditionals, as expressed with ‘if’ and ‘would’. It argues that ‘would’ is an independently meaningful modal operator for contextually restricted necessity: the meaning of counterfactuals is simply that derived compositionally from the meanings of their constituents, including ‘if’ and ‘would’, making them contextually restricted strict conditionals.


2010 ◽  
Vol 3 (2) ◽  
pp. 262-272 ◽  
Author(s):  
KLAUS GLASHOFF

Since Frege’s predicate logical transcription of Aristotelian categorical logic, the standard semantics of Aristotelian logic considers terms as standing for sets of individuals. From a philosophical standpoint, this extensional model poses problems: There exist serious doubts that Aristotle’s terms were meant to refer always to sets, that is, entities composed of individuals. Classical philosophy up to Leibniz and Kant had a different view on this question—they looked at terms as standing for concepts (“Begriffe”). In 1972, Corcoran presented a formal system for Aristotelian logic containing a calculus of natural deduction, while, with respect to semantics, he still made use of an extensional interpretation. In this paper we deal with a simple intensional semantics for Corcoran’s syntax—intensional in the sense that no individuals are needed for the construction of a complete Tarski model of Aristotelian syntax. Instead, we view concepts as containing or excluding other, “higher” concepts—corresponding to the idea which Leibniz used in the construction of his characteristic numbers. Thus, this paper is an addendum to Corcoran’s work, furnishing his formal syntax with an adequate semantics which is free from presuppositions which have entered into modern interpretations of Aristotle’s theory via predicate logic.


2004 ◽  
Vol 14 (4) ◽  
pp. 507-526 ◽  
Author(s):  
SARA NEGRI ◽  
JAN VON PLATO

A formulation of lattice theory as a system of rules added to sequent calculus is given. The analysis of proofs for the contraction-free calculus of classical predicate logic known as G3c extends to derivations with the mathematical rules of lattice theory. It is shown that minimal derivations of quantifier-free sequents enjoy a subterm property: all terms in such derivations are terms in the endsequent.An alternative formulation of lattice theory as a system of rules in natural deduction style is given, both with explicit meet and join constructions and as a relational theory with existence axioms. A subterm property for the latter extends the standard decidable classes of quantificational formulas of pure predicate calculus to lattice theory.


2021 ◽  
pp. 65-100
Author(s):  
Paolo Mancosu ◽  
Sergio Galvan ◽  
Richard Zach

Natural deduction is a philosophically as well as pedagogically important logical proof system. This chapter introduces Gerhard Gentzen’s original system of natural deduction for minimal, intuitionistic, and classical predicate logic. Natural deduction reflects the ways we reason under assumption in mathematics and ordinary life. Its rules display a pleasing symmetry, in that connectives and quantifiers are each governed by a pair of introduction and elimination rules. After providing several examples of how to find proofs in natural deduction, it is shown how deductions in such systems can be manipulated and measured according to various notions of complexity, such as size and height. The final section shows that the axiomatic system of classical logic presented in Chapter 2 and the system of natural deduction for classical logic introduced in this chapter are equivalent.


2010 ◽  
Vol 87 (101) ◽  
pp. 59-74
Author(s):  
Mirjana Borisavljevic

We consider a standard system of sequents and a system of extended natural deduction (which is a modification of natural deduction) for intuitionistic predicate logic and connect the special cuts, maximum cuts, from sequent derivations and maximum segments from derivations of extended natural deduction. We show that the image of a sequent derivation without maximum cuts is a derivation without maximum segments (i.e., a normal derivation) in extended natural deduction.


2008 ◽  
Vol 13 (1) ◽  
pp. 116-140
Author(s):  
Kurt Mosser

In theCritique of Pure Reason, Kant conceives of general logic as a set of universal and necessary rules for the possibility of thought, or as a set of minimal necessary conditions for ascribing rationality to an agent (exemplified by the principle of non-contradiction). Such a conception, of course, contrasts with contemporary notions of formal, mathematical or symbolic logic. Yet, in so far as Kant seeks to identify those conditions that must hold for the possibility of thought in general, such conditions must holda fortiorifor any specific model of thought, including axiomatic treatments of logic and standard natural deduction models of first-order predicate logic. Kant's general logic seeks to isolate those conditions by thinking through – or better, reflecting on – those conditions that themselves make thought possible.


2010 ◽  
pp. 439-450
Author(s):  
Marta Janczewska

Research team of physicians and lab technicians under Izrael Milejkowski’s direction undertook the effort to carry out a series of clinical and biochemical experiments on patients dying of starvation in the Warsaw ghetto so as to receive the fullest possible picture of hunger disease. The research was carried out according to all the rigors of strict scientific discipline, and the authors during their work on academic articles, published it after the war entitled: „Starvation disease: hunger research carried out in the Warsaw ghetto in 1942,” according to their own words, they “supplemented the gap in accordance with the progress of knowledge.” The article is devoted to the reflections over ethical dilemmas of the research team, who were forced in their work to perform numerous medical treatments of experimental nature on extremely exhausted patients. The ill, according to Dr Fajgenblat’s words,“demonstrated negativism toward the research and treatment, which extremely hindered the work, and sometimes even frustrated it.” The article attempts to look at the monumental research work of the Warsaw ghetto doctors as a special kind of response of the medical profession to the feeling of helplessness to the dying patients. The article analyzes the situation of Warsaw ghetto doctors, who undertook the research without support of any outer authority, which could settle their possible ethical dilemmas (Polish deontological codes, European discussions on the conditions of the admissibility of medical research on patients, etc.).


Sign in / Sign up

Export Citation Format

Share Document