Skip to main content
×
×
Home

CLASSICALLY ARCHETYPAL RULES

  • TOMASZ POŁACIK (a1) and LLOYD HUMBERSTONE (a2)
Abstract

A one-premiss rule is said to be archetypal for a consequence relation when not only is the conclusion of any application of the rule a consequence (according to that relation) of the premiss, but whenever one formula has another as a consequence, these formulas are respectively equivalent to a premiss and a conclusion of some application of the rule. We are concerned here with the consequence relation of classical propositional logic and with the task of extending the above notion of archetypality to rules with more than one premiss, and providing an informative characterization of the set of rules falling under the more general notion.

Copyright
Corresponding author
*INSTITUTE OF MATHEMATICS UNIVERSITY OF SILESIA BANKOWA 14, 40-007 KATOWICE, POLAND E-mail: tomasz.polacik@us.edu.pl
DEPARTMENT OF PHILOSOPHY MONASH UNIVERSITY MELBOURNE VICTORIA 3800, AUSTRALIA E-mail: lloyd.humberstone@monash.edu
References
Hide All
de Jongh, D., & Chagrova, L. A. (1995). The decidability of dependency in intuitionistic propositional logic. Journal of Symbolic Logic, 60, 498504.
Humberstone, L. (1997). Two types of circularity. Philosophy and Phenomenological Research, 57, 249280.
Humberstone, L. (2004). Archetypal forms of inference. Synthese, 141, 4576.
Humberstone, L. (2010). Smiley’s distinction between rules of inference and rules of proof. In Lear, J. and Oliver, A., editors. The Force of Argument: Essays in Honor of Timothy Smiley. New York: Routledge, pp. 107126.
Humberstone, L. (2011). The Connectives. Cambridge, MA: MIT Press.
Humberstone, L. (2013). Logical relations. Philosophical Perspectives, 27, 176230.
Humberstone, L. (2016). Philosophical Applications of Modal Logic. London: College Publications.
Łoś, J. & Suszko, R. (1958). Remarks on sentential logics. Indagationes Mathematicae, 20, 177183.
Mendelson, E. (2015). Introduction to Mathematical Logic (sixth edition). Boca Raton, FL: CRC Press (Taylor and Francis). (First edition, Van Nostrand, NY, 1964.)
Połacik, T. (2005). The unique intermediate logic whose every rule is archetypal. Logic Journal of the IGPL, 13, 269275.
Połacik, T. (2012). Archetypal rules and intermediate logics. In Peliš, M. and Punčochář, V., editors. The Logica Yearbook 2011. London: College Publications, pp. 227237.
Rautenberg, W. (1985). Consequence relations of 2-element algebras. In Dorn, G. and Weingartner, P., editors. Foundations of Logic and Linguistics: Problems and their Solutions. New York: Plenum Press, pp. 323.
Segerberg, K. (1982). Classical Propositional Operators. Oxford: Oxford University Press.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords:

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 7 *
Loading metrics...

Abstract views

Total abstract views: 44 *
Loading metrics...

* Views captured on Cambridge Core between 15th May 2018 - 21st May 2018. This data will be updated every 24 hours.