Manchester, United Kingdom

Mathematical Logic

Language: English Studies in English
Subject area: mathematics and statistics
University website: www.manchester.ac.uk
Doctor of Philosophy (PhD)
Doctor of Philosophy (PhD)
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
From a drop of water, a logician could infer the possibility of an Atlantic or a Niagara without having seen or heard of one or the other.
Arthur Conan Doyle, A Study in Scarlet, Chapter 2, "The Science of Deduction".
Logic
Logic is in the eye of the logician.
Gloria Steinem (1984) cited in: Robert Byrne (2002) The 2,548 Best Things Anybody Ever Said
Logic
Poetry — No definition of poetry is adequate unless it be poetry itself. The most accurate analysis by the rarest wisdom is yet insufficient, and the poet will instantly prove it false by setting aside its requisitions. It is indeed all that we do not know. The poet does not need to see how meadows are something else than earth, grass, and water, but how they are thus much. He does not need discover that potato blows are as beautiful as violets, as the farmer thinks, but only how good potato blows are. The poem is drawn out from under the feet of the poet, his whole weight has rested on this ground. It has a logic more severe than the logician's. You might as well think to go in pursuit of the rainbow, and embrace it on the next hill, as to embrace the whole of poetry even in thought.
Henry David Thoreau Journals (1838-1859) January 26, 1840.
Under an EU-funded initiative, a network of brokers worked together to identify novel uses of technology that were developed as part of the European fusion energy programme.
Privacy Policy