DIKUL - logo
ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • Meaning and argument : an introduction to logic through language
    LePore, Ernest, 1950-
    This work shifts introductory logic from the traditional emphasis on proofs to the symbolization of arguments. Another feature of this book is that it shows how the need for expressive power and for ... drawing distinctions forces formal language development. At each stage of system elaboration and development, the book answers metalogical questions. Why is a particular formalism needed? What must go into such a formalism and why? These questions should engage students in a collective inquiry which allows them to see logical studies as a human enterprise aimed at achieving well understood purposes - clarity and good reasoning. This book answers its main questions by proceeding from a simple formal language to increasingly complex formal languages and by explaining the reason for each complication. The move from propositional to property predicate logic, from property predicate logic to relational predicate logic, and finally from relational predicate logic to relational predicate logic with identity is made clear to the student at each step.
    Type of material - book
    Publication and manufacture - Oxford ; Malden : Blackwell, cop. 2000
    Language - english
    ISBN - 0-631-20582-9
    COBISS.SI-ID - 181336323

No library within the COBISS.SI system holds a copy of this material.
loading ...
loading ...
loading ...

Shelf entry