<--- Back to Details
First PageDocument Content
Logic / Abstraction / Philosophy / Arguments / Critical thinking / Philosophy of language / Logical truth / Semantics / First-order logic / Logical form / Propositional calculus / Meaning
Date: 2014-10-16 03:42:21
Logic
Abstraction
Philosophy
Arguments
Critical thinking
Philosophy of language
Logical truth
Semantics
First-order logic
Logical form
Propositional calculus
Meaning

Reconstructing Arguments: Formalization and Reflective Equilibrium

Add to Reading List

Source URL: www.georgbrun.ch

Download Document from Source Website

File Size: 168,31 KB

Share Document on Facebook

Similar Documents

ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the s

DocID: 1t0LY - View Document

Mathematical logic / Logic / Computability theory / Theory of computation / Proof theory / Hierarchy / Lambda calculus / Theoretical computer science / Consistency / Propositional calculus / Calculus / Arithmetical hierarchy

Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549

DocID: 1rjw8 - View Document

Logic / Mathematical logic / Mathematics / Proof theory / Automated theorem proving / Craig interpolation / Lemmas / Non-classical logic / Sequent / Propositional calculus / First-order logic / Modal logic

Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract

DocID: 1ripK - View Document

Mathematical analysis / Mathematics / Analysis / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Exponentiation / Distribution / Derivative

179 Doc. Math. J. DMV Differen e S heme for the Vlasov-Manev System

DocID: 1rgQa - View Document

Logic / Mathematical logic / Proof theory / Admissible rule / Natural deduction / Sequent / First-order logic / Propositional calculus / Substructural logic / Rule of inference / Intuitionistic logic / Theorem

Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016

DocID: 1rfeR - View Document