Logic

Techniques of Formal Reasoning

Datos Bibliográficos

ID10694150
AutoresE G K Lopez-Escobar, Donald Kalish, Richard Montague
Año1967
Volumen76
Número2
Páginas252
Fecha de publicación1967-04-01
Open AccessNo
TipoARTICLE
RevistaThe Philosophical Review (JOURNAL)
Identificadores de la revistaISSN: 0031-8108 • E-ISSN: 1558-1470
EditorialJSTOR (PUBLISHER)
DOI10.2307/2183653
OpenAlexW2033866095
IdiomaEN
Citas recibidas13

Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered

Contemporary philosophy · Deductive reasoning · Epistemology · General interest · Artificial Intelligence · Computer Science · Mathematics Education and Teaching Techniques · Philosophy

Herramientas

Abrir DOISci-Hub