Logic at the borderline of the millenium

MaRDI QIDQ2751809zbMATH OpenFDO

Authors Alexander S. Karpenko

Publication date 30 April 2002

zbMATH Keywords

algebraizationclosure operatorcontemporary position of logicdeductive system

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Future perspectives in mathematics (01A67) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Review text

The author discusses the contemporary position of logic, having in mind the basic facts about its development during the last century. As he remarks, logic is apparently losing the quality of a science concerned with the correctness of reasoning and becoming a science about constructions having an extremely abstract nature. In this sense logic is transformed just into metalogic with its new role with the main point that logic comes out of limits of what is properly logical. In this short survey the following subjects are treated: closure operator and deductive systems, logical comprehension of the continuum, an extension of classical logic as a consequence of its restrictions, lattices of theories and logics, categories and topoi, closure operator and category together, algebraization of logic.NEWLINENEWLINEFor the entire collection see [Zbl 0960.00036].

Recommendations

• scientific article; zbMATH DE number 2209825
• scientific article; zbMATH DE number 7638385
• Logic in category theory
• scientific article; zbMATH DE number 1421063
• A system of the logic of change

Cited in

(5)

• Logic as instrument: the millian view on the role of logic
• Samsara
• scientific article; zbMATH DE number 2209825 (Why is no real title available?)
• The subject and prospects of development of logic
• Deep fried logic

This page was built for publication: Logic at the borderline of the millenium

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751809)