AI & ChatGPT searches , social queries for LOGIC TRANSLATION
Search references for LOGIC TRANSLATION. Phrases containing LOGIC TRANSLATION
See searches and references containing LOGIC TRANSLATION!
Search references for LOGIC TRANSLATION. Phrases containing LOGIC TRANSLATION
See searches and references containing LOGIC TRANSLATION!LOGIC TRANSLATION
Translation of a text into a logical system
Logic translation is the process of representing a text in the formal language of a logical system. If the original text is formulated in ordinary language
Logic_translation
Subfield of mathematics
Gödel–Gentzen negative translation show that it is possible to embed (or translate) classical logic into intuitionistic logic, allowing some properties
Mathematical_logic
Overview of and topical guide to logic
Classical logic Computability logic Deontic logic Dependence logic Description logic Deviant logic Doxastic logic Epistemic logic First-order logic Formal
Outline_of_logic
Technique in mathematical logic
mathematical logic, double-negation translation, sometimes called negative translation, is a general approach for embedding classical logic into intuitionistic
Double-negation_translation
Electronic circuit
Level Translation". Texas Instruments. Retrieved 2017-05-01. Voltage Level Translation Guide, Texas Instruments. IC examples of different logic families
Level_shifter
Algorithm in modal logic
modal logic, standard translation is a logic translation that transforms formulas of modal logic into formulas of non-modal first-order logic that capture
Standard_translation
Approach to predicate logic
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe
Intensional_logic
Study of correct reasoning
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical
Logic
Study of the scope and nature of logic
Philosophy of logic is the branch of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as
Philosophy_of_logic
In logic, a statement which is always true
In mathematical logic, a tautology (from Ancient Greek: ταυτολογία) is a formula that is true regardless of the interpretation of its component terms
Tautology_(logic)
Mathematical model for deduction or proof systems
science – Study of abstract structures described by formal systems Logic translation – Translation of a text into a logical system Rewriting system – Replacing
Formal_system
Mathematics notation with operators preceding operands
"On the building blocks of mathematical logic". A Source Book in Mathematical Logic, 1879–1931. Translated by Bauer-Mengelberg, Stefan [in Dutch]. Harvard
Polish_notation
Approach to logic
In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to
Term_logic
Logical formalism using combinators instead of variables
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell
Combinatory_logic
Logical connective AND
In logic, mathematics and linguistics, and ( ∧ {\displaystyle \wedge } ) is the truth-functional operator of conjunction or logical conjunction. The logical
Logical_conjunction
Framework for a family of logic languages
expressive version of CL, but the reverse translation is only defined on a subset of the larger language. Common Logic is published by ISO as "ISO/IEC 24707:2007
Common_Logic
Type of non-monotonic logic
Default logic is a non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like
Default_logic
System of resource-aware logic
Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the
Linear_logic
True when either but not both inputs are true
F. G. Kroonder, Bussum, Pays-Bas. Translated as Bocheński, J. M. (1959). A Precis of Mathematical Logic. Translated by Bird, O. Dordrecht, Holland: D
Exclusive_or
2019 studio album by Logic
Confessions of a Dangerous Mind is the fifth studio album by American rapper Logic. The album was announced on March 19, 2019, with a video for the album's
Confessions of a Dangerous Mind (album)
Confessions_of_a_Dangerous_Mind_(album)
System for representing and reasoning about time
In logic, a temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example
Temporal_logic
Various systems of symbolic logic
logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by
Intuitionistic_logic
Algebraic manipulation of "true" and "false"
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the
Boolean_algebra
Study of general and fundamental questions
self-cultivation. Major branches of philosophy are epistemology, ethics, logic, and metaphysics. Epistemology studies what knowledge is and how to acquire
Philosophy
logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic that interprets L by a certain canonical translation
Modal_companion
Work by Georg Wilhelm Friedrich Hegel
Science of Logic (German: Wissenschaft der Logik), first published between 1812 and 1816, is the work in which Georg Wilhelm Friedrich Hegel outlined
Science_of_Logic
Propositional logic extending intuitionistic logic
In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. A logic is a set of propositional formulas
Intermediate_logic
System including an indeterminate value
three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic systems in which
Three-valued_logic
Modal temporal logic with modalities referring to time
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode
Linear_temporal_logic
Topics referred to by the same term
Formalization or formalisation may refer to Logic translation of a natural language text to formal logic Drafting formal specifications A process enhancing
Formalization
The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India
History_of_logic
German philosopher (1770–1831)
have translated Begriff as 'concept' rather than as 'notion.' B. C. Burt also used 'concept' in his 1896 translation of Erdmann's Outlines of Logic and
Georg_Wilhelm_Friedrich_Hegel
1662 textbook on logic
Port-Royal Logic, or Logique de Port-Royal, is the common name of La logique, ou l'art de penser, an important textbook on logic first published anonymously
Port-Royal_Logic
Processing of natural language by a computer
applications. Logic translation Translate a text from a natural language into formal logic. Machine translation (MT) Automatically translate text from one
Natural_language_processing
Application of logical methods to philosophical problems
Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often
Philosophical_logic
Type of logical system
first-order logic (FOL), also called predicate logic, predicate calculus, or quantificational logic, is a type of formal system. First-order logic uses quantified
First-order_logic
Using inconsistent arguments
Kettle logic (French: la logique du chaudron) is a rhetorical device wherein one uses multiple arguments to defend a point, but the arguments are inconsistent
Kettle_logic
Type of formal logic
Modal logic is a kind of logic used to represent statements about necessity and possibility. In philosophy and related fields it is used as a tool for
Modal_logic
School of thought in philosophy of mathematics
is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and
Logicism
Logic used to describe behaviours of concurrent systems
Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions. It is used to describe
Temporal_logic_of_actions
German philosopher, logician, and mathematician (1848–1925)
version). In English (translation of selected sections), "Translation of Part of Frege's Grundgesetze der Arithmetik," translated and edited Peter Geach
Gottlob_Frege
Logical incompatibility between two or more propositions
In traditional logic, a contradiction involves a proposition conflicting either with itself or established fact. It is often used as a tool to detect
Contradiction
Arithmetical concept
interpretation has two components: a formula translation and a proof translation. The formula translation describes how each formula A {\displaystyle A}
Dialectica_interpretation
Type of formal logic
Paraconsistent logic is a type of non-classical logic that allows for the coexistence of contradictory statements without leading to a logical explosion
Paraconsistent_logic
Yan Fu to correspond phonemically to the English word logic for his translation of A System of Logic by John Stuart Mill; its characters were not chosen
Logic_in_China
Symbol connecting formulas in logic
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is an operator that combines or modifies
Logical_connective
Logical connective OR
In logic, disjunction (also known as logical disjunction, logical or, logical addition, or inclusive disjunction) is a logical connective typically notated
Logical_disjunction
Works by Aristotle on logic
well-structured system. Indeed, parts of them seem to be a scheme of a lecture on logic. The arrangement of the works was made by Andronicus of Rhodes around 40
Organon
Modal logic
paper on provability logic in 1933. In this paper, he introduced translations from intuitionistic propositional logic into modal logic and briefly mentioned
Provability_logic
1323 textbook on logic by William of Ockham
("Sum of Logic") is a textbook on logic by William of Ockham. It was written around 1323. Systematically, it resembles other works of medieval logic, organised
Sum_of_Logic
Formal study of linguistic meaning
is the scientific study of linguistic meaning through formal tools from logic and mathematics. It is an interdisciplinary field, sometimes regarded as
Formal semantics (natural language)
Formal_semantics_(natural_language)
Book by Wilhelm Ackermann
Principles of Mathematical Logic is the 1950 American translation of the 1938 second edition of David Hilbert's and Wilhelm Ackermann's classic text Grundzüge
Principles of Mathematical Logic
Principles_of_Mathematical_Logic
Study of fundamental reality
of space and time. Quine's method of analysis relies on logic translation to first-order logic in order to express claims as precisely as possible while
Metaphysics
Arrangement of relays used to control machinery
Relay logic is a method of implementing combinational logic in electrical control circuits by using several electrical relays wired in a particular configuration
Relay_logic
1931 paper by Kurt Gödel
errors in the translation. A translation by Jean van Heijenoort appears in the collection From Frege to Gödel: A Source Book in Mathematical Logic (van Heijenoort
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems
2026 South Korean television series
Netflix "Love in Translation"" [The streets of Siena's historic center are the protagonists of the Netflix series "Love in Translation"]. RadioSienaTv
Can_This_Love_Be_Translated?
Programmable digital computer used to control machinery
A programmable logic controller (PLC) or programmable controller is an industrial computer that has been ruggedized and adapted for the control of manufacturing
Programmable_logic_controller
Logical operation
Mathematical Logic. Translated by Bird, Otto (revised ed.). Dordrecht, South Holland, Netherlands: D. Reidel. (NB. Edited and translated from the French
Sheffer_stroke
Reasoning of knowledge about knowledge
Autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts
Autoepistemic_logic
1959 book by Karl Popper
Erkenntnistheorie der modernen Naturwissenschaft, which literally translates as, "Logic of Research: On the Epistemology of Modern Natural Science"'. Popper
The Logic of Scientific Discovery
The_Logic_of_Scientific_Discovery
Mathematical use of "for all" and "there exists"
In mathematical logic, quantifiers are formal counterparts of natural-language adjectives like all, some, most, few, etc. which indicate the number of
Quantifier_(logic)
Research area
intelligence Argumentation theory – Academic field of logic and rhetoric Logic translation – Translation of a text into a logical system Lippi, Marco; Torroni
Argument_mining
Textbook on Logic by Prophyry
William of Ockham incorporated them into their textbooks on logic. The earliest Latin translation, which is now no longer extant, was made by Gaius Marius
Isagoge
Form of logic that allows quantification over predicates
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic
Second-order_logic
Bearer of truth values
determine the truth values of compound propositions. First-order logic extends propositional logic with additional devices to analyze the internal structure
Proposition
Impossible task in computing
Springer, Berlin, Germany, 1928. English translation: David Hilbert and Wilhelm Ackermann. Principles of Mathematical Logic. AMS Chelsea Publishing, Providence
Entscheidungsproblem
Relationship between programs and proofs
classical logic is given below. Note the correspondence between the double-negation translation used to map classical proofs to intuitionistic logic and the
Curry–Howard_correspondence
Method of teaching foreign languages
Greek and Latin. In grammar–translation classes, students learn grammatical rules and then apply those rules by translating sentences between the target
Grammar–translation_method
Reasoning about equations with free variables
logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses
Algebraic_logic
Polish logician and philosopher (1878–1956)
Polish notation and Łukasiewicz logic. His work centred on philosophical logic, mathematical logic and history of logic. He thought innovatively about
Jan_Łukasiewicz
logic. The rules of passage govern the "passage" (translation) from any formula of first-order logic to the equivalent formula in prenex normal form, and
Rules_of_passage
Limitative results in mathematical logic
Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories
Gödel's incompleteness theorems
Gödel's_incompleteness_theorems
Illustration of Aristotle's theory of categorisation
Greek, but was translated into Latin in the early 6th century CE by Boethius. Translations by Boethius became the standard philosophical logic textbook in
Porphyrian_tree
German philosopher (1874–1945)
(1936), English translation 1956 The Logic of the Cultural Sciences [Zur Logik der Kulturwissenschaften] (1942), English translation 2000 by Steve G.
Ernst_Cassirer
Family of logics for natural-language and counterfactual conditionals
Conditional logic (also: the logic of conditionals) refers to a family of formal systems for reasoning with statements of the form "if A, (then) B". Conditional
Conditional_logic
Logic puzzle by Raymond Smullyan
The Hardest Logic Puzzle Ever is a logic puzzle so called by American philosopher and logician George Boolos and published in The Harvard Review of Philosophy
The_Hardest_Logic_Puzzle_Ever
Russian mathematician (1880–1940)
(Italian translation by Venanzio Raspa of all the logical writings) ISBN 978-88-430-6666-7. Studies Arruda, A.I. The Survey of Paraconsistent Logic. In: Mathematical
Nicolai_A._Vasiliev
Mathematics notation where operators follow operands
Wydawnictwo Naukowe; Łukasiewicz, Jan (1963). Elements of mathematical logic. Translated by Wojtasiewicz, Olgierd Adrian [in Polish]. New York, USA: The MacMillan
Reverse_Polish_notation
Series of transistor–transistor logic integrated circuits
popular logic family of transistor–transistor logic (TTL) integrated circuits (ICs). In 1964, Texas Instruments introduced the SN5400 series of logic chips
7400-series integrated circuits
7400-series_integrated_circuits
logic is a class of non-classical logics designed to exclude the paradoxes of material implication. The characteristic that separates connexive logic
Connexive_logic
American logician (1937–2021)
relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish
John_Corcoran_(logician)
3rd-century Phoenician Neoplatonist philosopher
introduction to logic and philosophy, was the standard textbook on logic throughout the Middle Ages in its Latin and Arabic translations. Porphyry was,
Porphyry_of_Tyre
Philosophical method and schools of philosophy
Phenomenology. Routledge. Husserl, Edumund (1969). Formal and Transcendental Logic. Translated by D. Cairns. Nijhoff. Husserl, Edmund (1970). The Crisis of the European
Phenomenology_(philosophy)
Concept in mathematics
mathematical logic, interpretability is a relation between formal theories that expresses the possibility of interpreting or translating one into the
Interpretability
Process in digital electronics and integrated circuit design
Logic optimization is a process of finding an equivalent representation of the specified logic circuit under one or more specified constraints. This process
Logic_optimization
Irish philosopher (1867–1937)
Henry Stewart (1912). Doctrine of formal logic, being a translation of the first section of the subjunctive logic;. Robarts - University of Toronto. Oxford
Henry_Stewart_Macran
history of art. Reitlehre Berlin: Parey 1933 (2nd edition) Riding Logic (translation of Reitlehre by F. W. Schiller) London: Methuen 1937 Deutsche Kunst
Wilhelm_Müseler
Situation in which one cannot avoid a problem because of contradictory constraints
marry a woman who is not a virgin. This closed logic loop clearly illustrated Catch-22 because by her logic, all men who refuse to marry her are sane and
Catch-22_(logic)
Formal statement in logic
Guide to Philosophical Logic. Blackwell. For an introduction to non-classical logic as an attempt to find a better translation of the conditional, see:
Strict_conditional
Family of formal knowledge representation
Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive
Description_logic
definition is but a rendering of the medieval Latin translation of the work by Simone van Riet. A modern translation of the original Arabic text states: Truth is
Theories_of_truth
Possible truths which are not necessary
In logic, contingency is the feature of a statement making it neither necessary nor impossible. Contingency is a fundamental concept of modal logic. Modal
Contingency_(philosophy)
Methods in artificial intelligence research
artificial intelligence (also known as classical artificial intelligence or logic-based artificial intelligence) is the term for the collection of all methods
Symbolic artificial intelligence
Symbolic_artificial_intelligence
Mathematical table used in logic
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, Boolean functions, and propositional calculus—which
Truth_table
Array of logic gates that are reprogrammable
a subset of logic devices referred to as programmable logic devices (PLDs). They consist of a grid-connected array of programmable logic blocks that can
Field-programmable_gate_array
Unstructured semiconductor logic design
Random logic is a semiconductor circuit design technique that translates high-level logic descriptions directly into hardware features such as AND and
Random_logic
Formal semantics for non-classical logic systems
non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal. It was first conceived for modal logics, and later
Kripke_semantics
1969 book by Gilles Deleuze
The Logic of Sense (French: Logique du sens) is a 1969 book by the French philosopher Gilles Deleuze. The English edition was translated by Mark Lester
The_Logic_of_Sense
Algebraization of first-order logic
In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic
Predicate_functor_logic
1843 book by John Stuart Mill
A System of Logic, Ratiocinative and Inductive is an 1843 book by English philosopher John Stuart Mill. In this work, he formulated the five principles
A_System_of_Logic
LOGIC TRANSLATION
LOGIC TRANSLATION
Surname or Lastname
Translation of German Kohl.English
Translation of German Kohl.English : from Middle English caboche, cabage ‘cabbage’, hence a nickname or perhaps a metonymic occupational name for a cabbage grower. The Middle English word also denoted a kind of freshwater fish, and in some cases the surname may have arisen from this sense.
Surname or Lastname
English
English : topographic name from Middle English lang, long ‘long’ + strete ‘road’.Translation of Dutch Langestraet, cognate with 1.The confederate general James Longstreet (1821–1904), was born in SC, came from an old Dutch family in New Netherland with the name Langestraet; he was the nephew of Augustus B. Longstreet, a Methodist clergyman born in Augusta, GA, in 1790.
Girl/Female
Hindu
Trick, Power, Strategy, Solution by logic, By reasoning
Surname or Lastname
Translation of French Lemieux.English
Translation of French Lemieux.English : nickname from Old English bētere ‘fighter’, ‘beater’. Reaney suggests it may also be a short form of the various occupational names ending with -better, for example Leadbetter.German (Bavarian) : metonymic occupational name for a maker of rosaries, from Bavarian better ‘rosary’ (from beten ‘to pray’).
Surname or Lastname
English
English : nickname for a small man, or distinguishing epithet for the younger of two bearers of the same personal name, from Middle English littel, Old English l̄tel, originally a diminutive of l̄t (see Light 3).Irish : translation of Gaelic Ó Beagáin ‘descendant of Beagán’ (see Begin).Translation of French Petit and Lepetit; also used as an English form of names such as Jean-Petit ‘little John’.Translation of any of various other European name meaning ‘little’.
Girl/Female
Tamil
Trick, Power, Strategy, Solution by logic, By reasoning
Surname or Lastname
Polish
Polish : from the personal name Lew ‘lion’, adopted as a translation of Leon (see Lyon 2).Jewish (Ashkenazic) : variant spelling of Lev.English : topographic name for someone who lived by a hill or burial-mound, Old English hlǣw, or a habitational name from Lew in Oxfordshire, named with this word.Chinese : variant of Liu 1.
Girl/Female
Arabic, Muslim, Pashtun
Logic; Reason
Girl/Female
Tamil
Vinyasa | விநà¯à®¯à®¾à®¸
A yogic posture
Vinyasa | விநà¯à®¯à®¾à®¸
Surname or Lastname
English
English : nickname from the vocabulary word lord, presumably for someone who behaved in a lordly manner, or perhaps one who had earned the title in some contest of skill or had played the part of the ‘Lord of Misrule’ in the Yuletide festivities. It may also have been an occupational name for a servant in the household of the lord of the manor, or possibly a status name for a landlord or the lord of the manor himself. The word itself derives from Old English hlÄford, earlier hlÄf-weard, literally ‘loaf-keeper’, since the lord or chief of a clan was responsible for providing food for his dependants.Irish : English name adopted as a translation of the main element of Gaelic Ó Tighearnaigh (see Tierney) and Mac Thighearnáin (see McKiernan).French : nickname from Old French l’ord ‘the dirty one’.Possibly an altered spelling of Laur.The French name is particularly associated with Acadia in Canada, around 1760.
Girl/Female
Indian, Sanskrit
A Yogic Posture
Surname or Lastname
Partial translation of Swedish Sjöberg, an ornamental name composed of the elements sjö ‘sea’ + berg ‘mountain’, ‘hill’.English
Partial translation of Swedish Sjöberg, an ornamental name composed of the elements sjö ‘sea’ + berg ‘mountain’, ‘hill’.English : from a Middle English form of an Old English feminine personal name, Sǣburh, composed of the elements sǣ ‘sea’ + burh ‘fortified place’.Possibly also English : habitational name from Seaborough in Dorset (from Old English seofon ‘seven’ + beorg ‘hill’, ‘burial mound’) or possibly from Seaborough Hall in Essex.
Surname or Lastname
English
English : habitational name from Lowthorpe in East Yorkshire, named with the Old Norse personal name Logi or Lági + þorp ‘outlying farmstead’In 1634 the name was brought to North America by the Rev. John Lathrop (b. 1584 in Etton, Yorkshire, England), a Puritan preacher fleeing religious persecution. He arrived at Plymouth Colony and lived in Scituate, MA until 1639, then moved to Barnstable MA, where his Bible can still be seen.
Girl/Female
Tamil
Trick, Power, Strategy, Solution by logic, By reasoning
Girl/Female
British, English
15th Century
Surname or Lastname
English and Scottish
English and Scottish : variant of Mill 1.English : either a metronymic form of Mill 2, or a variant of Miles.Irish : in Ulster this is the English name, but elsewhere in Ireland it may be a translation of a Gaelic topographic byname, an Mhuilinn ‘of the mill’.
Boy/Male
Hindu
Full of feathers, Full of logic, Name of sage, Vatsyayan
Boy/Male
Tamil
Full of feathers, Full of logic, Name of sage, Vatsyayan
Surname or Lastname
English (Norfolk)
English (Norfolk) : probably from Middle English milk ‘milk’, applied as a metonymic occupational name for a producer or seller of milk.In some instances, probably a translation of German Milch, a variant of Slavic Milich or of Dutch Mielke (a pet form of Miele), or a shortening of Slavic Milkovich.
Girl/Female
Gujarati, Hindu, Indian, Kannada, Tamil
Trick; Power; Strategy; Solution by Logic; By Reasoning
LOGIC TRANSLATION
LOGIC TRANSLATION
LOGIC TRANSLATION
LOGIC TRANSLATION
LOGIC TRANSLATION
LOGIC TRANSLATION
LOGIC TRANSLATION
n.
A treatise on logic; as, Mill's Logic.
a.
Skilled in logic; versed in the art of thinking and reasoning; as, he is a logical thinker.
n.
Logic illustrated by physics.
a.
Excessively logical; adhering too closely to the forms or rules of logic.
n.
A preliminary or auxiliary proposition demonstrated or accepted for immediate use in the demonstration of some other proposition, as in mathematics or logic.
n.
The three " liberal" arts, grammar, logic, and rhetoric; -- being a triple way, as it were, to eloquence.
a.
Cutting off; (Logic) exactly limiting by cutting off all that is not absolutely relative to the purpose; as, precisive censure; precisive abstraction.
n.
The art or process of reasoning; logic.
n.
The art of reasoning; logic.
n.
That which is refined, elaborated, or polished to excess; an affected subtilty; as, refinements of logic.
n.
A person skilled in logic.
n.
One who bandies words or is very argumentative.
n.
The science or art of exact reasoning, or of pure and formal thought, or of the laws according to which the processes of pure thinking should be conducted; the science of the formation and application of general notions; the science of generalization, judgment, classification, reasoning, and systematic arrangement; correct reasoning.
a.
Beyond the scope or province of logic.
a.
Of or pertaining to logic; used in logic; as, logical subtilties.
a.
Ignorant or negligent of the rules of logic or correct reasoning; as, an illogical disputant; contrary of the rules of logic or sound reasoning; as, an illogical inference.
a.
Lying outside of the domain of logic.
n.
See Logic.
a.
According to the rules of logic; as, a logical argument or inference; the reasoning is logical.
n.
The system of logic and philosophy set forth by Hegel, a German writer (1770-1831).