Graduate studies at Western
Theoria 18 (2):179-187 (2003)
|Abstract||Tarski’s definition of logical consequence can take different forms when implemented in second order languages, depending on what counts as a model. In the canonical, or standard, version, a model is just an ordinary structure and the (monadic) second-order variables are meant to range over all subsets of its domain. We discuss the dependence of canonical second-order consequence on set theory and raise doubts on the assumption that canonical consequence is a definite relation|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
William H. Hanson (1999). Ray on Tarski on Logical Consequence. Journal of Philosophical Logic 28 (6):605-616.
Jose Saguillo (2009). Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence. History and Philosophy of Logic 30 (1):21-48.
Eli Dresner (2010). Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach. Notre Dame Journal of Formal Logic 52 (1):75-93.
Jared Bates (1999). Etchemendy, Tarski, and Logical Consequence. Southwest Philosophy Review 15 (1):47-54.
Agustin Rayo (1999). Toward a Theory of Second-Order Consequence. Notre Dame Journal of Formal Logic 40 (3):315-325.
Greg Ray (1996). Logical Consequence: A Defense of Tarski. [REVIEW] Journal of Philosophical Logic 25 (6):617 - 677.
Ignacio Jané (2006). What is Tarski's Common Concept of Consequence? Bulletin of Symbolic Logic 12 (1):1-42.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Ignacio Jané (2003). Remarks on Second-Order Consequence. Theoria 18 (2):179-187.
Ignacio Jané (1988). Lógica Y Ontología. Theoria 4 (1):81-106.
Added to index2009-01-28
Total downloads4 ( #189,291 of 739,578 )
Recent downloads (6 months)1 ( #61,680 of 739,578 )
How can I increase my downloads?