greg_restall's tags

action   adjoint   affine   algebra   algebras   analysis   analytic   analytic_philosophy   anti-realism   a_priori   argumentation   arithmetic   assertion   associativity   attitudes   axiom   barwise   behmann   belief   bibtex-import   bilattices   blackburn   blog   bolzano   bradwardine   braid   buridan   calculus   canberra_plan   cantor   carnap   cassirer   category   choice   chu_construction   church   church-truring_thesis   classical   closure   coalgebra   coherence   combinatorics   communication   comonad   complexity   computability   concept   concepts   conceptual   concurrency   conditional   conditionalising   connective   consequence   conservativeextension   consistency   constructive   content   context   continuation   continuous   contraction   correctness   counterfactual   curry   cut   cutelimination   cut_elimination   decision_theory   deduction   defeasibility   definition   deflationism   degrees   delay   denial   dialetheism   dialogue   discourse   disjunction   display   disposition   domain   duality   dummett   dynamic   elimination   encyclopedia   entailment   epistemic   epistemology   equality   ethics   existence   explanation   expressivism   externalism   fairness   final   finite   fitch   fixed   fixpoints   flow   forcing   foundations   frame   free_logic   frege   functor   fuzzy_logic   generality   gentzen   geometry   godel   groups   harmony   haskell   heidegger   herbrand   hilbert   hilberts_program   history   history_of_logic   hypersequents   identity   ideology   impossible   incarnation   incompleteness   inconsistency   induction   inference   inferentialism   infinitary   information   interaction   internalism   introduction   intuition   intuitionistic   izf   jaskowski   justice   justification   kant   keisler   knowability   knower   knowledge   kuhn   lambda   lambek   lattice   lattice-ordered   lc2005   lemmon   liar   linear   local   logic   logicism   logics   lucas   lukasiewicz_logic   many_valued   martin-lf   mathematical   mathematics   meaning   mechanism   mental   mine   mix   mixed   modal   modality   model   models   modularity   monad   motivation   mu-calculus   multipleconclusion   multiple_conclusion   multiple-valued   natural   naturaldeduction   negation   net   nonclassical   noncommutative   non-monotonic   normalisation   normativity   no-tag   objects   ontology   order   paraconsistent   paradigm   paradox   philosophical_logic   philosophy   philosophy_of_mathematics   physics   pluralism   pnc   point   positivism   possible   possible_world   prawitz   pretopology   principia   principia_mathematica   probability   programming   proof   proofnet   proofnets   prooftheory   prootheory   provability   psychologism   putnam   quantification   quantifier   quantum   quasi-realism   quine   ramsey   rawls   realism   reason   recursive   relevant   representation   research   resource   revision   rewriting   russell   s5   self-reference   seligman   semantics   sense   sequent   sequentialisation   set_theory   situation   slice   sorensen   space   star_autonomous   stone   structure   structured   studyleave2005   substitution   substitutional   substructural   supervaluation   switching   synthetic   tableaux   tablesofdevelopment   temporal   term   ternary   textbook   theology   theory   tolerance   tonk   transformation   tree   truth   truthteller   type   typetheory   uncountable   update   vagueness   validity   weakening   wiki   worlds   zorns_lemma