Logica Universalis: Towards a General Theory of Logic
Graduate studies at Western
Jean-Yves Béziau (ed.)
|Abstract||Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity. This book contains recent works on universal logic by first-class researchers from all around the world. The book is full of new and challenging ideas that will guide the future of this exciting subject. It will be of interest for people who want to better understand what logic is. Tools and concepts are provided here for those who want to study classes of already existing logics or want to design and build new ones|
|Keywords||Logic, Symbolic and mathematical Model theory|
|Categories||categorize this paper)|
|Call number||QA9.2.L64 2005|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
J. Y. Beziau (ed.) (2005). Logica Universalis. Birkhäuser Verlog.
Steffen Lewitzka (2007). Abstract Logics, Logic Maps, and Logic Homomorphisms. Logica Universalis 1 (2):243-276.
J. P. Cleave (1991). A Study of Logics. Oxford University Press.
Diderik Batens (2007). A Universal Logic Approach to Adaptive Logics. Logica Universalis 1 (1):221-242.
Wilfrid Hodges (ed.) (1996). Logic: From Foundation to Applications: European Logic Colloquium. Oxford University Press.
Vladimir L. Vasyukov (2007). Structuring the Universe of Universal Logic. Logica Universalis 1 (2):277-294.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Shawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.
Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore (2001). The Prospects for Mathematical Logic in the Twenty-First Century. Bulletin of Symbolic Logic 7 (2):169-196.
Patrick Allo (2013). Adaptive Logic as a Modal Logic. Studia Logica 101 (5):933-958.
Alfred Tarski (1994). Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford University Press.
Minghui Ma (2010). Toward Model-Theoretic Modal Logics. Frontiers of Philosophy in China 5 (2):294-311.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
Sorry, there are not enough data points to plot this chart.
Added to index2011-06-02
Recent downloads (6 months)0
How can I increase my downloads?