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

The Resource
Logic
Resource Information

The concept

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

## Context

Context of Logic#### Subject of

- A Biosemiotic Ontology : The Philosophy of Giorgio Prodi
- A Course in Mathematical Logic for Mathematicians
- A Modern Perspective on Type Theory : From its Origins until Today
- A New Perspective on Nonmonotonic Logics
- Abduction in Context : The Conjectural Dynamics of Scientific Reasoning
- Abductive reasoning : logical investigations into discovery and explanation
- Action and Existence : A Case for Agent Causation
- Adaptive Logics for Defeasible Reasoning : Applications in Argumentation, Normative Reasoning and Default Reasoning
- Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
- Advances in Proof Theory
- Advances in Proof-Theoretic Semantics
- Alfred Tarski and the "Concept of Truth in Formalized Languages" : A Running Commentary with Consideration of the Polish Original and the German Translation
- Alfred Tarski: Philosophy of Language and 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
- Anaphora and Type Logical Grammar
- Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
- Applications of Formal Philosophy : The Road Less Travelled
- Approaches to Legal Rationality
- Approaching Infinity
- Arguing on the Toulmin Model : New Essays in Argument Analysis and Evaluation
- Argument Structure: : Representation and Theory
- Argumentation Methods for Artificial Intelligence in Law
- Argumentative Indicators in Discourse : A Pragma-Dialectical Study
- Aristotle's Modal Proofs : Prior Analytics A8-22 in Predicate Logic
- Aristotle's Theory of Abstraction
- Around and Beyond the Square of Opposition
- Around the Tree : Semantic and Metaphysical Issues Concerning Branching and the Open Future
- Ars Topica : The Classical Technique of Constructing Arguments from Aristotle to Cicero
- Artificial General Intelligence
- Belief Change : Introduction and Overview
- Belief Revision in Non-Classical Logics
- Belief Revision meets Philosophy of Science
- Belief, Evidence, and Uncertainty : Problems of Epistemic Inference
- Between Logic and Reality : Modeling Inference, Action and Understanding
- Brazilian Studies in Philosophy and History of Science : An account of recent works
- Cambridge and Vienna : Frank P. Ramsey and the Vienna Circle
- Causation in Population Health Informatics and Data Science
- Colours in the development of Wittgenstein’s Philosophy
- Comparative Philosophy and J.L. Shaw
- Computational Complexity of Solving Equation Systems
- Conceptual Spaces: Elaborations and Applications
- Conditionals and Modularity in General Logics
- Connecting Analytical Thinking and Intuition : And the Nights Abound with Inspiration
- Constructive Negations and Paraconsistency
- Constructivity and Computability in Historical and Philosophical Perspective
- Contradictions, from Consistency to Inconsistency
- Controversy as News Discourse
- Could There Have Been Nothing? : Against Metaphysical Nihilism
- Creating Target Publics for Welfare Policies : A Comparative and Multi-level Approach
- Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
- Dag Prawitz on Proofs and Meaning
- David Makinson on Classical Methods for Non-Classical Problems
- Debate Dynamics: How Controversy Improves Our Beliefs
- Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
- Dependence Logic : Theory and Applications
- Descriptor Revision : Belief Change through Direct Choice
- Diagnosing Contemporary Philosophy with the Matrix Movies
- Dissociation in Argumentative Discussions : A Pragma-Dialectical Perspective
- Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
- Dual Tableaux: Foundations, Methodology, Case Studies
- Dummett on Abstract Objects
- Dynamic Formal Epistemology
- EPSA Epistemology and Methodology of Science : Launch of the European Philosophy of Science Association
- EPSA Philosophical Issues in the Sciences : Launch of the European Philosophy of Science Association
- Early Analytic Philosophy - New Perspectives on the Tradition
- Epistemic Foundations of Fuzziness : Unified Theories on Decision-Choice Processes
- Epistemology versus Ontology : Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
- Epistemology, Knowledge and the Impact of Interaction
- Ernst Zermelo : An Approach to His Life and Work
- Ernst Zermelo : An Approach to His Life and Work
- Essays on Husserl's Logic and Philosophy of Mathematics
- Ewa Orłowska on Relational Methods in Logic and Computer Science
- Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
- Explaining Games : The Epistemic Programme in Game Theory
- Exploring Meinong’s Jungle and Beyond : The Sylvan Jungle - Volume 1
- Extensionalism : The Revolution in Logic
- Ezumezu : A System of Logic for African Philosophy and Studies
- Fallacies and Judgments of Reasonableness : Empirical Research Concerning the Pragma-Dialectical Discussion Rules
- Feferman on Foundations : Logic, Mathematics, Philosophy
- Finding One’s Way Through Wittgenstein’s Philosophical Investigations : New Essays on §§1-88
- Formal Methods for Nonmonotonic and Related Logics : Vol I: Preference and Size
- Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties
- Formal Ontology and Conceptual Realism
- Formalizing Medieval Logical Theories : Suppositio, Consequentiae and Obligationes
- Foundational Theories of Classical and Constructive Mathematics
- Freedom and Enforcement in Action : A Study in Formal Action Theory
- Frege’s Notations : What They Are and How They Mean
- Functions and Generality of Logic : Reflections on Dedekind's and Frege's Logicisms
- Fundamentals of Legal Argumentation : A Survey of Theories on the Justification of Judicial Decisions
- Fuzziness and Approximate Reasoning : Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
- Fuzzy Rationality : A Critique and Methodological Unity of Classical, Bounded and Other Rationalities
- Games, Norms and Reasons : Logic at the Crossroads
- Games: Unifying Logic, Language, and Philosophy
- German Idealism and the Problem of Knowledge: : Kant, Fichte, Schelling, and Hegel
- Giving Reasons : A Linguistic-Pragmatic Approach to Argumentation Theory
- Goguen Categories : A Categorical Approach to L-fuzzy Relations
- Groundwork in the Theory of Argumentation : Selected Papers of J. Anthony Blair
- Handbook of Argumentation Theory
- Handbook of Legal Reasoning and Argumentation
- Handbook of Philosophical Logic
- Handbook of Philosophical Logic : Volume 15
- Handbook of Philosophical Logic : Volume 16
- Handbook of Philosophical Logic : Volume 17
- Handbook of Philosophical Logic : Volume 18
- Handbook of Philosophical Logic, 2nd Edition
- Handbook of Reflection and Reflective Inquiry : Mapping a Way of Knowing for Professional Reflective Inquiry
- Heuristic Reasoning
- Heuristic Strategies in the Speeches of Cicero
- Hilary Putnam on Logic and Mathematics
- Husserl’s Logical Investigations in the New Century: Western and Chinese Perspectives
- Hybrid Logic and its Proof-Theory
- Hyperintensionality and Normativity
- Iconicity and Abduction
- Immanent Reasoning or Equality in Action : A Plaidoyer for the Play Level
- Infinite Regress Arguments
- Information and Knowledge : A Constructive Type-theoretical Approach
- Information, Interaction and Agency
- Institution-independent Model Theory
- Interactive Wittgenstein : Essays in Memory of Georg Henrik von Wright
- Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics : Dialogue, Rationality, and Formalism
- Interpreted Languages and Compositionality
- Introduction to Logic and Theory of Knowledge : Lectures 1906/07
- Intuitionistic Proof Versus Classical Truth : The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics
- Isabelle/HOL : A Proof Assistant for Higher-Order Logic
- J. Michael Dunn on Information Based Logics
- Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
- Johan van Benthem on Logic and Information Dynamics
- Judgement and the Epistemic Foundation of Logic
- Kantian Nonconceptualism
- Knowledge in Formation : A Computational Theory of Interpretation
- Krister Segerberg on Logic of Actions
- Language, Meaning, Interpretation
- Larisa Maksimova on Implication, Interpolation, and Definability
- Leo Esakia on Duality in Modal and Intuitionistic Logics
- Leśniewski's Systems of Logic and Foundations of Mathematics
- Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice
- Logic in Reality
- Logic in the Theory and Practice of Lawmaking
- Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
- Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
- Logic, Mathematics, Philosophy, Vintage Enthusiasms : Essays in Honour of John L. Bell
- Logic, Reasoning, and Rationality
- Logic, Thought and Action
- Logica : Volume 1 - Dimostrazioni e modelli al primo ordine
- Logical Form : Between Logic and Natural Language
- Logical Studies of Paraconsistent Reasoning in Science and Mathematics
- Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
- Logical Tools for Handling Change in Agent-Based Systems
- Logicism, Intuitionism, and Formalism : What has Become of Them?
- Logics and Falsifications : A New Perspective on Constructivist Semantics
- Logos of Phenomenology and Phenomenology of The Logos. Book Four : The Logos of Scientific Interrogation, Participating in Nature-Life-Sharing in Life
- Martin Davis on Computability, Computational Logic, and Mathematical Foundations
- Mathematical Logic : On Numbers, Sets, Structures, and Symmetry
- Mathematical Problems from Applied Logic I : Logics for the XXIst Century
- Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
- Meaning in Dialogue : An Interactive Approach to Logic and Reasoning
- Methods of Legal Reasoning
- Modalities and Multimodalities
- Modality in Argumentation : A Semantic Investigation of the Role of Modalities in the Structure of Arguments with an Application to Italian Modal Expressions
- Modality, Semantics and Interpretations : The Second Asian Workshop on Philosophical Logic
- Model-Based Reasoning in Science and Technology : Logical, Epistemological, and Cognitive Issues
- Modern Logic 1850-1950, East and West
- Modern Perspectives in Type-Theoretical Semantics
- Narration as Argument
- Natural Deduction, Hybrid Systems and Modal Logics
- Neighborhood Semantics for Modal Logic
- Neural-Symbolic Cognitive Reasoning
- New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014
- New Essays on Frege : Between Science and Literature
- Nothing To Come : A Defence of the Growing Block Theory of Time
- Nuel Belnap on Indeterminism and Free Action
- Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics
- Objects and Modalities : A Study in the Semantics of Modal Logic
- On Law and Reason
- On Reasoning and Argument : Essays in Informal Logic and on Critical Thinking
- On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
- One Hundred Prisoners and a Light Bulb
- Paraconsistency: Logic and Applications
- Paraconsistent Logic: Consistency, Contradiction and Negation
- Paradox Lost : Logical Solutions to Ten Puzzles of Philosophy
- Paradoxes
- Paradoxes in Probability Theory
- Past and Present Interactions in Legal Reasoning and Logic
- Perspectives on Interrogative Models of Inquiry : Developments in Inquiry and Questions
- Pesky Essays on the Logic of Philosophy
- Petr Hájek on Mathematical Fuzzy Logic
- Phenomenology and Mathematics
- Philosophical Foundations of Quality of Life : The Selected Works of Alex C. Michalos
- Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016
- Philosophy of Syntax : Foundational Topics
- Philosophy's Loss of Logic to Mathematics : An Inadequately Understood Take-Over
- Pluralism in Mathematics: A New Position in Philosophy of Mathematics
- Pluralisms in Truth and Logic
- Pondering on Problems of Argumentation : Twenty Essays on Theoretical Issues
- Preference Change : Approaches from philosophy, economics and psychology
- Probabilistic Logics and Probabilistic Networks
- Probability Logics : Probability-Based Formalization of Uncertain Reasoning
- Problems of Normativity, Rules and Rule-Following
- Procedural Semantics for Hyperintensional Logic : Foundations and Applications of Transparent Intensional Logic
- Proof Theory for Fuzzy Logics
- Proof, Computation and Agency : Logic at the Crossroads
- Prospects of Legal Semiotics
- Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings
- Quantifiers and Cognition: Logical and Computational Perspectives
- Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations
- Raymond Smullyan on Self Reference
- Reactive Kripke Semantics
- Reasonableness and Effectiveness in Argumentative Discourse : Fifty Contributions to the Development of Pragma-Dialectics
- Reasoning about Preference Dynamics
- Recent Trends in Philosophical Logic
- Recognizing Variable Environments : The Theory of Cognitive Prism
- Reflections on Theoretical Issues in Argumentation Theory
- Rethinking German Idealism
- Rethinking Knowledge : The Heuristic View
- Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
- Rethinking Popper
- Rethinking the BSE Crisis : A Study of Scientific Reasoning under Uncertainty
- Rhetorical Perspectives on Argumentation : Selected Essays by David Zarefsky
- Rigid Flexibility : The Logic of Intelligence
- Rohit Parikh on Logic, Language and Society
- Romanian Studies in Philosophy of Science
- Rudolf Carnap and the Legacy of Logical Empiricism
- Russell’s Unknown Logicism : A Study in the History and Philosophy of Mathematics
- Semantics and Pragmatics: Drawing a Line
- Set Theory : With an Introduction to Real Point Sets
- Signs of logic : Peircean themes on the philosophy of language, games, and communication
- Singular Reference: A Descriptivist Perspective
- Special Sciences and the Unity of Science
- Strict Finitism and the Logic of Mathematical Applications
- Structural Analysis of Non-Classical Logics : The Proceedings of the Second Taiwan Philosophical Logic Colloquium
- Studies in Legal Logic
- Subjective Logic : A Formalism for Reasoning Under Uncertainty
- Substantive Perspectivism: An Essay on Philosophical Concern with Truth
- Supervenience and Normativity
- Susan Haack: Reintegrating Philosophy
- THE LIMITS OF LOGICAL EMPIRICISM : SELECTED PAPERS OF ARTHUR PAP
- Technology and Mathematics : Philosophical and Historical Investigations
- The Abductive Structure of Scientific Creativity : An Essay on the Ecology of Cognition
- The Age of Alternative Logics : Assessing Philosophy of Logic and Mathematics Today
- The Arché Papers on the Mathematics of Abstraction
- The Argument of Mathematics
- The Aristotelian Tradition and the Rise of British Empiricism : Logic and Epistemology in the British Isles (1570–1689)
- The Concept of Argument : A Philosophical Foundation
- The Dialectical Forge : Juridical Disputation and the Evolution of Islamic Law
- The Dynamics of Thought
- The Golden Age of Polish Philosophy : Kazimierz Twardowski's Philosophical Legacy
- The Language of Thought in Late Medieval Philosophy : Essays in Honor of Claude Panaccio
- The Logic of Categorial Grammars : A deductive account of natural language syntax and semantics
- The Logic of Sortals : A Conceptualist Approach
- The Lvov-Warsaw School. Past and Present
- The Nature of Truth : An updated approach to the meaning of truth ascriptions
- The Philosophy of Logical Atomism : A Centenary Reappraisal
- The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
- The Rational Shakespeare : Peter Ramus, Edward de Vere, and the Question of Authorship
- The Realism-Antirealism Debate in the Age of Alternative Logics
- The Road to Universal Logic : Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
- The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
- The Selected Correspondence of L.E.J. Brouwer
- The Significance of the Lvov-Warsaw School in the European Culture
- The Square of Opposition: A Cornerstone of Thought
- The Unity of Science in the Arabic Tradition : Science, Logic, Epistemology and their Interactions
- The Vienna Circle in the Nordic Countries. : Networks and Transformations of Logical Empiricism
- Theories of Intensionality : A Critical Survey
- Theories of the Logos
- Thinking about Contradictions : The Imaginary Logic of Nikolai Aleksandrovich Vasil’ev
- Topical Themes in Argumentation Theory : Twenty Exploratory Studies
- Toward Predicate Approaches to Modality
- Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
- Towards Paraconsistent Engineering
- Towards a General Theory of Classifications
- Treatise on Intuitionistic Type Theory
- Truth and Falsehood : An Inquiry into Generalized Logical Values
- Truth in Fiction : Rethinking its Logic
- Truth, Existence and Explanation : FilMat 2016 Studies in the Philosophy of Mathematics
- Truth-Seeking by Abduction
- Turing’s Revolution : The Impact of His Ideas about Computability
- Ultralogic as Universal? : The Sylvan Jungle - Volume 4
- Uncertainty : The Soul of Modeling, Probability & Statistics
- Uncertainty, Rationality, and Agency
- Unifying the Philosophy of Truth
- Unity, Truth and the Liar : The Modern Relevance of Medieval Solutions to the Liar Paradox
- Vague Objects and Vague Identity : New Essays on Ontic Vagueness
- Vagueness: A Guide
- Visual Reasoning with Diagrams
- Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
- Why Is Everyone Else Wrong? : Explorations in Truth and Reason
- Wilfrid Sellars and the Foundations of Normativity
- Wittgenstein's Ethical Thought
- Working with Preferences: Less Is More

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.lib.umanitoba.ca/resource/Lp1ykWrqeQ8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.umanitoba.ca/resource/Lp1ykWrqeQ8/">Logic</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.lib.umanitoba.ca/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.umanitoba.ca/">University of Manitoba Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Logic

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.lib.umanitoba.ca/resource/Lp1ykWrqeQ8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.umanitoba.ca/resource/Lp1ykWrqeQ8/">Logic</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.lib.umanitoba.ca/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.umanitoba.ca/">University of Manitoba Libraries</a></span></span></span></span></div>`