- IRMA 2011 Analysis
- Toward a Theory of the Concept
- 2 Formal Logic
- Stephen Neale-Descriptions-MIT Press (1990)
- Davidson as Derridean_Analytic Philosophy as Deconstruction
- Chomsky - Quine s Empirical Assumptions
- TP5 Language Analysis.doc
- Logic Pred Scope
- Course Syllabus on PTFN_MN Prog(1) (2)
- Moriconi & Streeter, Does Literature Still Matter?
- Nicolae Margineanu - Logical and Mathematical Psychology - Dialectical Interpretation of Their Relations
- Chap1b
- Apron Incidents
- Новая работа
- UPSC 2011 Analysis
- Logic Notes 1
- curriculum document 2016 unit 1 analysing argument 5b1 5d 1
- Wittgenstein: Tractatus LogicoPhilosophicus
- Legal Argumentation
- Proceedings of the Aristotelian Society Vol. 22
- (Logic, Epistemology, And the Unity of Science 37) Hourya Benis-Sinaceur, Marco Panza, Gabriel Sandu (Auth.)-Functions and Generality of Logic_ Reflections on Dedekind's and Frege's Logicisms-Springer
- Logic Based Testing
- 06 Knowledge Representation (Us)
- Avant-Garde and After
- Sousa American Phenomenon
- Kb a Article
- Lecture 1 - CR Fall 2015
- babil ve ninova astrologları
- JSTORScarletLetterarticle
- Campbell Limitation of Method
- The Unwinding: An Inner History of the New America
- Yes Please
- Sapiens: A Brief History of Humankind
- The Innovators: How a Group of Hackers, Geniuses, and Geeks Created the Digital Revolution
- Dispatches from Pluto: Lost and Found in the Mississippi Delta
- Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic Future
- Devil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New America
- John Adams
- The Prize: The Epic Quest for Oil, Money & Power
- The Emperor of All Maladies: A Biography of Cancer
- A Heartbreaking Work Of Staggering Genius: A Memoir Based on a True Story
- Grand Pursuit: The Story of Economic Genius
- This Changes Everything: Capitalism vs. The Climate
- The New Confessions of an Economic Hit Man
- Team of Rivals: The Political Genius of Abraham Lincoln
- Smart People Should Build Things: How to Restore Our Culture of Achievement, Build a Path for Entrepreneurs, and Create New Jobs in America
- The Hard Thing About Hard Things: Building a Business When There Are No Easy Answers
- Rise of ISIS: A Threat We Can't Ignore
- The World Is Flat 3.0: A Brief History of the Twenty-first Century
- Bad Feminist: Essays
- Angela's Ashes: A Memoir
- Steve Jobs
- How To Win Friends and Influence People
- The Sympathizer: A Novel (Pulitzer Prize for Fiction)
- Extremely Loud and Incredibly Close: A Novel
- Leaving Berlin: A Novel
- The Silver Linings Playbook: A Novel
- The Light Between Oceans: A Novel
- The Incarnations: A Novel
- You Too Can Have a Body Like Mine: A Novel
- The Love Affairs of Nathaniel P.: A Novel
- Life of Pi
- Brooklyn: A Novel
- The Flamethrowers: A Novel
- The First Bad Man: A Novel
- We Are Not Ourselves: A Novel
- The Blazing World: A Novel
- The Rosie Project: A Novel
- Bel Canto
- The Master
- A Man Called Ove: A Novel
- Beautiful Ruins: A Novel
- The Kitchen House: A Novel
- Interpreter of Maladies
- The Wallcreeper
- Wolf Hall: A Novel
- The Art of Racing in the Rain: A Novel
- The Cider House Rules
- A Prayer for Owen Meany: A Novel
- The Perks of Being a Wallflower
- Lovers at the Chameleon Club, Paris 1932: A Novel
- The Bonfire of the Vanities: A Novel
- Little Bee: A Novel

168-169 Published by: Association for Symbolic Logic Stable URL: http://www.jstor.org/stable/2266909 . Accessed: 11/12/2011 18:36

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org.

Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Symbolic Logic.

http://www.jstor.org

