general-logical
Смотреть что такое "general-logical" в других словарях:
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
logical positivism — logical positivist. a philosophical movement that stresses the function of philosophy as a method of criticizing and analyzing science and that rejects all transcendental metaphysics, statements of fact being held to be meaningful only if they… … Universalium
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Logical consequence — Therefore redirects here. For the symbol, see therefore sign. Logical consequence is a fundamental concept in logic. It is the relation that holds between a set of sentences (or propositions) and a sentence (proposition) when the former entails… … Wikipedia
Logical quality — In many philosophies of logic statements are categorized into different logical qualities based on how they go about saying what they say. Doctrines of logical quality are an attempt to answer the question: “How many qualitatively different ways… … Wikipedia
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
Logical Disk Manager — The Logical Disk Manager (diskmgmt.msc) is an implementation of a logical volume manager for Microsoft Windows NT, developed by Microsoft and Veritas Software. It was introduced with the Windows 2000 operating system, and is supported in Windows… … Wikipedia
Logical induction — Induction In*duc tion, n. [L. inductio: cf. F. induction. See {Induct}.] [1913 Webster] 1. The act or process of inducting or bringing in; introduction; entrance; beginning; commencement. [1913 Webster] I know not you; nor am I well pleased to… … The Collaborative International Dictionary of English
Logical Intuitive Introvert — The Logical Intuitive Introvert, LII, INTj, the Analyst, Maximilien Robespierre, or types. The Logical Intuitive Introvert is a rational, introverted, static type whose leading functions are introverted logic and extroverted intuition.Model A Ego … Wikipedia
Logical spreadsheet — A logical spreadsheet is a spreadsheet in which formulas take the form of logical constraints rather than function definitions.In traditional spreadsheet systems, such as Excel, cells are partitioned into directly specified cells and computed… … Wikipedia
