AI & ChatGPT searches , social queriess for LOGIC MODEL
Search references for LOGIC MODEL. Phrases containing LOGIC MODEL
See searches and references containing LOGIC MODEL!
Search references for LOGIC MODEL. Phrases containing LOGIC MODEL
See searches and references containing LOGIC MODEL!LOGIC MODEL
Method of depicting causal relationships
A logic model is a hypothesized description of the causal chains in certain plans, used to show social programs and the results desired from them. They
Logic_model
Subfield of mathematics
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory
Mathematical_logic
Type of logical system
First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a type of formal system used in mathematics, philosophy
First-order_logic
Mapping of mathematical formulas to a particular meaning
(although related) meaning in model theory; see interpretation (model theory). In the context of mathematical logic, the term "model" was first used in 1940
Structure (mathematical logic)
Structure_(mathematical_logic)
Assignment of meaning to the symbols of a formal language
logic (such as intuitionistic logic), and in the study of modal logic. Interpretations used to study non-classical logic include topological models,
Interpretation_(logic)
Formal semantics for non-classical logic systems
breakthrough in the theory of non-classical logics, because the model theory of such logics was almost non-existent before Kripke (algebraic semantics existed
Kripke_semantics
Computer science field
kinds of structures. A simple model-checking problem consists of verifying whether a formula in the propositional logic is satisfied by a given structure
Model_checking
Area of mathematical logic
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing
Model_theory
System for reasoning about vagueness
lattices. Fuzzy logic is based on the observation that people make decisions based on imprecise and non-numerical information. Fuzzy models or fuzzy sets
Fuzzy_logic
electronics, the interface logic model (ILM) is a technique to model blocks in hierarchical VLSI implementation flow. It is a gate level model of a physical block
Interface_logic_model
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
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
Device performing a Boolean function
physical model of all of Boolean logic, and therefore, all of the algorithms and mathematics that can be described with Boolean logic. Logic circuits
Logic_gate
Software architecture design pattern
development of the business logic or back-end logic (the model) such that the view is not dependent upon any specific model platform. The viewmodel of
Model–view–viewmodel
In model theory, a subfield of mathematical logic, an atomic model is a model such that the complete type of every tuple is axiomatized by a single formula
Atomic model (mathematical logic)
Atomic_model_(mathematical_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
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
System of resource-aware logic
In terms of simple denotational models, linear logic may be seen as refining the interpretation of intuitionistic logic by replacing cartesian (closed)
Linear_logic
Study of the semantics, or interpretations, of formal and natural languages
predicate logic is given by a mapping from terms to a universe of individuals, and a mapping from propositions to the truth values "true" and "false". Model-theoretic
Semantics_(logic)
Framework in development
negative impact. The core of the Logical Framework is the "temporal logic model" that runs through the matrix. This takes the form of a series of connected
Logical_Framework_Approach
Transition system
media related to Kripke models. Temporal logic Model checking Kripke semantics Linear temporal logic Computation tree logic Kripke, Saul, 1963, "Semantical
Kripke structure (model checking)
Kripke_structure_(model_checking)
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
Programming paradigm based on formal logic
Logic programming is a programming, database, and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical
Logic_programming
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)
Branch of logic
Propositional logic is a branch of classical logic. It is also called statement logic, sentential calculus, propositional calculus, sentential logic, or sometimes
Propositional_logic
Formal system of logic
logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.
Higher-order_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
Logical formulation of graph properties
theory and finite model theory, the logic of graphs deals with formal specifications of graph properties using sentences of mathematical logic. There are several
Logic_of_graphs
Language models designed for reasoning tasks
requiring multiple steps of logical reasoning. These models demonstrate superior performance on logic, mathematics, and programming tasks compared to standard
Reasoning_model
Mathematical use of "for all" and "there exists"
In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal
Quantifier_(logic)
Reasoning about equations with free variables
on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute
Algebraic_logic
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
Non-contradiction of a theory
can be proved using model theory, it is often done in a purely syntactical way, without any need to reference some model of the logic. The cut-elimination
Consistency
Description of non-logical symbols
structure. In model theory, signatures are used for both purposes. They are rarely made explicit in more philosophical treatments of logic. Formally, a
Signature_(logic)
Software design pattern
Model–view–controller (MVC) is a software architectural pattern commonly used for developing user interfaces that divides the related program logic into
Model–view–controller
Multimethod simulation modeling tool
AnyLogic is a multimethod simulation modeling tool developed by The AnyLogic Company (formerly XJ Technologies). It supports agent-based, discrete event
AnyLogic
resources. The models that can be used for it are: the social-ecological model, which provides a framework for program design, the logic model, which is a
Community-based program design
Community-based_program_design
Theory of how a social policy or program is thought to work
have developed logic models and logical frameworks as strategies and tools to plan and evaluate social change programs. While these models well articulate
Theory_of_change
Mathematical model for deduction or proof systems
non-standard models of arithmetic. Early logic systems includes Indian logic of Pāṇini, syllogistic logic of Aristotle, propositional logic of Stoicism
Formal_system
indeterminacy of the physical basis of the Actor model, that no kind of deductive mathematical logic could escape the limitation. This became important
Indeterminacy in concurrent computation
Indeterminacy_in_concurrent_computation
Existence and cardinality of models of logical theories
In mathematical logic, the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf
Löwenheim–Skolem_theorem
mathematical logic. For the concepts in sociology, see Institutional theory and Institutional logic. In mathematical logic, institutional model theory generalizes
Institutional_model_theory
Type of logical formula
mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form that gives it useful properties for use in logic programming
Horn_clause
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
Collecting, analyzing, and using information to assess projects
evaluation. An evaluator should create a logic model with input from many different stake holders. Logic Models have 5 major components: Resources or Inputs
Program_evaluation
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
Model in mathematical logic not isomorphic to the standard model
In model theory, a discipline within mathematical logic, a non-standard model is a model of a theory that is not isomorphic to the intended model (or standard
Non-standard_model
Mnemonic, giving criteria to guide in the setting of objectives
LTD. ISBN 978-0-9783704-5-9. Brown, Quisha (2021). Racial Equity Lens Logic Model & Theory of Change: A Step-by-Step Guide to Help Organizations Become
SMART_criteria
Method of deriving conclusions
of deriving conclusions from premises. They are integral parts of formal logic, serving as the logical structure of valid arguments. If an argument with
Rule_of_inference
Kind of non-classical logic
Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly
Relevance_logic
Theoretical framework
epistemological model is a type of conceptual model whose proposed scope is the known and the knowable, and the believed and the believable. In logic, a model is a
Conceptual_model
Logic that allows infinitely long proofs
An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. The concept was introduced by Zermelo in the 1930s
Infinitary_logic
mathematical logic, abstract model theory is a generalization of model theory that studies the general properties of extensions of first-order logic and their
Abstract_model_theory
Model in software engineering
and rules, typically grounded in a description logic. In the field of computer science a conceptual model aims to express the meaning of terms and concepts
Domain_model
Fundamental theorem in mathematical logic
theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first-order logic. The completeness theorem
Gödel's_completeness_theorem
Branch of logic
Finite model theory is a subarea of model theory. Model theory is the branch of logic which deals with the relation between a formal language (syntax)
Finite_model_theory
Argument whose conclusion must be true if its premises are
In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true
Validity_(logic)
Canadian computer scientist and logician (1939–2002)
founders of the field of non-monotonic reasoning with his work on default logic, model-based diagnosis, closed-world reasoning, and truth maintenance systems
Raymond_Reiter
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
Theory in computer science
Computation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined;
Computation_tree_logic
Existence of values making formula true
formula of that logic has a model if and only if it has a finite model. This question is important in the mathematical field of finite model theory. Finite
Satisfiability
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
ideas for researchers in modern modal logic. They also have applications in the areas of feature logic, model theory, proof theory, and the logical analysis
Hybrid_logic
Characteristic of some logical systems
superintuitionistic and modal logics, a logic is structurally complete if every admissible rule is a derivable implication. A theory is model complete if and only
Completeness_(logic)
logic model (connections between variables) and the data. Both were bound together by data placeholder (like "earnings in Year1" in the logic model -
IFPS
Class of formal logics
Classical logic (or standard logic) or Frege–Russell logic is the intensively studied and most widely used class of deductive logic. Classical logic has had
Classical_logic
The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several
Stable_model_semantics
Energy Logic model was introduced by Emerson Network Power on November 29, 2007. Described as a “new approach to energy optimization,” the model was developed
Energy_Logic
Branch of logic using category theory to study mathematical structures
approach to logic: Categorical semantics Categorical logic introduces the notion of structure valued in a category C with the classical model theoretic
Categorical_logic
Mathematical-logic system based on functions
In mathematical logic, the lambda calculus (also written as λ-calculus) is a formal system for expressing computation based on function abstraction and
Lambda_calculus
Theorem in mathematical logic
mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This
Compactness_theorem
Software design pattern
functionality of the "middle-man". In MVP, all presentation logic is pushed to the presenter. The model–view–presenter software pattern originated in the early
Model–view–presenter
Branch of logic
Bunched logic is a variety of substructural logic proposed by Peter O'Hearn and David Pym. Bunched logic provides primitives for reasoning about resource
Bunched_logic
Simplification technique in mathematical logic
Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. Informally, a quantified statement
Quantifier_elimination
Formal logic whose entailment relation is not monotonic
A non-monotonic logic is a formal logic whose entailment relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent
Non-monotonic_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
Subfield of logic that studies the features common to all logical systems
universal logic have been proposed since the twentieth century, using model theoretical, and categorical approaches. The roots of universal logic as general
Universal_logic
List of symbols used to express logical relations
contains logic symbols. Without proper rendering support, you may see question marks, boxes, or other symbols instead of logic symbols. In logic, a set
List_of_logic_symbols
Reasoning of knowledge about knowledge
autoepistemic logic can express knowledge and lack of knowledge about facts. The stable model semantics, which is used to give a semantics to logic programming
Autoepistemic_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
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
Whether a decision problem has an effective method to derive the answer
effectively determined. Zeroth-order logic (propositional logic) is decidable, whereas first-order and higher-order logic are not. A theory (set of sentences
Decidability_(logic)
Relationship where one statement follows from another
consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statements that hold true when
Logical_consequence
Set of sentences in a formal language
In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. In most scenarios a deductive system is first
Theory_(mathematical_logic)
Subfield of automated reasoning and mathematical logic
automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated
Automated_theorem_proving
Declarative specification language
provides a simple structural modeling tool based on first-order logic. Alloy is targeted at the creation of micro-models that can then be automatically
Alloy (specification language)
Alloy_(specification_language)
Technique used in public administration
State University Morestin, F.; Castonguay, J. (2013). "Constructing a logic model for a healthy public policy: Why and how?" (Document). Montréal: National
Policy_analysis
Concept in model theory
systems of formal logic can be defined via model theory. Specifically, a logic α {\displaystyle \alpha } is said to be as strong as a logic β {\displaystyle
Strength_(mathematical_logic)
Digital audio workstation
Notator Logic, or Logic, by German software developer C-Lab which later went by Emagic. Apple acquired Emagic in 2002 and rebranded Logic to Logic Pro, adding
Logic_Pro
Form of logic
Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic. In classical logic there are
Free_logic
Academic fields of study or professions
Mathematical logic Set theory Proof theory Model theory Recursion theory Modal logic Intuitionistic logic Philosophical logic Logical reasoning Modal logic Deontic
Outline of academic disciplines
Outline_of_academic_disciplines
Family of modal logics for agency and choice
interpreted in models where agents choose between alternative possible futures. STIT logics are used in action theory, deontic logic, epistemic logic, and the
STIT_logic
Propositional calculus in which there are more than two truth values
Many-valued logic (also multi- or multiple-valued logic) is a propositional calculus in which there are more than two truth values. Traditionally, in
Many-valued_logic
Concept in computer software
updated Business rules: Model real-life business objects (such as accounts, loans, itineraries, and inventories) Business logic comprises: Workflows that
Business_logic
Symbol representing a property or relation in logic
In logic, a predicate is a non-logical symbol that represents a property or a relation, though, formally, does not need to represent anything at all.
Predicate_(logic)
Theory on interaction between feeling and thinking
The term "affect-logics" stems from the German "Affektlogik", and implies circular interactions between emotion and cognition. The model represents a synthesis
Affect-logics
Syntactically correct logical formula
In mathematical logic, propositional logic, and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence
Well-formed_formula
Software development process
project's primary focus on the core domain and domain logic layer; basing complex designs on a model of the domain; initiating a creative collaboration between
Domain-driven_design
Israeli mathematician
classification theory of models, Springer 1986 ISBN 978-3-540-16448-7 Classification theory and the number of non-isomorphic models, Studies in Logic and the Foundations
Saharon_Shelah
Formal system in mathematical logic
mathematical logic Universal logic – Subfield of logic that studies the features common to all logical systems C. C. Chang and Jerome Keisler Model Theory,
Abstract_logic
LOGIC MODEL
LOGIC MODEL
Boy/Male
Egyptian
To model.
Girl/Female
Hindu
Trick, Power, Strategy, Solution by logic, By reasoning
Girl/Female
Arabic, Muslim, Pashtun
Logic; Reason
Girl/Female
Tamil
Trick, Power, Strategy, Solution by logic, By reasoning
Boy/Male
Muslim
Sample, Model, Paragon
Boy/Male
Muslim
Model, Example
Surname or Lastname
German
German : habitational name from any of several places so named, for example in Westphalia and Switzerland.German : nickname from Middle High German heiden ‘heathen’, Old High German heidano, apparently a derivative of heida ‘heath’, modeled on Latin paganus (see Pain 1). The nickname was sometimes used to refer to a Christian knight who had been on a Crusade to fight in the Holy Land.Jewish (Ashkenazic) : of uncertain origin; possibly a shortened form of any of various ornamental names formed with German Heide- ‘heath’, for example Heidenberg, Heidenkorn, Heidenkrug, Heidenwurzel.English : variant spelling of Hayden.Dutch : shortened form of vanderHeiden.
Surname or Lastname
English and French
English and French : nickname for a tall person, from Old English lang, long, Old French long ‘long’, ‘tall’ (equivalent to Latin longus).Irish (Ulster (Armagh) and Munster) : reduced Anglicized form of Gaelic Ó Longáin (see Langan).Chinese : from the name of an official treasurer called Long, who lived during the reign of the model emperor Shun (2257–2205 bc). his descendants adopted this name as their surname. Additionally, a branch of the Liu clan (see Lau 1), descendants of Liu Lei, who supposedly had the ability to handle dragons, was granted the name Yu-Long (meaning roughly ‘resistor of dragons’) by the Xia emperor Kong Jia (1879–1849 bc). Some descendants later simplified Yu-Long to Long and adopted it as their surname.Chinese : there are two sources for this name. One was a place in the state of Lu in Shandong province during the Spring and Autumn period (722–481 bc). The other source is the Xiongnu nationality, a non-Han Chinese people.Chinese : variant of Lang.Cambodian : unexplained.
Surname or Lastname
English and Dutch
English and Dutch : from the medieval personal name Benedict (Latin Benedictus meaning ‘blessed’). This owed its popularity in the Middle Ages chiefly to St. Benedict of Norcia (c.480–550), who founded the Benedictine order of monks at Monte Cassino and wrote a monastic rule that formed a model for all subsequent rules. No doubt the meaning of the Latin word also contributed to its popularity as a personal name, especially in Romance countries.
Surname or Lastname
English and Scottish
English and Scottish : occupational name for a stonemason, Middle English, Old French mas(s)on. Compare Machen. Stonemasonry was a hugely important craft in the Middle Ages.Italian (Veneto) : from a short form of Masone.French : from a regional variant of maison ‘house’.George Mason (1725–92), the American colonial statesman who framed the VA Bill of Rights and Constitution, which was used as a model by Thomas Jefferson when drafting the Declaration of Independence, was a VA planter, fourth in descent from George Mason (?1629–?86), a royalist soldier of the English Civil War who had received land grants in VA. As well as being prominent in the affairs of VA, the family also produced the first governor of MI.
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
Surname or Lastname
English and Irish (of Norman origin), and northern French
English and Irish (of Norman origin), and northern French : habitational name from any of several places in northern France, such as Nogent-sur-Oise, named with Latin Novientum, apparently an altered form of a Gaulish name meaning ‘new settlement’.The Anglo-Norman family of this name is descended from Fulke de Bellesme, lord of Nogent in Normandy, who was granted large estates around Winchester after the Conquest. His great-grandson was Hugh de Nugent (died 1213), who went to Ireland with Hugh de Lacy, and was granted lands in Bracklyn, County Westmeath. The family formed itself into a clan on the Irish model, of which the chief bore the hereditary title of Uinsheadun (Irish Uinnseadún), from their original seat at Winchester. They have been Earls of Westmeath since 1621. The name is now a common one in Ireland, and has been adopted there by some who have no connection with the clan.
Girl/Female
Indian, Sanskrit
A Yogic Posture
Girl/Female
Tamil
Vinyasa | விநà¯à®¯à®¾à®¸
A yogic posture
Vinyasa | விநà¯à®¯à®¾à®¸
Girl/Female
British, English
15th Century
Girl/Female
Gujarati, Hindu, Indian, Kannada, Tamil
Trick; Power; Strategy; Solution by Logic; By Reasoning
Boy/Male
Tamil
Full of feathers, Full of logic, Name of sage, Vatsyayan
Boy/Male
Hindu
Full of feathers, Full of logic, Name of sage, Vatsyayan
Boy/Male
Hindu
Model state of india
LOGIC MODEL
LOGIC MODEL
Boy/Male
Arabic, Muslim
Merciful; Forgiving; Al-tawwab; The All-compassionate; One of the Names of Allah; Acceptor of Repentance
Boy/Male
Indian, Punjabi, Sikh
Floating in Glory
Boy/Male
Indian, Sanskrit
The Lord of Uma
Boy/Male
Gujarati, Hindu, Indian
Year; Happiness with Love
Girl/Female
American, British, English, Greek, Hindu, Indian
Pure
Boy/Male
Biblical
That stones or is stoned, purple.
Surname or Lastname
English
English : variant spelling of Saylor.German : variant spelling of Seiler.
Boy/Male
Hindu, Indian, Tamil
Well Pears; Pearl in Stories
Girl/Female
Hindu, Indian
A Gem; Attractive
Male
Finnish
Finnish form of Greek Alexios, ALEKSI means "defender."
LOGIC MODEL
LOGIC MODEL
LOGIC MODEL
LOGIC MODEL
LOGIC MODEL
a.
Of or pertaining to logic; used in logic; as, logical subtilties.
n.
That which is refined, elaborated, or polished to excess; an affected subtilty; as, refinements of logic.
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.
n.
See Logic.
n.
The three " liberal" arts, grammar, logic, and rhetoric; -- being a triple way, as it were, to eloquence.
n.
One who bandies words or is very argumentative.
n.
The art or process of reasoning; logic.
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.
Beyond the scope or province of logic.
a.
Lying outside of the domain of logic.
a.
Excessively logical; adhering too closely to the forms or rules of logic.
n.
A person skilled in 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 art of reasoning; logic.
n.
Logic illustrated by physics.
n.
A treatise on logic; as, Mill's Logic.
a.
Cutting off; (Logic) exactly limiting by cutting off all that is not absolutely relative to the purpose; as, precisive censure; precisive abstraction.
a.
Skilled in logic; versed in the art of thinking and reasoning; as, he is a logical thinker.
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).