as a statementoperator. Three grades of modal involvement are distinguished which depend essentially upon the use of necessity as a semantical predicate. Prior constructs some four-valued tables for a relatively simple quantificational situation which work as well for a similar modal situation. his treatment of the concept of "quantificational value" and "modal value" is little more than suggestive and in basic ideas does not go much beyond the results implied by the first paper listed above. the "modal values" of a proposition are identified with the possible states of affairs which will make the given proposition true. but Prior appears to make a real issue of a verbal one when he decides to restrict the range of "truth-value" to the two elements. The ideas contained in these two papers are interesting. he argues that Aristotle means by "p is possible" not that "p is not impossible" but that "p is neither necessary nor impossible. R. and 1-ditions E. His "extensions" and "possible states of affairs" then become "values" but not "truth-values. In the first of the above listed papers." Why would it not be just as plausible to liberalize the range of "truth-value" so as to include the many elements which Prior A.168 REVIEWS thesis must be rejected in any system of logic which contains modal expressions such as Mp (p is possible). Amsterdam 1953. that there is a sense of "value" in which it is correct to say that modal logics are "many-valued. since it turns out that the contexts produced by the statementoperator 'nec' are referentially opaque in the same legitimate manner as those produced by 'Nec' used as a semantical predicate with quotation." They are many-valued in much the same way that quantification theory is many-valued. In any case. Volume complementaire et comdu Colloque de Logique. Three grades of modal involvement." and concludes that it is not Aristotle's thesis EAMpMNp which must be rejected but rather certain limitations must be placed on the use of Lesniewski's thesis CK p4Npiq. it is concerned largely with the task of making explicit all the major issues. nevertheless. In particular. The basic reason for this is that truth-functional expressions must be substituted for Up in order to preserve the validity of Lesniewski's thesis. It is shown that the first two grades are quite similar. Prior considers some reasons for rejecting Lukasiewicz' conclusion. munications North-Holland Publishing Company. It is argued. Louvain 1953.Actes du XIeme Congres V. QUINE. but aside from this. or as a sentence operator subject to the application of quantifiers. However. In the latter case. Nauwelacrts. "true" and "false". a prospective modal logician would do well to consult the present paper for a clear summary of some of the difficult problems which he must face. This is WV. Consequently. . while in the case of modality. In fact. and model operators are more like quantifiers than they are like truth-functional connectives. This paper is very closely related to XIX 137. TU RQUETTE chooses to call "values"? International de Philosophie. it is not legitimate to substitute modal expressions such as Mlp for Up in Leiniewski's thesis. the "values" of "quantified pre(licates" are identified with their extensions. 65-81. which must be faced in any attempt to deal precisely with logical systems involving strict or a priori modalities such as necessity. the present paper seems to reflect a more tolerant attitude toward alternative formulations of strict modal logic than was suggested in XIX 137. pp). In effect. already implied by the analysis in XIX 137. It is not clear whether this is merely the result of a more temperate style or the consequence of a more explicit analysis of the problems of modal logic. In the second of the above listed papers the argument is such as to suggest that "true" and "false" are the only genuine truth-values. Volume XlV. it is only with the third grade of modal involvement that basic departures are required.

