Fathoming Formal Logic
Fathoming Formal Logic
Fathoming Formal Logic
Fathoming Formal Logic
Fathoming Formal Logic
Fathoming Formal Logic
Trending Bestseller

Fathoming Formal Logic

Vol II: Semantics and Proof Theory for Predicate Logic

Odysseus Makridis

No reviews yet Write a Review
Paperback / softback
01 February 2018
$40.00
In Stock: Ships in 3-5 Days
In Stock: Ships in 7-9 Days
Hurry up! Current stock:
icon Share icon Share
Description  

This text, volume II of a two-volume work, examines in depth the so-called “standard” predicate logic. Including a foundational lexicon of terms and a detour through the classical propositional logic, this volume can be used independently of the first. 

As a means toward teasing out theoretical subtleties and negotiating formal and philosophic challenges, this work uses detailed examples and exercises; because of this feature, the text can also be used to study formal logic in a rigorous fashion.

 

Given its expressive power, predicate logic is deemed as minimally adequate for formalization of such fundamental languages as that of Mathematics and for translations of the meanings of English (or other natural-language) sentences. Laying foundations in this area is key to a technical understanding of deductive reasoning and to honing rigorous critical thinking and problem-solving skills. 

Notable (some of them unusual) features that are covered in the present volume include the following:

  • The overview of propositional logic includes positive semantic trees, in addition to the negative semantic tree method.
  • Prenex forms and conversion to equivalent prenex forms.
  • Relational (ultimately polyadic) predicate symbols, function symbols and identity are made available.
  • The decision problem and the Lӧwenheim Result are discussed.
  • Proof-theoretic methods are presented analytically and extensive justifications are offered for the required restrictions on the deduction rules.
  • The semantics of predicate logic modeling are presented in analytical detail along with inquiries into the logical-philosophical significance of predicate logic. 
  • Translation from English into the predicate logic idiom (formalization, symbolization) is examined thoroughly, accompanied by motivating linguistic observations and thorough scrutiny of available options; aspects of this inquiry include translations under restricted and unrestricted domains, translations of compacted predicates, rendering of non-classically quantified phrases, translations of numerical statements, definite descriptions and regimentation, and guidance on how to render existential presuppositions.
  • Disambiguation is imposed on translations and an extensive list of examples is presented.
  • Translations of idiomatic linguistic expressions are studied.
  • Semantic tree decision procedures (for finitarian domains) – including negative and positive semantic tree systems – are constructed and applied.
  • Appendices on Set Theory, Mathematical Induction and Dialogical Logic are presented.  
Customer reviews  

This product hasn't received any reviews yet. Be the first to review this product!

Write a Reviews
Flat Rate Shipping  
Easy Returns  
$40.00
In Stock: Ships in 3-5 Days
In Stock: Ships in 7-9 Days
Hurry up! Current stock:
icon Share icon Share
Flat Rate Shipping  
Easy Returns  

Fathoming Formal Logic

$40.00

Description

This text, volume II of a two-volume work, examines in depth the so-called “standard” predicate logic. Including a foundational lexicon of terms and a detour through the classical propositional logic, this volume can be used independently of the first. 

As a means toward teasing out theoretical subtleties and negotiating formal and philosophic challenges, this work uses detailed examples and exercises; because of this feature, the text can also be used to study formal logic in a rigorous fashion.

 

Given its expressive power, predicate logic is deemed as minimally adequate for formalization of such fundamental languages as that of Mathematics and for translations of the meanings of English (or other natural-language) sentences. Laying foundations in this area is key to a technical understanding of deductive reasoning and to honing rigorous critical thinking and problem-solving skills. 

Notable (some of them unusual) features that are covered in the present volume include the following:

  • The overview of propositional logic includes positive semantic trees, in addition to the negative semantic tree method.
  • Prenex forms and conversion to equivalent prenex forms.
  • Relational (ultimately polyadic) predicate symbols, function symbols and identity are made available.
  • The decision problem and the Lӧwenheim Result are discussed.
  • Proof-theoretic methods are presented analytically and extensive justifications are offered for the required restrictions on the deduction rules.
  • The semantics of predicate logic modeling are presented in analytical detail along with inquiries into the logical-philosophical significance of predicate logic. 
  • Translation from English into the predicate logic idiom (formalization, symbolization) is examined thoroughly, accompanied by motivating linguistic observations and thorough scrutiny of available options; aspects of this inquiry include translations under restricted and unrestricted domains, translations of compacted predicates, rendering of non-classically quantified phrases, translations of numerical statements, definite descriptions and regimentation, and guidance on how to render existential presuppositions.
  • Disambiguation is imposed on translations and an extensive list of examples is presented.
  • Translations of idiomatic linguistic expressions are studied.
  • Semantic tree decision procedures (for finitarian domains) – including negative and positive semantic tree systems – are constructed and applied.
  • Appendices on Set Theory, Mathematical Induction and Dialogical Logic are presented.  

Customers Also Viewed

Discover Books for Every Interest at BookLoop

Discover your next great read at BookLoop, Australia's trusted online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality.

Books on Hobbies, Crafts, Gardening, and More

For those with a green thumb, our comprehensive range of gardening books provides insights and tips for all levels of enthusiasts. If you're aiming to enhance your financial acumen, our selection of finance, business, and management books offers valuable knowledge from industry experts. Craft lovers will appreciate our assortment of handicrafts, decorative arts, and crafts books, perfect for inspiring your next project. Engage your mind with our collection of hobbies, quizzes, and games books, or explore the mystical with our fortune-telling and divination guides.

Transport, Contemporary Fiction, and Picture Books for Kids

Transportation aficionados can immerse themselves in our extensive transportation books, including detailed works on road and motor vehicles. Young readers are not left out, with a delightful array of picture books and early learning concepts designed to educate and entertain. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles, or gain inspiration from real-life tales in our biographies and true stories collection. Health-conscious readers can explore our health and wholefood cooking books, focusing on specific diets and conditions.

School Books, Teacher Resources, and Academic Textbooks

Textbooks for Primary, Secondary, and Higher Education

BookLoop proudly supports the educational needs of students and schools across Australia. Our textbook collection includes school books and teacher resources for every phase from primary school books, secondary school books, and essential titles for TAFE courses, vocational training, and university study. Each book is selected to align with curriculum outcomes and classroom needs, making it easy for schools and teachers to plan ahead.

Teacher Resources and Classroom Support Materials

From structured lesson planning to engaging student activities, our wide range of school books and teacher resources provides essential tools for educators. You’ll also find dedicated school and preschool teacher materials designed for early years education, classroom support, and intervention. Teachers can access a reliable selection of workbooks, literacy and numeracy programs, assessment tools, and professional development guides all in one place.

Books for Early Learning Centres and Childcare Professionals

Support the earliest stages of education with our curated range of early childhood care and education books. These titles are ideal for early learning centres, preschools, and childcare settings, offering age-appropriate resources that build foundational skills in literacy, numeracy, and emotional development. Families and educators alike trust our resources for quality, clarity, and classroom effectiveness.

Bulk Book Orders for Schools and Educational Institutions

We make bulk school book orders simple and efficient. Schools, libraries, and early learning centres can rely on BookLoop for competitive pricing, fast shipping, and expert support when sourcing large quantities of textbooks and educational materials. Whether you’re restocking for a new term or ordering resources for an entire class, our bulk ordering system ensures convenience and accuracy every step of the way.

Stay Up to Date with Book Trends

Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.

Explore the Latest and Most Loved Books

Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.