Poythress Logic

A God-Centered Approach to the Foundation of Western Thought
1. Auflage 2013
ISBN: 978-1-4335-3232-0
Verlag: Crossway
Format: EPUB
Kopierschutz: 0 - No protection

E-Book, Englisch, 736 Seiten

For the well-rounded Christian looking to improve their critical thinking skills, here is an accessible introduction to the study of logic (parts 1 & 2) as well as an in-depth treatment of the discipline (parts 3 & 4) from a professor with 6 academic degrees and over 30 years experience teaching. Questions for further reflection are included at the end of each chapter as well as helpful diagrams and charts that are appropriate for use in high school, home school, college, and graduate-level classrooms. Overall, Vern Poythress has undertaken a radical recasting of the study of logic in this revolutionary work from a Christian worldview.

Vern S. Poythress (PhD, Harvard University; ThD, University of Stellenbosch) is Distinguished Professor of New Testament, Biblical Interpretation, and Systematic Theology at Westminster Theological Seminary in Philadelphia, Pennsylvania, where he has taught for four decades. In addition to earning six academic degrees, he is the author of numerous books and articles on biblical interpretation, language, and science.

Autoren/Hrsg.

Poythress, Vern S.

Leseproben

Tables and Illustrations

Tables

27.1a:

Imaging the Father-Son Relationship

27.1b:

An Image of the Holy Spirit

27.1c:

Imaging Trinitarian Relationships

30.1:

Truth Table for Logical “Or” (?)

30.2:

Truth Table for Logical “Not” (~)

30.3:

Truth Table for Logical “And” (?)

30.4:

Truth Table for Logical (“Material”) Implication (?)

32.1:

Calculating Truth Values

32.2a:

All Possible Combinations of Truth Values for p, q, and r

32.2b:

All Possible Combinations for p, q, and r Plus Compounds

32.2c:

All Possible Combinations for p, q, and r Plus Compounds, with Calculations

32.3a:

Calculating the Truth Value of ~(~p ? ~q)

32.3b:

Calculating the Truth Value of ~(~p ? ~q) for All Possibilities

36.1:

Truth Table for Truth-functional Equivalence

39.1:

Truth Table for ~p ? p

41.1:

Truth Table for the Sheffer Stroke (|)

43.1:

Truth Values of (p ? p) ? p

43.2:

Truth Values for (p ? (q ? r)) ? (q ? (p ? r))

63.1:

Truth Table for Kleene’s Three-valued Logic

B5.1:

Checking a Tautology

E2.1:

One-to-one Matching of Infinite Sets

E2.2:

Matching Even Numbers with Whole Numbers

E2.3:

A List of Rational Numbers (with Duplicates)

E2.4:

Rational Numbers with Duplicates Eliminated

E2.5:

Enumerating the Rationals

E2.6:

Trying to Enumerate Real Numbers

E2.7:

Real Numbers with a Diagonal

E2.8:

Diagonalization with Gödel Numbers

E2.9:

Diagonalizing for a Power Set

Illustrations

14.1:

Frame’s Square on Transcendence and Immanence

14.2:

Frame’s Square: Summary of Christian and Non-Christian Views of Logic

27.1:

Dogs and Animals

27.2:

All Dogs Are Animals

27.3:

All Collies Are Dogs

27.4:

Therefore, All Collies Are Animals

27.5:

Venn Diagram for Dogs and Animals

27.6:

Venn Diagram for Dogs and Animals

27.7:

Venn Diagram for Dogs and Animals, with Shading

27.8:

Dogs and Animals Diagram with Empty Region Erased

27.9:

Venn Diagram for Collies, Dogs, and Animals

27.10:

Collies, Dogs, Animals Diagram, with Cross-outs for Dogs

27.11:

Collies, Dogs, Animals Diagram, with Cross-outs for Colliesand Dogs

27.12:

Venn Diagram for Collies, Dogs, and Animals, with Shading

27.13:

Venn Diagram for Nonanimals

27.14:

Nondogs and Nonanimals

28.1:

Venn Diagram for “No Bs are As”

28.2:

Venn Diagram of the Celarent Syllogism

28.3:

Venn Diagram of the Darii Syllogism

28.4:

Venn Diagram of the Ferio Syllogism

29.1:

All Bs Are As

29.2:

All Bs Are As, No Cs Are Bs

29.3:

Some C May Still Be A

29.4:

Genius, Talent, and Doctors

29.5:

“All Geniuses Are Talented”

29.6:

“Some Doctor Is Talented” (Both Subsections Checked)

29.7:

“Some Doctor Is Talented” (Check Mark on Boundary)

30.1:

Truth Values for (p or q)

33.1:

Venn Diagram of Conjunction (“And”)

33.2:

Venn Diagram of Conjunction (“Or”)

33.3:

Venn Diagram of Negation (“Not”)

...