one seems to be caught in the jungle as soon as any significance is attached to a distinction betweenstatementswhichare truestrictly logical grounds on and thosewhichare truebut not strictly logical grounds. Actually. it is likely to be well worth Ishimoto's paper develops a system employing the two primitive operators I (alternative denial) and 11 (logical incompatibility). to judge by its first issue. pp.REVIEWS 169 immediatelyapparent since 'nec' as sentenceoperator involves the application of quantifiers modal contexts whichare not referentially to opaque. Since the modality involved is strictnecessity and not to physicalnecessity. PRIOR SADEO SHIRAISHI. and the rule of 5-detachment replaced by Nicod's rule that if a and acjl/y are asserted y may be asserted. To those already committed Aristotelianism. P v q for ~'-pI-q. N.there are open sentences Fx and Gx such that (x) (necFx . Therefore." Althoughnot absurd. The science of thought (Tokyo). by pA q for _(plq). and there are the following six axioms (the oblique stroke being used to indicate a weaker bracketing): (pIIq/r) 5 (slq 5 pjs). 1-11. (3) If Fx is x = x. The following further symbols are introduced definition: .otherwise 'nec' is a vacuous operator. is concluded that the third grade of modal involvement is it not prima facie absurd. Ibid.. Ishimoto gives a proof of the axiom PIIP5 PI Iq from the other five listed in his paper. These simplifications are to be discussed in a later article. no.The equivalence of these postulates 5 Iq. 1 (1954). for Quine the third grade of modal involvementdoes entail the undesirable"metaphysicaljungle of Aristotelianessentialism. Quine remains partial to the firstgrade of modal involvement. would be a merereflection to this of certaincomplex realitiesto which we all should adjust.p. Quine's logic demands little more than the ratherneutral philosophicalconclusionto the effectthat third grade modal logic involves subtletiesnot to be found at lower grades. 12-24. and Gx is x=x . The structure of the continuity of psychological experiences and the physical world. The rules of inference are adjunction and 5detachment. TURQUETTE ARATA ISHIMOTO. pp. then we have (x)necFx* (x) Gx* (x)-necGx. This is indeed possible by dispensingwith constant singular terms using Russell's theoryof descriptions.p 5 q forPiIIq." Since the second grade temptsone in thissame direction and is less elegantthan the first.(2) There exists a statement value for'p' whichis truebut not necessarily true. A. to the standard postulates for Lewis's S3 is demonstrated.Quine's preference on forfirstgrade modalityappears to be dictated by extra-logicalconsiderationswhich involve a prior philosophicalcommitment antagonisticto Aristotelianism. In a letter to the reviewer. and by adopting a line of argumentsimilar to Smullyan's in XIII 149. The author states and accepts Zeno's arguments against a Cantorian continuity . (4) Consequently. IIp pI and (PA q) I1(P A q) 5 Ijq. The science of thought is a new annual published in English by the Institute for the Science of Thought. (pIIq/r) 5 (sIIq 5 pIts). p 5 p.In fact.-p forPIP. then 'nec' is not a vacuous operator. and states that if this be not simply deleted but replaced by the weaker PIIP5 pfq. and 22p for -(PIjp). the rule of adjunction may be dispensed with.Gx . P D q forpjI q.then it is a jungle fromwhich it is most difficult escape.The following offered proofthat is as the third grade of modal involvementimplies Aristotelian essentialism: (1) If modal logic is not pointless. Tokyo. R. the attentionof readers of this JOURNAL. It is thus necessary to avoid the conclusionsregarding referential the opacityof 'nec' as statement operator. pIIq5 P1q.mnecGx). A set of axioms of the modal propositionalcalculus equivalent to S3. "if we accept some interference the contextual definition in of singularterms. p A. If this is the jungle of Aristotelianessentialism.

- IRMA 2011 AnalysisUploaded byAbhinaba Ghose
- Toward a Theory of the ConceptUploaded bynadjavoss
- 2 Formal LogicUploaded byAaron Marquez
- Stephen Neale-Descriptions-MIT Press (1990)Uploaded byhoraciotoledano
- Davidson as Derridean_Analytic Philosophy as DeconstructionUploaded byYuz_Scibd
- Chomsky - Quine s Empirical AssumptionsUploaded byurlia
- TP5 Language Analysis.docUploaded bypuravidaybless
- Logic Pred ScopeUploaded byDan Venn
- Course Syllabus on PTFN_MN Prog(1) (2)Uploaded byWei Du Le
- Moriconi & Streeter, Does Literature Still Matter?Uploaded byworkmacc
- Nicolae Margineanu - Logical and Mathematical Psychology - Dialectical Interpretation of Their RelationsUploaded byValentin Nicolescu
- Chap1bUploaded byMahmoud Darwish
- Apron IncidentsUploaded byFrancisco Taylor W
- Новая работаUploaded bysent from heaven
- UPSC 2011 AnalysisUploaded bymoron_88
- Logic Notes 1Uploaded byHuei Chang
- curriculum document 2016 unit 1 analysing argument 5b1 5d 1Uploaded byapi-334019993
- Wittgenstein: Tractatus LogicoPhilosophicusUploaded byDrySun
- Legal ArgumentationUploaded bySebastián Fischer Broussain
- Proceedings of the Aristotelian Society Vol. 22Uploaded bypharetima
- (Logic, Epistemology, And the Unity of Science 37) Hourya Benis-Sinaceur, Marco Panza, Gabriel Sandu (Auth.)-Functions and Generality of Logic_ Reflections on Dedekind's and Frege's Logicisms-SpringerUploaded byGermán Cejudo
- Logic Based TestingUploaded byPavani Gardas
- 06 Knowledge Representation (Us)Uploaded byArunMohan
- Avant-Garde and AfterUploaded bySimon Fang
- Sousa American PhenomenonUploaded byKatya Fridkin
- Kb a ArticleUploaded byPruebaprueba25
- Lecture 1 - CR Fall 2015Uploaded byIvy
- babil ve ninova astrologlarıUploaded byEvren Bayramlı
- JSTORScarletLetterarticleUploaded bysummer-ray
- Campbell Limitation of MethodUploaded byL'Homme Révolté