Analogiebewijs
In de logica is een analogiebewijs een redeneervorm waarbij op grond van een vergelijking met een ander geval een conclusie wordt afgeleid.

Formele notatie
In standaard predicatenlogica kan een analogie als volgt worden geconstrueerd:

 en  zijn twee verschillende situaties die analoog aan elkaar zijn. Omdat  leidt tot , zal naar analogie  dus tot  leiden. Of deze analogie klopt, hangt af van de eigenschappen van  en .

Voorbeelden 
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.

In de wiskunde zou  een formule kunnen zijn, waarvan  de uitkomst is.  en  zijn in te voeren getallen. In dat geval is een bewerking op  hetzelfde als een bewerking op . Dit is een voorbeeld van een sterke analogie.  

Een ander voorbeeld:

Anders gezegd: 

Dit is een voorbeeld van een zwakke analogie. Jan en Piet kunnen andere eigenschappen hebben die niet in deze analogie vermeld staan, zoals verschillend DNA of verschillende levensomstandigheden. Het hoeft dus niet zo te zijn dat Piet ook naar het ziekenhuis moet voor zijn griep.

Zie ook 
 Valse analogie

Externe link
 Reasoning by Analogy, Samford University

Logica