Logic TK: Algebraic Notions from Tarski’s Consequence Operator

, &
Principia: An International Journal of Epistemology 14 (1):47-70 (2010)
  Copy   BIBTEX

Abstract

Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este conjunto. Esta estrutura matemática caracteriza um espaço quase topológico. Este artigo mostra uma visão algébrica dos espaços de Tarski e introduz uma lógica proposicional modal que interpreta o seu operador modal nos conjuntos fechados de algum espaço de Tarski. DOI:10.5007/1808-1711.2010v14n1p47

Categories

Keywords

Reprint years

2011

DOI

10.5007/1808-1711.2010v14n1p47

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.
Ray on Tarski on logical consequence.William H. Hanson - 1999 - Journal of Philosophical Logic 28 (6):605-616.
What is Tarski's common concept of consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.
On a fallacy attributed to Tarski.Mario Gómez-Torrente - 1998 - History and Philosophy of Logic 19 (4):227-234.
On Tarski on models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.
Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.
Logical consequence: A defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.
Etchemendy and Bolzano on Logical Consequence.Paul Rusnock & Mark Burke - 2010 - History and Philosophy of Logic 31 (1):3-29.
Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
The variety of consequence, according to Bolzano.Johan Benthem - 1985 - Studia Logica 44 (4):389 - 403.
Tarski on logical notions.Luca Bellotti - 2003 - Synthese 135 (3):401 - 413.
Gómez-Torrente on Modality and Tarskian Logical Consequence.Manuel García-Carpintero - 2003 - Theoria 18 (2):159-170.
Acerca do conceito de consequência lógica.Alfred Tarski & Wagner de Campos Sanz - 2001 - Princípios 8 (10):220-233.
On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences.S. Roberto Arpaia - 2006 - History and Philosophy of Logic 27 (1):9-41.
The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.

Analytics

Added to PP
2013-04-12

Downloads
58 (#277,875)

6 months
18 (#143,743)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.

View all 21 references / Add more references