24 found
Order:
See also
Profile: Frederick Johnson (Colorado State University, Oberlin College, Cambridge University, Oxford University)
  1. A Natural Deduction Relevance Logic.Fred Johnson - 1977 - The Bulletin of the Section of Logic 6 (4):164-168.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2. Analogical Arguings and Explainings.Fred Johnson - 1989 - Informal Logic 11 (3).
    Direct download (14 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. Trees for a 3-Valued Logic.Fred Johnson - 1984 - Analysis 44 (1):43-6.
    Fred shows how problems with Slater's restriction of the classical propositional logic can be solved.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  4.  89
    Models for Modal Syllogisms.Fred Johnson - 1989 - Notre Dame Journal of Formal Logic 30 (2):271-284.
    A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  5.  71
    A Three-Valued Interpretation for a Relevance Logic.Fred Johnson - 1976 - The Relevance Logic Newsletter 1 (3):123-128.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  83
    Categorical Consequence for Paraconsistent Logic.Fred Johnson & Peter Woodruff - 2002 - In Walter Carnielli (ed.), Paraconsistency:the logical way to the inconsistent. pp. 141-150.
    Consequence rleations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion consequence relations.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  57
    Deductively-Inductively.Fred Johnson - 1980 - Informal Logic 3 (1):4-5.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  53
    Arguings and Arguments.Fred Johnson - 1984 - Informal Logic 6 (2):26-27.
    Direct download (14 more)  
     
    Export citation  
     
    My bibliography  
  9.  52
    Three-Membered Domains for Aristotle's Syllogistic.Fred Johnson - 1991 - Studia Logica 50 (2):181 - 187.
    The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  99
    Syllogisms with Fractional Quantifiers.Fred Johnson - 1994 - Journal of Philosophical Logic 23 (4):401 - 422.
    Aristotle's syllogistic is extended to include denumerably many quantifiers such as 'more than 2/3' and 'exactly 2/3.' Syntactic and semantic decision procedures determine the validity, or invalidity, of syllogisms with any finite number of premises. One of the syntactic procedures uses a natural deduction account of deducibility, which is sound and complete. The semantics for the system is non-classical since sentences may be assigned a value other than true or false. Results about symmetric systems are given. And reasons are given (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  40
    Aristotle's Modal Syllogisms.Fred Johnson - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the History of Logic. Elsevier. pp. 1--247.
    McCall's system for contingent syllogisms is modified. A semantics for the resulting system is provided.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  91
    Apodeictic Syllogisms: Deductions and Decision Procedures.Fred Johnson - 1995 - History and Philosophy of Logic 16 (1):1-18.
    One semantic and two syntactic decision procedures are given for determining the validity of Aristotelian assertoric and apodeictic syllogisms. Results are obtained by using the Aristotelian deductions that necessarily have an even number of premises.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  13.  65
    Copi's Method of Deduction.Frederick A. Johnson - 1979 - Notre Dame Journal of Formal Logic 20 (2):295-300.
    Copi's method of deduction is formalized and shown to be complete.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  14.  71
    Rejection and Truth-Value Gaps.Fred Johnson - 1999 - Notre Dame Journal of Formal Logic 40 (4):574-577.
    A theorem due to Shoesmith and Smiley that axiomatizes two-valued multiple-conclusion logics is extended to partial logics.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  15.  54
    Extended Gergonne Syllogisms.Fred Johnson - 1997 - Journal of Philosophical Logic 26 (5):553-567.
    Syllogisms with or without negative terms are studied by using Gergonne's ideas. Soundness, completeness, and decidability results are given.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  16.  22
    An Introduction to Reasoning.Fred Johnson - 1980 - Teaching Philosophy 3 (3):373-375.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  54
    Modal Ecthesis.Fred Johnson - 1993 - History and Philosophy of Logic 14 (2):171-182.
    Fred's semantics for McCall's syntactic presentation of Aristotle's assertoric and apodeictic syllogistic is altered to free it from Thom's objections that it is unAristotelian. The altered semantics rejects Baroco-XLL and Bocardo-LXL, which Thom says Aristotle should have accepted. Aristotle's proofs that use ecthesis are formalized by using singular sentences. With one exception the (acceptance) axioms for McCall's system L-X-M are derivable. Formal proofs are shown to be sound.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18.  21
    Counting Functions.Fred Johnson - 1992 - Notre Dame Journal of Formal Logic 33 (4):567-568.
    Counting functions are shown to be complete by using a simpler argument than that used by Pelletier and Martin.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  19.  35
    Parry Syllogisms.Fred Johnson - 1999 - Notre Dame Journal of Formal Logic 40 (3):414-419.
    Parry discusses an extension of Aristotle's syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  20.  10
    Suppositional Reasoning.Fred Johnson - 1991 - In Frans H. Van Eemeren (ed.), Proceedings of the Second International Conference on Argumentation 1990. pp. 281-287.
  21. Zachary Seech, Open Minds and Everyday Reasoning Reviewed By.Fred Johnson - 1994 - Philosophy in Review 14 (3):211-212.
    No categories
     
    Export citation  
     
    My bibliography  
  22. Patterns of Ethics in America Today.Frederick Ernest Johnson (ed.) - 1960 - New York: Harper.
    Ethics of Judaism, by M.J. Routtenberg.--Ethics of Roman Catholicism, by J.P. Fitzpatrick.--Ethics of Protestantism, by A.T. Mollegen.--The ethical culture movement, by J. Nathanson.--Rational ethics, by L. Bryson.--Ethical frontiers, by W.G. Muelder.
     
    Export citation  
     
    My bibliography  
  23. Review or Open Minds and Everyday Reasoning by Zachary Seech. [REVIEW]Fred Johnson - 1994 - Philosophy in Review 14 (3):211-212.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  24. Zachary Seech, Open Minds and Everyday Reasoning. [REVIEW]Fred Johnson - 1994 - Philosophy in Review 14:211-212.
    No categories
     
    Export citation  
     
    My bibliography