Volume 58, Issue 2, 2011
On logic, its subject and mission – and on a book rewarded by Academy of Sciences of Czech Republic
The Author refers about the award bestowed to a book on logic and uses this opportunity to say some words: (a) about logic and its role in our life, (b) about mathematical and philosophical logic, (c) about a highly inspiring theory in philosophical logic whose author has been the late Czech logician Pavel Tichý and, finally, (d) about the rewarded book:
M. Duží, B. Jespersen, P. Materna, Procedural Semantics for Hyperintensional Logic (Foundations and Applications of Transparent Intensional Logic), Springer 2010 (awarded by Academy of Sciences of Czech Republic for a scientific outcome).
A very brief survey of the subject of logic (mathematical as well as philosophical logic) precedes a brief characteristic of some important notions and principles of TIL. The Author tries to convince the Reader that logic in general, philosophical logic in particular and, in the end, TIL need not be as famous as modern physic and Einstein but that all the same their mediate influence on science and ‘mental hygiene’ is arguably great. Some specific features of TIL (as compared with other comparable theories) are referred to and positively evaluated.