Dresden, Germany

Computational Logic

Master's
Table of contents

Computational Logic at Dresden University of Technology

Language: EnglishStudies in English
Subject area: computer science
Qualification: Master
Kind of studies: full-time studies
University website: tu-dresden.de

Definitions and quotes

Logic
Logic (from the Ancient Greek: λογική, translit. logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference. A valid inference is one where there is a specific relation of logical support between the assumptions of the inference and its conclusion. (In ordinary discourse, inferences may be signified by words like therefore, hence, ergo, and so on.)
Logic
Logic is logic. That's all I say.
Oliver Wendell Holmes (1919), The One-Hoss Shay
Logic
Logic is a feeble reed, friend. "Logic" proved that airplanes can't fly and that H-bombs won't work and that stones don't fall out of the sky. Logic is a way of saying that anything which didn't happen yesterday won't happen tomorrow.
Robert A. Heinlein, Glory Road, (1967), Ch. 5.
Logic
Adherents of formal logic may be compared to a maker of porcelain dishes who would contend that he was simply paying attention to the form of his dishes, pots, and vases, but that he did not have anything to do with the raw material.
Joseph Dietzgen, Letters on Logic: Especially Democratic-Proletarian Logic (1906), Letter 3
Privacy Policy