In recent months we have had several forum threads, which naturally tend to throw up onward topics worth headlining. Here, I will headline some observations on implication logic in deductive and in inductive reasoning. However, first, the core of the logic of implication. Algebraically, p => q is analysed as ~[p AND ~q]. Interpreted, for whatever reason, p being so is sufficient for q to also be so. This compound proposition does NOT assert that p, only that p is sufficient for q. Similarly, q is NECESSARY for p, i.e. if q can be false and p true, q is not implied by p. As a bare structure, this is termed material implication, fleshing out the why of the implication Read More ›

At the suggestion of a pastor friend, I have developed a study guide to go along with the video “A Summary of the Evidence for Intelligent Design,” which was highlighted in an article by Brian Miller at Evolution News. The study guide is here. Although there is only one section (4b) that relates ID to the Bible, I think it could serve as a nice introduction to ID for a church discussion group. Notice the video now has Spanish and Polish subtitles.