Surf these sites: Centre for Logic and Philosophy of Science -- Homepage of the research insitute in Belgium. The Centre''s principal reserach interest is in paraconsistency and scientific methodology. Dialogue Logic -- Homepage maintained by Claus Zinn. Dialogue Logic is a game-theoretic approach to the semantics of logic proposed by Paul Lorenzen, in which validity is modelled by the existence of a winning strategy in a dialogue game between an advocate and an opponent. Infinitary Logic -- Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities. Non Standard Logics -- A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
Help build the largest human-edited
directory on the web.