logical constructions
Look at other dictionaries:
Logical atomism — is a philosophical belief that originated in the early 20th century with the development of analytic philosophy. Its principal exponents were the British philosopher Bertrand Russell, the early work of his Austrian born pupil and colleague Ludwig … Wikipedia
logical fiction — Russell called items shown to be logical constructions out of other items, logical fictions; an example is the way ‘the average man’ is shown to be a logical fiction when we see how to translate statements made using the term into others that do… … Philosophy dictionary
logical construction — To show that As are logical constructions out of Bs is to show that facts about As reduce to facts about Bs, or that everything said using the A vocabulary may be said in a more basic or fundamental way referring only to Bs. Thus rights will be… … Philosophy dictionary
Calculus of constructions — The calculus of constructions (CoC) is a higher order typed lambda calculus, initially developed by Thierry Coquand, where types are first class values. It is thus possible, within the CoC, to define functions from, say, integers to types, types… … Wikipedia
Inverse copular constructions — The unified theory of copular sentences = Copular sentences are sentences containing the copula. A copular sentence may contain a noun phrase, the copula and another phrase. A subfield of research which has been particularly studied is the case… … Wikipedia
automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Phenomenalism — In epistemology and the philosophy of perception, phenomenalism is the view that physical objects do not exist as things in themselves but only as perceptual phenomena or sensory stimuli (e.g. redness, hardness, softness, sweetness, etc.)… … Wikipedia
analytic philosophy — n. a 20th cent. philosophic movement characterized by its method of analyzing concepts and statements in the light of common experience and ordinary language so as to eliminate confusions of thought and resolve many traditional philosophical… … Universalium
positivism — positivist, adj., n. positivistic, adj. positivistically, adv. /poz i teuh viz euhm/, n. 1. the state or quality of being positive; definiteness; assurance. 2. a philosophical system founded by Auguste Comte, concerned with positive facts and… … Universalium
