TY - JOUR
AU - Ghilardi, Silvio
AB - W.A. Pogorzelski and P. Wojtylak, Completeness Theory for Proposi- tional Logics, Series: Studies in Universal Logic, Springer, 2008, EURO 49.90, VIII + 178 pp., softcover, ISBN: 978-3-7643-8517-0. Completeness is one of the fundamental concepts in the theory of formal systems. In the most general setting, we can say that a system is complete if it captures all correct schemes of argumentation, but when we attempt to formalize this notion, it turns out that there are many possible variants of completeness. In general, however, we can distinguish between two ways of approaching this notion. First, we can think of the concept of completeness globally, and say that a logical system is complete if it cannot be extended to a stronger and consistent one. This approach is purely syntactical and has many inequivalent variants itself, including the well- known notion of Post-completeness and structural completeness, among the most important ones. On the other hand, completeness may be considered locally, as a correspondence of the given logical system and its particular semantics. In this case, a logical system is complete if none of its derivable formulae can be falsified with respect to the given semantics. Both concepts of completeness were a subject 
TI - Book Reviews
JF - "Studia Logica"
DO - 10.1007/s11225-010-9267-1
DA - 2010-08-01
UR - https://www.deepdyve.com/lp/springer-journals/book-reviews-D5o26myEB4
SP - 443
EP - 448
VL - 95
IS - 3
DP - DeepDyve
ER -