Deduktion
Logik
Basiswissen
Wenn alle Teilchen Masse haben und ein Photon ein Teilchen sein soll, dann muss ein Photon Masse haben: einen solchen Schluss vom Allgemeinen auf einen darin enthaltenen Sonderfall nennt man eine Deduktion.
Anmerkung
Im Beispiel oben wurde - logisch korrekt - gefolgert, dass auch ein Photon Masse haben. Ein Photon hat aber keine Masse. Der Fehler lag hier nicht in der Anwendung der Logik sondern in einer fehlerhaften Prämisse: bereits die Aussage: alle Teilchen haben Masse war falsch. Die gegenwärtige Physik fasst auch masselose Objekte, wie ebenen Phtonen, unter dem Begriff Teilchen.
Beispiel Horizontformel
Aus den Prämissen "Satz des Pythagoras" und "Kugelige Erdform" kann durch rein logische Schritte hergeleitet werden, wie man die Entfernung vom eigenen Auge zum Horizont berechnen kann. Lies mehr dazu unter Horizontformel ↗