Synthese:1-24 (forthcoming)

Joao Marcos
Universidade Federal do Rio Grande do Norte
The standard notion of formal theory, in logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts the generating axioms of the theory should also be committed to accept. In reviewing the main abstract approaches to the study of logical consequence, we point out why this notion of theory is unsatisfactory at multiple levels, and introduce a novel notion of theory that attacks the shortcomings of the received notion by allowing one to take both assertions and denials on a par. This novel notion of theory is based on a bilateralist approach to consequence operators, which we hereby introduce, and whose main properties we investigate in the present paper.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/s11229-019-02183-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,826
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Über den Begriff der Logischen Folgerung.Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):83-84.
Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.
Formalization of Logic.E. N. - 1943 - Journal of Philosophy 40 (12):332.

View all 11 references / Add more references

Citations of this work BETA

An Unexpected Boolean Connective.Sérgio Marcelino - forthcoming - Logica Universalis:1-19.

Add more citations

Similar books and articles

On the Formalization of Strawson's Presupposition.Jacek Malinowski - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):111-118.
Theoremhood and Logical Consequence.Ignacio Jane - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):139-160.
On Existence in Set Theory.Rodrigo A. Freire - 2012 - Notre Dame Journal of Formal Logic 53 (4):525-547.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
The Medieval Theory of Consequence.Stephen Read - 2012 - Synthese 187 (3):899-912.
Logic of Assertions.Ton Sales - 1996 - Theoria 11 (1):203-228.


Added to PP index

Total views
24 ( #445,255 of 2,438,796 )

Recent downloads (6 months)
1 ( #436,491 of 2,438,796 )

How can I increase my downloads?


My notes