Studia Logica

, Volume 103, Issue 3, pp 579–598 | Cite as

Non-deterministic Conditionals and Transparent Truth



Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of (infinitely-valued) non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are consistent and their conditionals are quite strong. The difference is the following: while Łukasiewicz logic is \({\omega}\)-inconsistent, the non-deterministic theories might turn out to be \({\omega}\)-consistent.


Naive truth theory Łukasiewicz logic Curry’s paradox Non-deterministic semantics \({\omega}\)-Inconsistency 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Avron, A., and A. Zamansky, Non-deterministic semantics for logical systems, in D. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic, Vol. 16, Kluwer Academic Publisher, New York, 2008, pp. 227–304.Google Scholar
  2. 2.
    Bacon, A., Curry’s paradox and \({\omega}\)-inconsistency, Studia Logica 101:1–9, 2013.CrossRefGoogle Scholar
  3. 3.
    Bacon, A., A new conditional for naive truth theory, Notre Dame Journal of Formal Logic 54(1):87–104, 2013.CrossRefGoogle Scholar
  4. 4.
    Batens, D., K. De Clercq, and N. Kurtonina, Embedding and interpolation for some paralogics. The propositional case, Reports on Mathematical Logic 33:29–44, 1999.CrossRefGoogle Scholar
  5. 5.
    Beall, J. C., Spandrels of Truth, Oxford University Press, Oxford, 2009.CrossRefGoogle Scholar
  6. 6.
    Field, H., Saving Truth from Paradox, Oxford University Press, Oxford, 2008.CrossRefGoogle Scholar
  7. 7.
    HÁjek, P., J. Paris, and J. Shepherdson, The liar paradox and fuzzy logic, The Journal of Symbolic Logic 65(1):339–346, 2000.CrossRefGoogle Scholar
  8. 8.
    Priest, G., An Introduction to Non-classical Logics, Cambridge University Press, Cambridge, 2008.CrossRefGoogle Scholar
  9. 9.
    Restall, G., How to be really contraction free, Studia Logica 52(3):381–391, 1993.CrossRefGoogle Scholar
  10. 10.
    Restall, G., Arithmetic and truth in Łukasiewicz infinitely valued logic, Logique et Analyse 140:303–312, 1992.Google Scholar
  11. 11.
    Rosenblatt, L., Two-valued logics for transparent truth theories, Australasian Journal of Logic (forthcoming).Google Scholar
  12. 12.
    Yablo, S., New grounds for naive truth, in J. C. Beall, (ed.), Liars and Heaps, Oxford University Press, Oxford, 2003.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  1. 1.SADAFConicetBuenos AiresArgentina

Personalised recommendations