國立虎尾科技大學 |

The Proscriptive Principle and Logics of Analytic Implication.

紀錄類型:	書目-語言資料,手稿 : Monograph/item
正題名/作者:	The Proscriptive Principle and Logics of Analytic Implication./
作者:	Ferguson, Thomas Macaulay.
面頁冊數:	1 online resource (289 pages)
附註:	Source: Dissertation Abstracts International, Volume: 78-07(E), Section: A.
Contained By:	Dissertation Abstracts International78-07A(E).
標題:	Logic. -
電子資源:	click for full text (PQDT)
ISBN:	9781369563405

The Proscriptive Principle and Logics of Analytic Implication.
Ferguson, Thomas Macaulay.

The Proscriptive Principle and Logics of Analytic Implication. - 1 online resource (289 pages)

Source: Dissertation Abstracts International, Volume: 78-07(E), Section: A.

Thesis (Ph.D.)--City University of New York, 2017.

Includes bibliographical references

The application of syllogistic is merely the analysis of concepts, a term that presupposes---through the root alphanualpha + lambdaupsilono---a mereological background. In the 1930s, such considerations led William T. Parry to attempt to codify this notion of logical containment in his system of analytic implication AI. Parry's system AI was later expanded to the system PAI. The hallmark of Parry's systems---and of what may be thought of as containment logics or Parry systems in general---is a strong relevance property called the 'Proscriptive Principle' (PP) described by Parry as the thesis that:

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2018

Mode of access: World Wide Web

ISBN: 9781369563405Subjects--Topical Terms:

558909
Logic.
Index Terms--Genre/Form:

554714
Electronic books.

The Proscriptive Principle and Logics of Analytic Implication.
LDR:06148ntm a2200457Ki 4500 001 917961
005 20181022132812.5
006 m o u
007 cr mn||||a|a||
008 190606s2017 xx obm 000 0 eng d
020 $a 9781369563405
035 $a (MiAaPQ)AAI10256061
035 $a (MiAaPQ)minarees:14494
035 $a AAI10256061
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Ferguson, Thomas Macaulay. $3 1192166
245 1 4 $a The Proscriptive Principle and Logics of Analytic Implication.
264 0 $c 2017
300 $a 1 online resource (289 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertation Abstracts International, Volume: 78-07(E), Section: A.
500 $a Adviser: Graham G. Priest.
502 $a Thesis (Ph.D.)--City University of New York, 2017.
504 $a Includes bibliographical references
520 $a The application of syllogistic is merely the analysis of concepts, a term that presupposes---through the root alphanualpha + lambdaupsilono---a mereological background. In the 1930s, such considerations led William T. Parry to attempt to codify this notion of logical containment in his system of analytic implication AI. Parry's system AI was later expanded to the system PAI. The hallmark of Parry's systems---and of what may be thought of as containment logics or Parry systems in general---is a strong relevance property called the 'Proscriptive Principle' (PP) described by Parry as the thesis that:
520 $a No formula with analytic implication as main relation holds universally if it has a free variable occurring in the consequent but not the antecedent.
520 $a This type of proscription is on its face justified, as the presence of a novel parameter in the consequent corresponds to the introduction of new subject matter. The plausibility of the thesis that the content of a statement is related to its subject matter thus appears also to support the validity of the formal principle.
520 $a Primarily due to the perception that Parry's formal systems were intended to accurately model Kant's notion of an analytic judgment , Parry's deductive systems---and the suitability of the Proscriptive Principle in general---were met with severe criticism. It is the goal of the present work to explore themes related to deductive systems satisfying one form of the Proscriptive Principle or other, with a special emphasis placed on the rehabilitation of their study to some degree.
520 $a * In Chapter 2 we identify and develop the relationship between Parry-type deductive systems and the field of 'logics of nonsense.' Of particular importance is Dmitri Bochvar's 'internal' nonsense logic Sigma 0, and we observe that two |---Parry subsystems of Sigma 0---Harry Deutsch's Sfde and Frederick Johnson's RC---can be considered to be the products of particular 'strategies' of eliminating problematic inferences from Bochvar's system.
520 $a * The material of Chapter 3 considers Kit Fine's program of state space semantics in the context of Parry logics. Fine---who had already provided the first intuitive semantics for Parry's PAI---has offered a formal model of truthmaking (and falsemaking) that provides one of the first natural semantics for Richard B. Angell's logic of analytic containment AC, itself a |---Parry system. After discussing the relationship between state space semantics and nonsense, we observe that Fabrice Correia's weaker framework---introduced as a semantics for a containment logic weaker than AC---tacitly endorses an implausible feature of allowing hypernonsensical statements. By modelling Correia's containment logic within the stronger setting of Fine's semantics, we are able to retain Correia's intuitions about factual equivalence without such a commitment. As a further application, we observe that Fine's setting can resolve some ambiguities in Greg Restall's own truthmaker semantics.
520 $a * Chapter 4 we consider interpretations of disjunction that accord with the characteristic failure of Addition in which the evaluation of a disjunction A &or; B requires not only the truth of one disjunct, but also that both disjuncts satisfy some further property. We examine semantics for several |---Parry logics in terms of the successful execution of certain types of computer programs and the consequences of extending this analysis to dynamic logic and constructive logic.
520 $a * Chapter 5 considers these faults in the particular case in which Nuel Belnap's 'artificial reasoner' is unable to retrieve the value assigned to a variable. This leads not only to a natural interpretation of Graham Priest's semantics for the |---Parry system S fde* but also a novel, many-valued semantics for Angell's AC, completeness of which is proven by establishing a correspondence with Correia's semantics for AC. These many-valued semantics have the additional benefit of allowing us to apply the material in Chapter 2 to the case of AC to define intensional extensions of AC in the spirit of Parry's PAI.
520 $a * One particular instance of the type of disjunction central to Chapter 4 is Melvin Fitting's cut-down disjunction. Chapter 6 examines cut-down operations in more detail and provides bilattice and trilattice semantics for the |---Parry systems Sfde and AC in the style of Ofer Arieli and Arnon Avron's logical bilattices.
520 $a * Finally, the correspondence between the present many-valued semantics for AC and those of Correia is revisited in Chapter 7. The technique that plays an essential role in Chapter 4 is used to characterize a wide class of first-degree calculi intermediate between AC and classical logic in Correia's setting. (Abstract shortened by ProQuest.).
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2018
538 $a Mode of access: World Wide Web
650 4 $a Logic. $3 558909
650 4 $a Philosophy. $3 559771
650 4 $a Theoretical mathematics. $3 1180455
655 7 $a Electronic books. $2 local $3 554714
690 $a 0395
690 $a 0422
690 $a 0642
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a City University of New York. $b Philosophy. $3 1184675
773 0 $t Dissertation Abstracts International $g 78-07A(E).
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10256061 $z click for full text (PQDT)