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
Logic is logic. That's all I say.
Oliver Wendell Holmes (1919), The One-Hoss Shay
Logic
The want of logic annoys. Too much logic bores. Life eludes logic, and everything that logic alone constructs remains artificial and forced.
André Gide (1956) The journals, 1889-1949. Vol 2. p. 20
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