· Kui üks eeldustest on osaline, siis ka järeldus peab olema osaline · Kui üks eeldustest on eitav, peab järeldus eitama · Eeldused peavad olema jaatavad 1. Modus ponense põhjuse jaatamiselt tagajärje jaatamisele {(p nool q)^p} nool q 2. Modus tollens- tagajärje eitamiselt aluse eitamisele a. [(p nool q)^q kaetud] nool p kaetud Induktiivne järeldus. Ühtivusmeetod. Kui mingi põhjus igalpool ühtib,siis on ta põhjus. Erinevusmeetod. Kui a kaob siis nähtus kaob , a on põhjus. Jääkide meetod - kui mingi asi jääb üle, siis on ta põhjus.
ÜHTIVUSMEETOD Juhtum Antetsedentsed Fenomenid asjaolud 1 ABEF abe 2 ACD acd 3 ABCE afg Seega on võimalik, et A on a põhjuseks. ERINEVUSMEETOD Juhtum Antetsedentsed Fenomenid asjaolud 1 ABC a 2 BC - Seega A on a põhjuse tingimatuks osaks. ÜHENDATUD ÜHTIVUS- JA ERINEVUSMEETOD
maailmakorra määravad individuaalid (indiviidid). Seni valitsenud deduktiivse mõtlemisviisi koha hõivas induktiivne meetod empiiriliste üldistuste järeldamine üksikutest vaatlustulemustest teatud metoodiliste skeemide alusel, mis ei ole deduktiivsed. Induktiivsed argumendid on avardavad argumendid, st ind. järeldus ületab eelduste mahtu (ja seega avardab uskumuste sfääri). [Duns Scotuse ühtivuse meetod ja William Ockham'i erinevusmeetod; samas tunnetati nende meetodite ebatäielikkust, ennekõike vaadeldavate efektide tundmatute põhjustajate suhtes; hiljem lisandusid kaasmuutuste (kaasnevate variatsioonide) ja jääkide meetod; samuti Milli ühendatud ühtivus- ja erinevusmeetod]. Deduktsioon: eeldustest tuletatakse järeldus rangelt loogilise ehk loogiliselt kehtiva arutlusskeemi (nt süllogismi) alusel (Sherlock Holmsi deduktsioon polnd seda mitte tavapärane "üldiselt üksikule" ei ole õige määratlus).