Prague, Czech Republic

Algebra, Theory of Numbers and Mathematical Logic

Language: English Studies in English
Subject area: mathematics and statistics
University website: www.cuni.cz
Years of study: 4
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.)
Theory
A theory is a contemplative and rational type of abstract or generalizing thinking, or the results of such thinking. Depending on the context, the results might, for example, include generalized explanations of how nature works. The word has its roots in ancient Greek, but in modern use it has taken on several related meanings.
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
Theory
I firmly believe people have hitherto been a great deal too much taken up about doctrine and far too little about practice. The word doctrine, as used in the Bible, means teaching of duty, not theory. I preached a sermon about this. We are far too anxious to be definite and to have finished, well-polished, sharp-edged systems — forgetting that the more perfect a theory about the infinite, the surer it is to be wrong, the more impossible it is to be right.
George MacDonald, in a letter to his father, quoted in George MacDonald and His Wife (1924) by Greville MacDonald
Theory
All competent thinkers agree with Bacon that there can be no real knowledge except that which rests upon observed facts. This fundamental maxim is evidently indisputable if it is applied, as it ought to be, to the mature state of our intelligence. But, if we consider the origin of our knowledge, it is no less certain that the primitive human mind could not, and indeed ought not to, have thought in that way. For if, on the one hand, every Positive theory must necessarily be founded upon observations, it is, on the other hand, no less true that, in order to observe, our mind has need of some theory or other. If in contemplating phenomena we did not immediately connect them with principles, not only would it be impossible for us to combine these isolated observations, and therefore to derive profit from them, but we should even be entirely incapable of remembering facts, which would for the most remain unnoted by us.
Thus there were two difficulties be overcome: the human mind had to observe in order to form real theories, and yet had to form theories of some sort before it could apply itself to a connected series of observations. The primitive human mind, therefore, found itself involved in a vicious circle, from which it would never have had any means of escaping, if a natural way of the difficulty had not fortunately found by the spontaneous development of Theological conceptions. ...chimerical hopes ..exaggerated ideas of man's importance in the universe to which the Theological Philosophy ...at the commencement, ...afforded an indispensable stimulus without the aid which we cannot, indeed, conceive how the primitive human mind would have been induced to undertake any arduous labours.
Auguste Comte, Cours de Philosophie Positive (1830-1842); The Positive Philosophy of Auguste Comte (1853) Tr. Harriet Martineau; The Fundamental Principles of the Positive Philosophy: Being the First Two Chapters of the Cours de Philosophie Positive of Auguste Comte (1905) pp. 23-25.
An EU project is using satellite data for lake management, and to support other European space endeavours. The project will receive, store and process data from Sentinel-2 and -3, and has devised the algorithms to fully automate the process.
Privacy Policy