Dresden, Germany

Computational Logic

Master's
Language: EnglishStudies in English
Subject area: computer science
Qualification: Master
Kind of studies: full-time studies
University website: tu-dresden.de
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
No, no, you're not thinking; you're just being logical.
Attributed to Niels Bohr in: William Glen (1994) The Mass-Extinction Debates: How Science Works in a Crisis. p. 62
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.
Privacy Policy