Analogiebewijs

In de logica is een analogiebewijs een redeneervorm waarbij men op grond van een vergelijking met een ander geval een conclusie afleidt.

Formele notatie

In standaard predicatenlogica kan een analogie als volgt worden geconstrueerd:

$\frac{A(x), \quad A(y), \quad A(x) \rightarrow C(x)}{C(y)}.$

Typen

Er kan worden onderscheiden tussen een sterke analogie en een zwakke analogie. Bij een zwakke analogie zijn de eigenschappen van de vergeleken objecten niet volledig identiek. Zwakke analogieën zijn minder overtuigend, omdat de conclusie niet noodzakelijk is.

Voorbeeld

Een voorbeeld:

$\frac{\text{kanker(Jan)}, \quad \text{kanker(Piet)}, \quad \text{kanker(Jan)} \rightarrow \text{overleden(Jan)}}{\text{overleden(Piet)}}.$

Anders gezegd:

"Jan heeft kanker, Piet heeft kanker en Jan overlijdt aan (zijn) kanker. Hieruit concludeert men dat Piet zal overlijden."

Dit is een voorbeeld van een zwakke analogie aangezien de eigenschappen van Jan en Piet niet identiek zijn (verschillend DNA, verschillende levensomstandigheden, etc..). Het hoeft dus niet zo te zijn dat Piet zal overlijden aan zijn kanker.

Externe links

• (en) Reasoning by Analogy, Samford University