Logic-The Big Picture

Ross Brady (La Trobe University)

This papers expands on the logical picture in my book Universal Logic, virtually completed in 1996, by incorporating my more recent thinking on such logical matters. I will cover a broad range of issues in a fairly
discursive way, in order to paint a picture of logic, at least as I currently see it.  I will endeavour to cover the these topics under the headings:
§1. Introduction.
§2. What is logic about?
§3. The two inference concepts.
§4. Conjunction and disjunction.
§5. Negation.
§6. The logic MC of meaning containment.
§7. Content semantics.
§8. Metavaluations.
§9. Quantifiers.
§10. Applications.
§11. Conclusions.

Main references:
BRADY, R.T.
[2006]: Universal Logic, CSLI Publs, Stanford.
[2007]: Entailment: A Blueprint, in J-Y. Beziau, W. Carnielli and D. Gabbay (eds), Handbook of Paraconsistent Logic, College Publs, London, pp.127-151.
[2008]: Negation in Metacomplete Relevant Logics, Logique et Analyse,
Vol.51, pp.331-354.

BRADY, R.T. and MEINANDER, A.
[2013]: Distribution in the Logic of Meaning Containment and in Quantum Mechanics, in Paraconsistency: Logic and Applications, ed. By K. Tanaka, F. Berto, E. Mares and F. Paoli, Springer Publishing, Dordrecht, pp.223-255.

BRADY, R.T. and RUSH, P.A.
[2009]: Four Basic Logical Issues, The Review of ymbolic Logic, Vol.2,
pp.488-508.