Research:

My M.A. thesis research lies within preservationist approach to semantics. I have been studying systems in which implication is required to preserve an infinite hierarchy of properties: truth, properties of truth-values, properties of properties of truth-values, and so on. My underlying hypothesis was that if classical implication fails because it, as it were, runs out of properties to preserve when its antecedent is contradictory, then an implication that always finds in its antecedent something that it is required to preserve could never impose unprincipled consequences. The main application for such systems rests upon their usefulness in understanding inferences in paradoxical languages (such as naive set theory) in which definitions give rise to objects with contradictory properties. One of the main challenges of the work has been to give an account of the same hierarchy of properties as it applies to implication sentences themselves.

A second, related line of investigation will extend non-thesis research that I have participated in with R.E. Jennings and T. Nicholson. In particular, I explored the properties and formal uses of two new classes of structures that have already permitted fundamental simplifications of proofs in the theory of coherence-preserving systems.

Refereed Publications
• Sarenac, Darko and Jennings, R.E. Beyond Truth(--preservation). Proceedings of WCP II. (To appear, 2001).
  
• Sarenac, Darko and Jennings, R.E. (2000) The Preservation of Relevance. Submitted to The Nordic journal of philosophical logic.
  
• Sarenac, Darko and Jennings, R.E. (2000) Paraconsistency, Implication, and Truth. Submitted Studia Logica.
  
• Sarenac, Darko, Jennings, R.E. and Nicholson, Tara. (2000) "A New Axiomatization for the Kn modal logics." Submitted to JPL.
  
• Sarenac, Darko, and Jennings R.E. (1999) "The Preservation of Meta-Valuational Properties and the Meta-Valuational Properties of Implication." To appear in Logical Consequence: Rival Approaches and New Studies in Exact Philosophy, Logic, Mathematics and Science (Vol I).Hermes Science Publishers, Oxford.
  
• Nicholson, Tara, Jennings R.E., and Sarenac, Darko. (1999) "A new completeness proof for the Kn modal logics." To appear in Logical Consequence: Rival Approaches and New Studies in Exact Philosophy, Logic, Mathematics and Science (Vol I).Hermes Science Publishers, Oxford.
  
• Nicholson, Tara, Jennings R.E., and Sarenac, Darko. (1999) "Revisiting the completeness of the Kn axiomatization for the modal logics of (n+1)-ary relational frames: A new proof." To appear in the Logic Journal of the IGPL. Ed. Dov Gabbay.
  
  

Conference Papers
• Sarenac, Darko, and Jennings R.E. (2000) "Exchanging T's for 1's, or on whether we understand truth". Canadian Philosophical Association meeting, Edmonton, Alberta.
  
• Sarenac, Darko, and Jennings R.E. (2000) "Nobel measure and paraconsistent tolerance". 2nd World Congress on Paraconsistency, Juquehy, Brazil.
  
• Sarenac, Darko, and Jennings R.E. (2000) "A completeness proof for Kn logics". SEP Conference, Florida.
  
• Sarenac, Darko. (1999) "Paradox Tolerance and Meta-Valuation." SEP Conference, Lethbridge, Alberta.
  
• Sarenac, Darko. (1999) "Nobel Measures of Paraconsistency." Presented at Southwest Logic Workshop, Victoria, BC.
  
• Sarenac, Darko. (1998) "The Preservation of Meta-Valuational Properties and the Meta-Valuational Properties of Implication." Western Canadian Philosophical Association Conference, Vancouver, BC.