Episode 14 - Is Logic the mystery of reality ??

Book Summary in Nepali

Content provided by Samip Ghimire. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Samip Ghimire or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ppacc.player.fm/legal.

4y ago 9:38

MP3•Episode home

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on April 25, 2023 12:12 (2y ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

Logic as a Tool: A Guide to Formal Logical Reasoning by Valentin Goranko

Written in a clear, precise, and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory.

The book explains the grammar, semantics, and use of classical logical languages and teaches the reader how to grasp the meaning and translate them to and from natural language. It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalizing and automating logical reasoning both on propositional and on the first-order level, and provides the reader with technical skills needed for practical derivations in them. Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ.
•Concise and systematic exposition, with a semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples
•Emphasis both on conceptual understanding and on developing practical skills
•Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic
•Includes extensive sets of exercises, many of them provided with solutions or answers
•Supplemented by a website including detailed slides, additional exercises, and solutions

--- Support this podcast: https://podcasters.spotify.com/pod/show/samip-ghimire/support

14 episodes

#Books #Arts #Samip Ghimire