Articles liés à Fathoming Formal Logic: Vol II: Semantics and Proof...

Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic - Couverture souple

 
9781848902671: Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurCollege Publications
  • Date d'édition2018
  • ISBN 10 1848902670
  • ISBN 13 9781848902671
  • ReliureBroché
  • Langueanglais
  • Nombre de pages444
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
EUR 22,92

Autre devise

EUR 17,37 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 24,78

Autre devise

EUR 4,70 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Résultats de recherche pour Fathoming Formal Logic: Vol II: Semantics and Proof...

Image d'archives

Makridis, Odysseus
Edité par College Publications, 2018
ISBN 10 : 1848902670 ISBN 13 : 9781848902671
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9781848902671_new

Contacter le vendeur

Acheter neuf

EUR 24,78
Autre devise
Frais de port : EUR 4,70
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Makridis, Odysseus
Edité par College Publications, 2018
ISBN 10 : 1848902670 ISBN 13 : 9781848902671
Neuf Couverture souple

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur V9781848902671

Contacter le vendeur

Acheter neuf

EUR 27,18
Autre devise
Frais de port : EUR 3
De Irlande vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Odysseus Makridis
Edité par College Publications, 2018
ISBN 10 : 1848902670 ISBN 13 : 9781848902671
Neuf PAP

Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9781848902671

Contacter le vendeur

Acheter neuf

EUR 30,50
Autre devise
Frais de port : EUR 0,75
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Odysseus Makridis
Edité par College Publications, 2018
ISBN 10 : 1848902670 ISBN 13 : 9781848902671
Neuf PAP

Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9781848902671

Contacter le vendeur

Acheter neuf

EUR 26,20
Autre devise
Frais de port : EUR 5,69
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Odysseus Makridis
ISBN 10 : 1848902670 ISBN 13 : 9781848902671
Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9781848902671

Contacter le vendeur

Acheter neuf

EUR 21,07
Autre devise
Frais de port : EUR 11,19
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Odysseus Makridis
Edité par College Publications, 2018
ISBN 10 : 1848902670 ISBN 13 : 9781848902671
Neuf Paperback / softback

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback / softback. Etat : New. New copy - Usually dispatched within 3 working days. 730. N° de réf. du vendeur B9781848902671

Contacter le vendeur

Acheter neuf

EUR 24,07
Autre devise
Frais de port : EUR 8,70
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Makridis, Odysseus
Edité par College Publications, 2018
ISBN 10 : 1848902670 ISBN 13 : 9781848902671
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9781848902671

Contacter le vendeur

Acheter neuf

EUR 27,74
Autre devise
Frais de port : EUR 6,95
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Makridis, Odysseus
Edité par College Publications, 2018
ISBN 10 : 1848902670 ISBN 13 : 9781848902671
Neuf Couverture souple

Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur V9781848902671

Contacter le vendeur

Acheter neuf

EUR 32,26
Autre devise
Frais de port : EUR 2,74
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Odysseus Makridis
Edité par College Publications, 2018
ISBN 10 : 1848902670 ISBN 13 : 9781848902671
Neuf Paperback / softback
impression à la demande

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 730. N° de réf. du vendeur C9781848902671

Contacter le vendeur

Acheter neuf

EUR 27,48
Autre devise
Frais de port : EUR 8,70
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Makridis, Odysseus
Edité par College Publications, 2018
ISBN 10 : 1848902670 ISBN 13 : 9781848902671
Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. KlappentextThis 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 i. N° de réf. du vendeur 448374225

Contacter le vendeur

Acheter neuf

EUR 26,56
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 10 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre