Content deleted Content added
Split up article |
ce |
||
Line 1:
{{Expert-subject|Logic|date=December 2011}}
{{Expert-subject|Philosophy|date=December 2011}}
In [[logic]], a '''strict conditional''' is a [[material conditional]] that is acted upon by the necessity operator from [[modal logic]]. For any two propositions <math>p</math> and <math>q</math>, the formula <math>p \rightarrow q</math> says that <math>p</math> materially implies <math>q</math> while <math>\Box (p \rightarrow q)</math> says that <math>p</math> strictly implies <math>q</math>.<ref>Graham Priest, ''An Introduction to Non-Classical Logic: From if to is'', 2<sup>nd</sup> ed, Cambridge University Press, 2008, ISBN 0521854334, [http://books.google.com/books?id=rMXVbmAw3YwC&pg=PA72 p. 72.]</ref> Strict conditionals are the result of [[Clarence Irving Lewis]]'s attempt to find a conditional for logic that can adequately express [[indicative conditional]]s in natural language.<ref>Nicholas Bunnin and Jiyuan Yu (eds), ''The Blackwell Dictionary of Western Philosophy'', Wiley, 2004, ISBN 1405106794, "strict implication," [http://books.google.com/books?id=OskKWI1YA7AC&pg=PA660 p. 660.]</ref>
==Avoiding paradoxes==
| |||