#
Logic
Resource Information
The concept ** Logic** represents the subject, aboutness, idea or notion of resources found in **University of Oklahoma Libraries**.

The Resource
Logic
Resource Information

The concept

**Logic**represents the subject, aboutness, idea or notion of resources found in**University of Oklahoma Libraries**.- Label
- Logic

## Context

Context of Logic#### Subject of

- ... Scripta philosophica. : Commentaria in Porphyrii Isagogen ad Praedicamenta Aristotelis.
- ... Scripta philosophica. : Commentaria in Praedicamenta Aristotelis.
- A Course in Mathematical Logic for Mathematicians
- A Guide to Classical and Modern Model Theory
- A Guide to Classical and Modern Model Theory
- A Model-Theoretic Realist Interpretation of Science
- A Modern Perspective on Type Theory : From its Origins until Today
- A Short Introduction to Intuitionistic Logic
- A Short Introduction to Intuitionistic Logic
- A Textbook of Belief Dynamics : Solutions to exercises
- A Theory of Legal Sentences
- A Theory of Legal Sentences
- A border dispute : the place of logic in psychology
- A college logic; : an introduction to the study of argument and proof,
- A commentary on Hegel's logic,
- A commentary to Hegel's Science of logic
- A companion to philosophical logic
- A compend of logick: : for the use of the University of Pennsylvania.
- A compendium of logic
- A concise introduction to logic
- A concise introduction to logic
- A concise system of logics, in question and answer,
- A falibilidade da inducao
- A grammar of rhetoric, and polite literature : comprehending the principles of language and style, the elements of taste and criticism, with rules for the study of composition and eloquence ; illustrated by appropriate examples, selected chiefly from the British classics, for the use of schools, or private instruction
- A manual of intensional logic
- A modern elementary logic
- A modern introduction to logic
- A modern introduction to logic
- A practical logic of cognitive systems
- A practical philosophy for the life sciences
- A preface to logic,
- A primer of formal logic,
- A rulebook for arguments
- A rulebook for arguments
- A study of Hegel's logic
- A study of the logic of teaching,
- A system of logic, ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation
- A system of logic, ratiocinative and inductive : being a connected view of the principles of evidence, and the methods of scientific investigation
- A system of logic, ratiocinative and inductive, : being a connected view of the principles of evidence and the methods of scientific investigation
- A system of logic, ratiocinative and inductive, : being a connected view of the principles of evidence and the methods of scientific investigation,
- A system of logic, ratiocinative and inductive; : being a connected view of the principles of evidence and the methods of scientific investigation
- A system of logic, ratiocinative and inductive; : being a connected view of the principles of evidence, and the methods of scientific investigation
- A treatise of formal logic, : its evolution and main branches, with its relations to mathematics and philosophy
- A treatise on induction and probability
- A treatise on logic, or, The laws of pure thought : comprising both the Aristotelic and Hamiltonian analyses of logical forms, and some chapters of applied logic
- A treatise on logic; : or, The laws of pure thought; comprising both the Aristotelic and Hamiltonian analyses of logical forms, and some chapters of applied logic.
- A-logic
- Abduction and Induction : Essays on their Relation and Integration
- Abduction, Reason and Science : Processes of Discovery and Explanation
- Abduction, reason, and science : processes of discovery and explanation
- Abductive Reasoning and Learning
- Abductive reasoning : logical investigations into discovery and explanation
- Abhandlung über die Prinzipien der Logik
- Abhandlung über die Prinzipien der Logik : mit einer Rekonstruktion der Aristotelischen Syllogistik
- Abstraction, relation, and induction; : three essays in the history of thought
- Acceptable premises : an epistemic approach to an informal logic problem
- Adaptive Logics for Defeasible Reasoning : Applications in Argumentation, Normative Reasoning and Default Reasoning
- Adaptive logics for defeasible reasoning
- Adaptive thinking : rationality in the real world
- Aditus ad logicam : in usum eorum qui primò acadiam salutant
- Aditvs ad logicam : in vsvm eorvm qui primò academiam salutant
- Advancement of learning : and Novum organum
- Advancement of learning and Novum organum,
- Advancement of learning and Novum organum,
- Advances in natural deduction : a celebration of Dag Prawitz's work
- Against the current : selected philosophical papers
- Agent-Based Defeasible Control in Dynamic Environments
- Alfred Tarski and the Vienna Circle : Austro-Polish Connections in Logical Empiricism
- Algebraic Foundations of Many-Valued Reasoning
- Alternative Action Theory : Simultaneously a Critique of Georg Henrik von Wright’s Practical Philosophy
- Alternative action theory : simultaneously a critique of Georg Henrik von Wright's practical philosophy
- Alternative action theory : simultaneously a critique of Georg Henrik von Wright's practical philosophy
- Ambiguity and logic
- An Essay in Universal Semantics
- An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
- An audience for moral philosophy?
- An elementary treatise on logic, : comprising the essential principles and different modes of reasoning, in the form of question and answer,
- An essay in modal logic
- An essay on contraction
- An essay on the nature and objects of the course of study : in the class of the philosophy of the human mind and logic, in the University of London
- An essay on the new analytic of logical forms : being that which gained the prize proposed by Sir William Hamilton, in the year 1846, for the best exposition of the new doctrine propounded in his lectures : with an historical appendix
- An essay on the new analytic of logical forms, : being that which gained the prize proposed by Sir William Hamilton, in the year 1846, for the best exposition of the new doctrine propounded in his lectures; with an historical appendix.
- An introduction to critical thinking; : a beginner's text in logic
- An introduction to deductive logic
- An introduction to logic
- An introduction to logic and scientific method,
- An introduction to logic and the scientific method,
- An introduction to philosophical logic
- An introduction to principles of right reason
- An introduction to the logic of Marxism,
- An introduction to the logic of reflection,
- An introduction to the philosophy of logic
- An introduction to the study of philosophy, with an outline treatise on logic
- An introductory logic,
- Analogy in Indian and Western Philosophical Thought
- Analysis and Interpretation in the Exact Sciences : Essays in Honour of William Demopoulos
- Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
- Analytical philosophy
- Analytical philosophy, : second series
- Anaphora and Type Logical Grammar
- Ancient formal logic
- Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
- Anti-realism and logic : truth as eternal
- Anyone Who Has a View : Theoretical Contributions to the Study of Argumentation
- Anyone Who Has a View : Theoretical Contributions to the Study of Argumentation
- Applied logic
- Approaches to Legal Rationality
- Apuleian logic; : the nature, sources, and influence of Apuleius's Peri Hermeneias
- Arguer's position : a pragmatic study of ad hominem attack, criticism, refutation, and fallacy
- Arguing on the Toulmin Model : New Essays in Argument Analysis and Evaluation
- Arguing on the Toulmin model : new essays in argument analysis and evaluation
- Arguing to Learn : Confronting Cognitions in Computer-Supported Collaborative Learning Environments
- Arguing to better conclusions : a human odyssey
- Argument Structure: : Representation and Theory
- Argument structure : a pragmatic theory
- Argument structure : representation and theory
- Argument, Inference and Dialectic : Collected Papers on Informal Logic with an Introduction by Hans V. Hansen
- Argumentation : Grundzuge ihrer Theorie im Bereich theoretischen Wissens und praktischen Handelns
- Argumentation Machines : New Frontiers in Argument and Computation
- Argumentation Methods for Artificial Intelligence in Law
- Argumentation and education : theoretical foundations and practices
- Argumentative Indicators in Discourse : A Pragma-Dialectical Study
- Arguments and metaphors in philosophy
- Aristotelian formal and material logic
- Aristotelis Organon graece.
- Aristotelis Stagiritae Topicorum libri octo
- Aristotle's Modal Proofs : Prior Analytics A8-22 in Predicate Logic
- Aristotle's syllogistic from the standpoint of modern formal logic
- Aristotle's theory of abstraction
- Aristotle's theory of the syllogism. : A logico-philological study of book A of the Prior analytics.
- Around and Beyond the Square of Opposition
- Around the Tree : Semantic and Metaphysical Issues Concerning Branching and the Open Future
- Arrow logic and multi-modal logic
- Ars Topica : The Classical Technique of Constructing Arguments from Aristotle to Cicero
- Ars magna sciendi, : in xii libros digesta, qua nova & universali methodo per artificiosum combinationum contextum de omni re proposita plurimis & prope infinitis rationibus disputari, omniumque summaria quedam cognitio comparari potest
- Art in the science dominated world : science, logic and art
- Artificial General Intelligence
- Assumptions of grand logics
- Asynchronous sequential machine design and analysis : a comprehensive development of the design and analysis of clock-independent state machines and systems
- Auf dem Kampffelde der Logik; : Logisch-erkenntnistheoretische Untersuchungen
- Aus den tiefen des erkennens. : Kants lehre von der apperzeption (dem selbstbewusstsein), der kategorialverbindung und den verstandesgrundsatzen in neuer verstandlicher darstellung;
- Automated Deduction - A Basis for Applications : Volume II: Systems and Implementation Techniques
- Automated Deduction - A Basis for Applications : Volume III Applications
- Axiomata; sive, Principia logicae ac metaphysicae : Breuibus & apertis illustrata commentariis
- Axiomatic Formal Ontology
- Bacon's Advancement of learning and The new Atlantis
- Basic Questions on Truth
- Basic Questions on Truth
- Bausteine zur Sprachinhaltsforschung; : neuere Sprachbetrachtung im Austausch mit Geistes- und Naturwissenschaft
- Bedeutung und Evidenz bei Edmund Husserl : das Verhaltnis zwischen der Bedeutungs- und der Evidenztheorie in den "Logischen Untersuchungen" und der "Formalen und transzendentalen Logik" : ein Vergleich anhand der Identitatsproblematik
- Before logic
- Being logical : a guide to good thinking
- Beitrage zu einer Kritik der Sprache
- Belief Change
- Belief Change
- Belief Revision in Non-Classical Logics
- Belief Revision meets Philosophy of Science
- Belief, existence, and meaning
- Belief, truth and knowledge,
- Best explanations : new essays on inference to the best explanation
- Between Logic and Reality : Modeling Inference, Action and Understanding
- Between logic and reality : modeling inference, action and understanding
- Between worlds : the emergence of global reason
- Beyond analytic philosophy : doing justice to what we know
- Beyond formalism : naming and necessity for human beings
- Blindspots
- Boethius on signification and mind
- Bolzano's logical system
- Boolean semantics for natural language
- Brazilian Studies in Philosophy and History of Science : An account of recent works
- Buddhist logic,
- Cambridge and Vienna : Frank P. Ramsey and the Vienna Circle
- Change in view : principles of reasoning
- Charles S. Peirce : logic and the classification of the sciences
- Clinical inertia : a critique of medical reason
- Cognition and conditionals : probability and logic in human thinking
- Collected Papers of Stig Kanger with Essays on His Life and Work : Vol. II
- Collected Papers of Stig Kanger with Essays on his Life and Work
- Collected Papers of Stig Kanger with Essays on his Life and Work : Vol. I
- Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
- Collected papers of Stig Kanger : with essays on his life and work
- Commentaria, unà cum quæstionibus, in universam Aristotelis logicam : ornatiùs quàm antehac, ac plus quàm mille in locis, emendatiùs excusa, varijsq[ue] annotationibus, ad rem planè necessariis, insigniter illustrata
- Commitment in dialogue : basic concepts of interpersonal reasoning
- Compendium logicae secumdum principia D. Renati Cartesii plerumque efformatum, et catechistice propositum
- Compendium logicae secumdum principia D. Renati Cartesii plerumque efformatum, et catechistice propositum.
- Compendium logicae secumdum principia, D. Renati Cartesii plerumque efformatum, et catechisticè propositum.
- Compendium logicae secundum principia : D. Renati Cartesii plerumque efformatum, et catechisticè propositum
- Compendium logicae secundum principia D. Renati Cartesii plerumque efformatum, et catechistice propositum
- Compendium logicae secundum principia, D. Renati Cartesii plerumque efformatum, et catechisticè propositum
- Computatio sive logica : Logic
- Computational Complexity of Solving Equation Systems
- Computational complexity of solving equation systems
- Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, proceedings
- Computing Meaning : Volume 1
- Computing Meaning : Volume 1
- Computing Meaning : Volume 2
- Computing Meaning : Volume 2
- Concepts and categories : philosophical essays
- Concepts and categories : philosophical essays
- Concepts, theories and the mind-body problem
- Conceptual notation, and related articles;
- Conditionals and Modularity in General Logics
- Conscious experience : a logical inquiry
- Constructive Negations and Paraconsistency
- Constructive philosophy
- Constructivity and Computability in Historical and Philosophical Perspective
- Constructivity and computability in historical and philosophical perspective
- Contemporary Action Theory Volume 1: Individual Action
- Contemporary readings in logical theory
- Contemporary science and deductive methodology
- Content and modality : themes from the philosophy of Robert Stalnaker
- Continuity, quantum, continuum, and dialectic : the foundational logics of western historical thinking
- Contrary things : exegesis, dialectic, and the poetics of didacticism
- Contributions to logic and methodology in honor of J. M. Bochenski.
- Controversy and confrontation : relating controversy analysis with argumentation theory
- Controversy as News Discourse
- Core logic
- Critical ability and inferential ability as differential factors in persuasability using logical and illogical communications
- Critical reasoning in ethics : a practical introduction
- Critical thinking and education
- Critical thinking; : an introduction to logic and scientific method
- Critical thinking; : an introduction to logic and scientific method,
- Crucial concepts in argumentation theory
- Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
- Cursus philosophicus thomisticus secundum exactam, veram, genuinam Aristotelis et doctoris angelici mentem. Nova editio a Beato Reiser
- Cursus philosophicus thomisticus secundun exactam, : veram et genuinam Aristotelis et doctoris angelici mentem
- Cut Elimination in Categories
- Dag Prawitz on Proofs and Meaning
- Dag Prawitz on proofs and meaning
- Das Logische, : seine Gesetze und Kategorien
- Das Problem der Gegenstandlichkeit in der modernen Logik
- David Makinson on Classical Methods for Non-Classical Problems
- David the Invincible, commentary on Aristotle's prior analytics : Old Armenian text with an English translation, introduction and notes
- De demonstratione, eivs'qve necessitate ac vi, liber I. Se usu & exercitatione dialecticae liber I. De luuentute, lib. I. De honore, lib. I. Omnia nunc primum edita, cum locuplete rerum & uerborum memorabilium indice
- De ente praedicamentali : from the unique Vienna ms. ; Quaestiones XIII logicae et philosophicae : from the unique Prague ms.
- De logica van de lidwoorden in de traditionele filosofie.
- Dear Carnap, dear Van : the Quine-Carnap correspondence and related work
- Debate Dynamics: How Controversy Improves Our Beliefs
- Decision analysis : why don't we naturally make good decisions?
- Decisiones philosophicae : in quibus late proponuntur, ac discutiuntur præsertim occurrentes controuersiæ inter Thomistas ac Scotistas : de quibus in vtramque partem ventilatis fertur iudicium, sæpiúsque neutra harum sectarum arridet, sed noua adducitur ac validè stabilitur prìus destructis communium opinionum fundamentis
- Deduction
- Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
- Deductive forms, : an elementary logic
- Deductive logic and descriptive language
- Deductive logic in natural language
- Deductive logic; : an introduction to evaluation techniques and logical theory,
- Defeasible Deontic Logic
- Defeasible Deontic Logic
- Demonstration and scientific knowledge in William of Ockham : a translation of Summa logicae III-II : De syllogismo demonstrativo, and selections from the prologue to the ordinatio