English words for '(logic) Propositional logic.'
Closest matches for "(logic) Propositional logic." are ranked by semantic fit across dictionary definitions.
Search results
noun
adj
name
adj
- (logic) Of, or relating to the modality between propositions.
- Of, or relating to a mode or modus.
- (graphical user interface) Requiring immediate user interaction and thus presented so that it cannot be closed or interacted behind until a decision is made.
- (music) Of, relating to, or composed in the musical modi by which an octave is divided, associated with emotional moods in Ancient — and in medieval ecclesiastical — music.
- (computing) Having separate modes in which user input has different effects.
- (metaphysics) Relating to the form of a thing rather to any of its attributes.
- (of music, by extension) In a mode which is not major or minor scale, the standard modes used in the Western musical tradition.
- (statistics) Relating to the statistical mode.
- (grammar) Of, relating to, or describing the mood of a clause.
- relating to or constituting the most frequent value in a distribution
- relating to or expressing the mood of a verb
- of or relating to a musical mode; especially written in an ecclesiastical mode
noun
- (logic) A modal proposition.
- (fabric) A semi-synthetic fabric, a very soft kind of rayon textile made from beech tree pulp and processed with chemicals.
- (grammar) A modal verb.
- (graphical user interface) A modal window, one that cannot be closed until a decision is made.
- (linguistics) A modal form, notably a modal auxiliary.
- an auxiliary verb (such as ‘can’ or ‘will’) that is used to express modality
noun
- (logic) In an argument or syllogism, the proposition that follows as a necessary consequence of the premises.
- arrangement; settlement.
- A decision reached after careful thought.
- The end, finish, close or last part of something.
- (law) An estoppel or bar by which a person is held to a particular position.
- (law) The end or close of a pleading, for example, the formal ending of an indictment, "against the peace", etc.
- The outcome or result of a process or act.
- the act of making up your mind about something
- an intuitive assumption
- the act of ending something
- the last section of a communication
- a position or opinion or judgment reached after consideration
- a final settlement
- the temporal end; the concluding time
- the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)
- event whose occurrence ends something
noun
- (logic, philosophy) A series of propositions organized so that the final proposition is a conclusion which is intended to follow logically from the preceding propositions, which function as premises.
- (by extension, humorous or euphemistic) Any dispute, altercation, or collision.
- The phase of a complex number.
- (countable) A process of reasoning; argumentation.
- A value, or a reference to a value, passed to a function.
- (countable) A verbal dispute; a quarrel.
- (also astronomy) A quantity on which the calculation of another quantity depends.
- (countable) An abstract or summary of the content of a literary work such as a book, a poem or a major section such as a chapter, included in the work before the content itself; (figuratively) the contents themselves.
- A parameter at a function call; an actual parameter, as opposed to a formal parameter.
- The independent variable of a function.
- (countable, linguistics) Any of the phrases that bear a syntactic connection to the verb of a clause.
- (countable, also figuratively) A fact or statement used to support a proposition; a reason.
- a variable in a logical or mathematical expression whose value determines the dependent variable
- a summary of the subject or plot of a literary work or play or movie
- a fact or assertion offered as evidence that something is true
- a discussion in which reasons are advanced for and against some proposition or proposal
- a contentious speech act; a dispute where there is strong disagreement
- a course of reasoning aimed at demonstrating a truth or falsehood; the methodical process of logical reasoning
- (computer science) a reference or value that is passed to a function, procedure, subroutine, command, or program
noun
- (logic) The act of making something the subject or predicate of a proposition.
- (logic) a declaration of something self-evident; something that can be assumed as the basis for argument
- A proclamation, announcement or preaching.
- An assertion or affirmation.
- (computing) The parallel execution of all possible outcomes of a branch instruction, all except one of which are discarded after the branch condition has been evaluated.
noun
- (logic) One of the propositions making up a syllogism.
- Part of an animal capable of performing a distinct office; an organ; a limb.
- (Australia, law) the judge or adjudicator in a consumer court.
- (object-oriented programming) A function or piece of data associated with each separate instance of a class.
- (mathematics) Either of the two parts of an algebraic equation, connected by the equality sign.
- (set theory) An element of a set.
- (euphemistic) The penis.
- One who belongs to a group.
- A part of a whole.
- A part of a discourse or of a period, sentence, or verse; a clause.
- (computing) A file stored within an archive file.
- the male sex organ
- one of the persons who compose a social group (especially individuals who have joined and participate in a group organization)
- an external body part that projects from the body
- anything that belongs to a set or class
- an organization that is a member of another organization (especially a state that belongs to a group of nations)
noun
- one of the substantive phrases in a logical proposition
- (logic) The subject or the predicate of a proposition; one of the three component parts of a syllogism, each one of which is used twice.
- a limited period of time
- the end of gestation or point at which birth is imminent
- any distinct quantity contained in a polynomial
- a word or expression used for some particular thing
- (usually plural) a statement of what is required as part of an agreement
- (architecture) a statue or a human bust or an animal carved out of the top of a square pillar; originally used as a boundary marker in ancient Rome
- A chronological limitation or restriction, a limited timespan.
- (astrology) An essential dignity in which unequal segments of every astrological sign have internal rulerships which affect the power and integrity of each planet in a natal chart.
- Part of a year, especially one of the divisions of an academic year.
- (mathematics) Any value (variable or constant) or expression separated from another term by a space or an appropriate character, in an overall expression or table.
- Specifically, the conditions in a legal contract that specify the price and also how and when payment must be made.
- A word or phrase (e.g., noun phrase, verb phrase, open compound), especially one from a specialised area of knowledge; a name for a concept.
- (of a patent) The maximum period during which the patent can be maintained into force.
- Certain days on which rent is paid.
- Any of the binding conditions or promises in a legal contract.
- (computing, informal) A computer program that emulates a physical terminal.
- (nautical) A piece of carved work placed under each end of the taffrail.
- One whose employment has been terminated
- That which limits the extent of anything; limit, extremity, bound, boundary, terminus.
- (art) A statue of the upper body, sometimes without the arms, ending in a pillar or pedestal.
- The time during which legal courts are open.
- With respect to a pregnancy, the usual duration of gestation for the given species (for example, nine months in humans); (metonymic) the end of this duration: the timepoint at which birth usually happens (for example, in humans, approximately 40 weeks from conception), defining the due date.
- Duration of officeholding, or its limit; period in office of fixed length.
- Relations among people.
verb
adj
noun
- (logic) the first term of a proposition
- (logic) That of which something is stated.
- some situation or event that is thought about
- the subject matter of a conversation or discussion
- a person who owes allegiance to that nation
- (grammar) one of the two main constituents of a sentence; the grammatical constituent about which something is predicated
- something (a person or object or scene) selected by an artist or photographer for graphic representation
- a branch of knowledge
- a person who is subjected to experimental or other observational procedures; someone who is an object of investigation
- By faulty generalisation from a clause's grammatical subject often being coinstantiated with one: an actor or agent; one who takes action.
- A particular area of study.
- A citizen in a monarchy.
- (grammar) The noun, pronoun or noun phrase about whom the statement is made. In active clauses with verbs denoting an action, the subject is the actor. In clauses in the passive voice the subject is the target of the action.
- The main topic of a paper, work of art, discussion, field of study, etc.
- A human, animal, or an inanimate object that is being examined, treated, analysed, etc; especially, one being studied in a scientific experiment, such as a clinical trial.
- (music) The main theme or melody, especially in a fugue.
- A person ruled over by another, especially a monarch or state authority.
- (mathematics) The variable in terms of which an expression is defined.
- (philosophy) A being that has subjective experiences, subjective consciousness, or a relationship with another entity.
adj
- likely to be affected by something
- being under the power or sovereignty of another or others
- possibly accepting or permitting
- Conditional upon something; used with to.
- Likely to be affected by or to experience something; liable.
- Placed under the power of another; owing allegiance to a particular sovereign or state.
- Placed or situated under; lying below, or in a lower situation.
verb
- make subservient; force to submit or subdue
- cause to experience or suffer or make liable or vulnerable to
- make accountable for
- (transitive, construed with to) To cause (someone or something) to undergo a particular experience, especially one that is unpleasant or unwanted.
- (transitive) To make subordinate or subservient; to subdue or enslave; to subjugate.
adj
- (logic, of a proposition) Lacking logical operators; unable to be made simpler in logical form.
- Unable to be split or made any smaller.
- Employing or relating to nuclear energy or processes.
- (programming, of a commit in a VCS) Containing a single change, as opposed to involving numerous unrelated changes.
- (computing, of an operation) Guaranteed to complete either fully or not at all while waiting in a pause, and running synchronously when called by multiple asynchronous threads.
- (order theory, of a partially ordered set with a least element 0) Such that for every element b>0 there exists an atom a such that b≥a>0.
- Infinitesimally small.
- (colloquial, by extension) Very strong and overpowering.
- (physics, chemistry) Of or relating to atoms; composed of atoms; monatomic.
- (weapons) deriving destructive energy from the release of atomic energy
- of or relating to or comprising atoms
- immeasurably small
noun
noun
- (logic) The act of interchanging the terms of a proposition, as by putting the subject in the place of the predicate, or vice versa.
- (American football) An extra point (or two) scored by kicking a field goal or carrying the ball into the end zone after scoring a touchdown.
- (law) Under the common law, the tort of the taking of someone's personal property with intent to permanently deprive them of it, or damaging property to the extent that the owner is deprived of the utility of that property, thus making the tortfeasor liable for the entire value of the property.
- (mathematics) A change or reduction of the form or value of a proposition.
- (chemistry) A chemical reaction wherein a substrate is transformed into a product.
- (marketing) An online advertising performance metric representing a visitor performing whatever the intended result of an ad is defined to be.
- (rugby) A free kick, after scoring a try, worth two points.
- (linguistics) The process whereby a new word is created without changing the form, often by allowing the word to function as a new part of speech.
- (computing) A software product converted from one platform to another.
- Living space in a part of a building that was previously uninhabitable, or the process of constructing such living space.
- The act of converting something or someone.
- (slang, board games) Changing a miniature figure into another character, usually by mixing different parts, or molding the model's parts, or doing both.
- (psychiatry) a defense mechanism represses emotional conflicts which are then converted into physical symptoms that have no organic basis
- a change in the units or form of an expression:
- a successful free throw or try for point after a touchdown
- act of exchanging one type of money or security for another
- a change of religion
- the act of changing from one use or function or purpose to another
- interchange of subject and predicate of a proposition
- a spiritual enlightenment causing a person to lead a new life
- an event that results in a transformation
noun
- (logic) An axiom.
- (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
- A fundamental element; a basic principle.
- A requirement; a prerequisite.
- Something assumed without proof as being self-evident or generally accepted, especially when used as a basis for an argument. Sometimes distinguished from axioms as being relevant to a particular science or context, rather than universally true, and following from other axioms rather than being an absolute assumption.
adj
verb
- (ambitransitive, Christianity, historical) To appoint or request one's appointment to an ecclesiastical office.
- To assume as a truthful or accurate premise or axiom, especially as a basis of an argument.
- take as a given; assume as a postulate or axiom
- maintain or assert
- require as useful, just, or proper
adj
noun
- (logic) A subaltern proposition; a proposition implied by a universal proposition.
- A subordinate.
- (British, military) A commissioned officer having a rank below that of captain; a lieutenant or second lieutenant.
- (social sciences, literary theory) A member of a group that is socially, politically and geographically outside of the hegemonic power structure of the colony and of the colonial homeland.
- a British commissioned army officer below the rank of captain
verb
- conclude by reasoning; in logic
- believe to be the case
- guess correctly; solve by guessing
- draw from specific cases for more general cases
- reason by deduction; establish by deduction
- (transitive) To introduce (something) as a reasoned conclusion; to conclude by reasoning or deduction, as from premises or evidence.
- (transitive, often proscribed) To lead to (something) as a consequence; to imply.
noun
- (logic) The logical operation which obtains such (negated) propositions.
- (logic) a proposition that is true if and only if another proposition is false
- (logic, countable) A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
- (uncountable) The act of negating something.
- (countable) A denial or contradiction.
- a negative statement; a statement that is a refusal or denial of some other statement
- the speech act of negating
noun
- (mathematics, logic) A proposition which follows easily from the statement or proof of another proposition.
- An a fortiori occurrence, as a result of another effort without significant additional effort.
- A gift beyond what is actually due; an addition or superfluity.
- a practical consequence that follows naturally
- (logic) an inference that follows directly from the proof of another proposition
adj
noun
- (logic) The relation of a universal proposition to a particular proposition in the same terms.
- The ordination of a person to fill a station already occupied; especially, the ordination by an ecclesiastical official, during his lifetime, of his successor.
- the semantic relation of being superordinate or belonging to a higher rank or class
noun
- (logic) A premise placed after its conclusion.
- A wall plate.
- An excuse: a thought or a consideration offered in support of a determination or an opinion; that which is offered or accepted as an explanation.
- That which causes something: an efficient cause, a proximate cause.
- (uncountable) Rational thinking (or the capacity for it); the cognitive faculties, collectively, of conception, judgment, deduction and intuition.
- A motive for an action or a determination.
- the state of having good sense and sound judgment
- an explanation of the cause of some phenomenon
- a justification for something existing or happening
- a fact that logically justifies some premise or conclusion
- the capacity for rational thought or inference or discrimination
- a rational motive for a belief or action
verb
- (intransitive) To deduce or come to a conclusion by being rational.
- (transitive, usually with out) To find by logical process; to explain or justify by reason or argument.
- (transitive) To persuade by reasoning or argument.
- (transitive, rare) To support with reasons, as a request.
- (ambitransitive) To arrange and present the reasons for or against; to examine or discuss by arguments; to debate or discuss.
- (transitive, with down) To overcome or conquer by adducing reasons.
- (intransitive) To perform a process of deduction or of induction, in order to convince or to confute; to argue.
- decide by reasoning; draw or come to a conclusion
- think logically
- present reasons and arguments
adj
- (logic) Concerning logic whose subject matter concerns such states.
- (mathematics, programming, computer engineering) Of an operation, function, procedure, or logic gate, taking exactly two operands, arguments, parameters, or inputs; having domain of dimension 2.
- (arithmetic, computing) Concerning numbers and calculations using the binary number system.
- (biology, sociology) Having or pertaining to a gender identity represented by the gender binary; either male or female.
- Having two equally important parts; related to something with two parts.
- (comparable) Focusing on two mutually exclusive conditions.
- (computing) Of data, consisting coded values (e.g. machine code) not interpretable as plain or ASCII text (e.g. source code).
- Being in one of two mutually exclusive states.
- of or pertaining to a number system have 2 as its base
- consisting of two (units or components or elements or terms)
noun
- (astronomy) Synonym of binary star.
- (astronomy) Synonym of binary asteroid.
- (astronomy) Synonym of binary planet.
- A state in which only two values are possible, in which something must have one value or the other.
- (computing) Synonym of binary file.
- (mathematics, computing, uncountable) The bijective base-2 numeral system, which uses only the digits 0 and 1.
- (finance) Synonym of binary option.
- a system of two stars that revolve around each other under their mutual gravitation
- a pre-compiled, pre-linked program that is ready to run under a given operating system; a binary for one operating system will not run on a different operating system
noun
- (logic) The proposition resulting from the combination of two or more propositions using the or operator.
- (biology) During meiosis, the separation of chromosomes (homologous in meiosis I, and sister chromatids in meiosis II).
- (mathematics) A logical operator that results in “true” when any of its operands are true.
- The state of being disjoined, contrasting, or opposing.
- The act of disjoining; disunion, separation.
- the act of breaking a connection
- state of being disconnected
noun
- (logic) A limitation that is imposed on the variables of a proposition.
- (economics) The expression of an economic activity in monetary units.
- The act of quantifying.
- a limitation imposed on the variables of a proposition (as by the quantifiers ‘some’ or ‘all’ or ‘no’)
- the act of discovering or expressing the quantity of something
noun
- (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
- Something that is posited; a postulate.
- (aviation) Abbreviation of position.
- (computing) A number format representing a real number consisting of a sign bit, a variable-size "regime" part (which modifies the exponent), up to two exponent bits, and a fraction part, proposed as a more efficient alternative to IEEE 754 floats in AI applications.
verb
noun
- (logic) a statement that contradicts itself
- A counterintuitive conclusion or outcome.
- (uncountable) The use of counterintuitive or contradictory statements (paradoxes) in speech or writing.
- A claim that two apparently contradictory ideas are true.
- A person or thing having contradictory properties.
- A thing involving contradictory yet interrelated elements that exist simultaneously and persist over time.
- (uncountable, philosophy) A state in which one is logically compelled to contradict oneself.
- An unanswerable question or difficult puzzle, particularly one which leads to a deeper truth.
- An apparently self-contradictory statement, which can only be true if it is false, and vice versa.
- (countable, uncountable, psychotherapy) The practice of giving instructions that are opposed to the therapist's actual intent, with the intention that the client will disobey or be unable to obey.
noun
- (logic) A deduction from the general to the particular, by applying the rules of logic to a premise.
- (chemistry) The reaction of elements or compounds to form more complex compounds.
- (military) In intelligence usage, the examining and combining of processed information with other information and intelligence for final interpretation.
- The formation of something complex or coherent by combining simpler things.
- (medicine) The reunion of parts that have been divided.
- An Ancient Roman dining-garment.
- (signal processing) Creation of a complex waveform by summation of simpler waveforms.
- (grammar) The uniting of ideas into a sentence.
- (philosophy) The combination of thesis and antithesis.
- (rhetoric) An apt arrangement of elements of a text, especially for euphony.
- reasoning from the general to the particular (or from cause to effect)
- the process of producing a chemical compound (usually by the union of simpler chemical compounds)
- the combination of ideas into a complex whole
noun
- (logic) The proposition resulting from the combination of two or more propositions using the ∧ ( and ) operator.
- (astrology) An aspect in which planets are in close proximity to one another.
- (grammar) A word used to join other words, phrases, or clauses together into sentences. (The specific conjunction used shows how the two joined parts are related semantically.)
- The act of joining, or condition of being joined.
- (astronomy) The alignment of two bodies in the solar system such that they have the same longitude when seen from Earth.
- A place where multiple things meet.
- Cooccurrence; coincidence.
- the state of being joined together
- something that joins or connects
- the grammatical relation between linguistic units (words or phrases or clauses) that are connected by a conjunction
- the temporal property of two things happening at the same time
- an uninflected function word that serves to conjoin words or phrases or clauses or sentences
- (astronomy) apparent meeting or passing of two or more celestial bodies in the same degree of the zodiac
noun
adj
- (logic) Of or relating to logical conjunction.
- (grammar, of a verb) Subjunctive: inflected to indicate that an act or state of being is possible, contingent or hypothetical, and not a fact.
- (astrology, astronomy) Relating to a conjunction (appearance in the sky of two astronomical objects with the same right ascension or the same ecliptic longitude).
- Connected: being joined, united, connected.
- (grammar) Relating to a conjunction (part of speech).
- (grammar) Relating to the conjunctive mood.
- Connective: tending to join, unite, connect.
- (grammar) Of a personal pronoun, used only in immediate conjunction with the verb of which the pronoun is the subject, such as French je or Irish sé
- serving or tending to connect
- involving the joint activity of two or more
adj
- (logic) Of a set of statements: such that no contradiction logically follows from them.
- Compatible, accordant.
- Of a regularly occurring, dependable nature.
- the same throughout in structure or composition
- marked by an orderly, logical, and aesthetically consistent relation of parts
- (sometimes followed by ‘with’) in agreement or consistent or reliable
- capable of being reproduced
noun
noun
- (logic) The classification of propositions on the basis on whether they claim possibility, impossibility, contingency or necessity; mode.
- (astrology) That whether a zodiac sign is cardinal, fixed or mutable
- (semiotics) A particular way in which the information is to be encoded for presentation to humans, i.e. to the type of sign and to the status of reality ascribed to or claimed by a sign, text or genre.
- (grammar) The inflection of a verb that shows how its action is conceived by the speaker.
- (music) The subject concerning certain diatonic scales known as musical modes.
- The fact of being modal.
- (law) The quality of being limited by a condition.
- (medicine) A method of diagnosis or therapy.
- (sociology) The way in which infrastructure and knowledge of how to use it give rise to a meaningful pattern of interaction (a concept in Anthony Giddens's structuration theory).
- Any of the senses (such as sight or taste)
- (theology) The organization and structure of the church, as distinct from sodality or parachurch organizations.
- a method of therapy that involves physical or electrical therapeutic treatment
- a classification of propositions on the basis of whether they claim necessity or possibility or impossibility
- verb inflections that express how the action or state is conceived by the speaker
- a particular sense
noun
- (logic) A statement that one sentence is true if another is.
- (programming) An instruction that branches depending on the truth of a condition at that point.
- A condition (a limitation or restriction).
- (grammar) A conditional sentence; a statement that depends on a condition being true or false.
- (grammar) The conditional mood.
adj
noun
- (logic) An argument from cause to effect; an a priori argument.
- The investigation of things by the analogy they bear to each other.
- (philosophy) The belief that the world consists of separate entities that follow certain rules or universal forces.
- (linguistics) The belief that grammar is not arbitrary, but follows rules and patterns.
noun
- (logic) A simple or atomic proposition.
- (weaving) A drawloom.
- (pharmacology) A herbal preparation made from one plant, as opposed to something made from more than one plant.
- (Roman Catholicism) A feast which is not a double or a semidouble.
- (weaving) Part of the apparatus for raising the heddles of a drawloom.
- a person lacking intelligence or common sense
- any herbaceous plant having medicinal properties
adj
- (module theory, of a module) Being non-trivial, and having no proper non-trivial submodules (equivalently, no proper non-trivial quotient modules).
- Uncomplicated; lacking complexity; taken by itself, with nothing added.
- Free from duplicity; guileless, innocent, straightforward.
- (botany) Not compound, but possibly lobed.
- Easy; not difficult.
- (now colloquial, euphemistic) Feeble-minded; foolish.
- (zoology) Consisting of a single individual or zooid; not compound.
- (algebra, of a Lie algebra) Being non-abelian and having no proper non-zero ideals. (Note that this is non-equivalent to the usual algebra sense; in particular, the abelian Lie algebra of dimension 1 over any given field is non-trivial and has no proper non-zero ideals, but is by convention not considered simple.)
- (mineralogy) Homogenous.
- (ring theory, of a ring) Being non-zero, and having no proper non-zero two-sided ideals (equivalently, no proper non-trivial quotient rings). For commutative rings, this definition coincides with that of a field.
- Without ornamentation; plain.
- (mathematics, real analysis, measure theory, of a real-valued function) Equal to a finite linear combination of indicator functions on measurable sets.
- (group theory, of a group) Being non-trivial, and having no proper non-trivial normal subgroups (equivalently, no proper non-trivial quotient groups).
- Undistinguished in social condition; of no special rank.
- (category theory, of an object in a category with a terminal object) Being non-isomorphic to the terminal object, and such that its only quotient objects (up to isomorphism) are the terminal object and itself.
- (chemistry, pharmacology) Consisting of one single substance; uncompounded.
- Using steam only once in its cylinders, in contrast to a compound engine, where steam is used more than once in high-pressure and low-pressure cylinders. (of a steam engine)
- (universal algebra, of an algebraic structure) Containing more than one element, and such that the only congruences on the structure are the diagonal relation (the equivalence relation a≡b⟺a=b) and the universal relation (the equivalence relation such that a≡b for all a,b). Equivalently, containing more than one element and having no proper non-trivial quotient algebras.
- exhibiting childlike simplicity and credulity
- (botany) of leaf shapes; of leaves having no divisions or subdivisions
- having few parts; not complex or complicated or involved
- apart from anything else; without additions or modifications
- easy and not involved or complicated
- lacking mental capacity and subtlety
- unornamented
noun
- (logic) a declaration of something self-evident; something that can be assumed as the basis for argument
- a formal message requesting something that is submitted to an authority
- The act of postulating or something postulated.
- (logic) Something self-evident that can be assumed as the basis of an argument.
noun
- (logic) An argument whose conclusion is supported by two premises, of which one contains the term that is the predicate of the conclusion, and the other contains the term that is the subject of the conclusion; common to both premises is a term that is excluded from the conclusion.
- deductive reasoning in which a conclusion is derived from two premises
noun
adj
noun
- (logic) The negation in logic.
- Refusal to believe that a problem exists.
- (psychology) A defense mechanism involving a refusal to accept the truth of a phenomenon or prospect.
- An assertion of untruth.
- A refusal or failure to provide or grant something that is requested or desired.
- A disownment or disavowal
- Refusal to admit responsibility for wrongdoing.
- Negationism, denialism of historical facts or accepted interpretation.
- the act of asserting that something alleged is not true
- a defendant's answer or plea denying the truth of the charges against them
- (psychiatry) a defense mechanism that denies painful thoughts
- the act of refusing to comply (as with a request)
- renunciation of your own interests in favor of the interests of others
noun
- (logic) A syllogism or form of argument in which the major premise is evident, but the minor is only probable.
- (anatomy) The act of abducing or abducting; a drawing apart; the movement which separates a limb or other part from the axis, or middle line, of the body.
- (ufology) Alien abduction.
- Leading away; a carrying away.
- (law) The wrongful, and usually forcible, carrying off of a human being.
- the criminal act of capturing and carrying away by force a family member; if a man's wife is abducted it is a crime against the family relationship and against the wife
- (physiology) moving of a body part away from the central axis of the body
noun
- (logic) A propositional variable, or the negation of a propositional variable. ᵂᵖ
- (epigraphy, typography) A misprint (or occasionally a scribal error) that affects a letter.
- (programming) A value, as opposed to an identifier, written into the source code of a computer program.
- Misspelling of littoral.
- a mistake in printed matter resulting from mechanical failures of some kind
adj
- (theology, specifically) Following the historical-grammatical method of biblical interpretation.
- (proscribed) Used nonliterally as an intensifier. See literally for usage notes.
- Actual, real, physical.
- Exactly as stated; read or understood without interpretation; according to the letter; not figurative or metaphorical; following the letter or exact words; not taking liberties; etymonic rather than idiomatic.
- (uncommon) Consisting of, or expressed by, letters (of an alphabet); using literation.
- (loosely) That which generally assumes that the plainest reading of a given text is correct but which allows for metaphor where context indicates it.
- (of a person) Unimaginative; matter-of-fact; literal-minded.
- Misspelling of littoral.
- being or reflecting the essential or genuine character of something
- avoiding embellishment or exaggeration (used for emphasis)
- without interpretation or embellishment
- limited to the explicit meaning of a word or text
verb
adj
noun
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- a system of reasoning
- the branch of philosophy that analyzes inference
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
noun
adj
name
noun
- (logic) In an argument or syllogism, the proposition that follows as a necessary consequence of the premises.
- arrangement; settlement.
- A decision reached after careful thought.
- The end, finish, close or last part of something.
- (law) An estoppel or bar by which a person is held to a particular position.
- (law) The end or close of a pleading, for example, the formal ending of an indictment, "against the peace", etc.
- The outcome or result of a process or act.
- the act of making up your mind about something
- an intuitive assumption
- the act of ending something
- the last section of a communication
- a position or opinion or judgment reached after consideration
- a final settlement
- the temporal end; the concluding time
- the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)
- event whose occurrence ends something
noun
- (logic, philosophy) A series of propositions organized so that the final proposition is a conclusion which is intended to follow logically from the preceding propositions, which function as premises.
- (by extension, humorous or euphemistic) Any dispute, altercation, or collision.
- The phase of a complex number.
- (countable) A process of reasoning; argumentation.
- A value, or a reference to a value, passed to a function.
- (countable) A verbal dispute; a quarrel.
- (also astronomy) A quantity on which the calculation of another quantity depends.
- (countable) An abstract or summary of the content of a literary work such as a book, a poem or a major section such as a chapter, included in the work before the content itself; (figuratively) the contents themselves.
- A parameter at a function call; an actual parameter, as opposed to a formal parameter.
- The independent variable of a function.
- (countable, linguistics) Any of the phrases that bear a syntactic connection to the verb of a clause.
- (countable, also figuratively) A fact or statement used to support a proposition; a reason.
- a variable in a logical or mathematical expression whose value determines the dependent variable
- a summary of the subject or plot of a literary work or play or movie
- a fact or assertion offered as evidence that something is true
- a discussion in which reasons are advanced for and against some proposition or proposal
- a contentious speech act; a dispute where there is strong disagreement
- a course of reasoning aimed at demonstrating a truth or falsehood; the methodical process of logical reasoning
- (computer science) a reference or value that is passed to a function, procedure, subroutine, command, or program
noun
- (logic) The act of making something the subject or predicate of a proposition.
- (logic) a declaration of something self-evident; something that can be assumed as the basis for argument
- A proclamation, announcement or preaching.
- An assertion or affirmation.
- (computing) The parallel execution of all possible outcomes of a branch instruction, all except one of which are discarded after the branch condition has been evaluated.
noun
- (logic) One of the propositions making up a syllogism.
- Part of an animal capable of performing a distinct office; an organ; a limb.
- (Australia, law) the judge or adjudicator in a consumer court.
- (object-oriented programming) A function or piece of data associated with each separate instance of a class.
- (mathematics) Either of the two parts of an algebraic equation, connected by the equality sign.
- (set theory) An element of a set.
- (euphemistic) The penis.
- One who belongs to a group.
- A part of a whole.
- A part of a discourse or of a period, sentence, or verse; a clause.
- (computing) A file stored within an archive file.
- the male sex organ
- one of the persons who compose a social group (especially individuals who have joined and participate in a group organization)
- an external body part that projects from the body
- anything that belongs to a set or class
- an organization that is a member of another organization (especially a state that belongs to a group of nations)
adj
- (logic) Of, or relating to the modality between propositions.
- Of, or relating to a mode or modus.
- (graphical user interface) Requiring immediate user interaction and thus presented so that it cannot be closed or interacted behind until a decision is made.
- (music) Of, relating to, or composed in the musical modi by which an octave is divided, associated with emotional moods in Ancient — and in medieval ecclesiastical — music.
- (computing) Having separate modes in which user input has different effects.
- (metaphysics) Relating to the form of a thing rather to any of its attributes.
- (of music, by extension) In a mode which is not major or minor scale, the standard modes used in the Western musical tradition.
- (statistics) Relating to the statistical mode.
- (grammar) Of, relating to, or describing the mood of a clause.
- relating to or constituting the most frequent value in a distribution
- relating to or expressing the mood of a verb
- of or relating to a musical mode; especially written in an ecclesiastical mode
noun
- (logic) A modal proposition.
- (fabric) A semi-synthetic fabric, a very soft kind of rayon textile made from beech tree pulp and processed with chemicals.
- (grammar) A modal verb.
- (graphical user interface) A modal window, one that cannot be closed until a decision is made.
- (linguistics) A modal form, notably a modal auxiliary.
- an auxiliary verb (such as ‘can’ or ‘will’) that is used to express modality
noun
- one of the substantive phrases in a logical proposition
- (logic) The subject or the predicate of a proposition; one of the three component parts of a syllogism, each one of which is used twice.
- a limited period of time
- the end of gestation or point at which birth is imminent
- any distinct quantity contained in a polynomial
- a word or expression used for some particular thing
- (usually plural) a statement of what is required as part of an agreement
- (architecture) a statue or a human bust or an animal carved out of the top of a square pillar; originally used as a boundary marker in ancient Rome
- A chronological limitation or restriction, a limited timespan.
- (astrology) An essential dignity in which unequal segments of every astrological sign have internal rulerships which affect the power and integrity of each planet in a natal chart.
- Part of a year, especially one of the divisions of an academic year.
- (mathematics) Any value (variable or constant) or expression separated from another term by a space or an appropriate character, in an overall expression or table.
- Specifically, the conditions in a legal contract that specify the price and also how and when payment must be made.
- A word or phrase (e.g., noun phrase, verb phrase, open compound), especially one from a specialised area of knowledge; a name for a concept.
- (of a patent) The maximum period during which the patent can be maintained into force.
- Certain days on which rent is paid.
- Any of the binding conditions or promises in a legal contract.
- (computing, informal) A computer program that emulates a physical terminal.
- (nautical) A piece of carved work placed under each end of the taffrail.
- One whose employment has been terminated
- That which limits the extent of anything; limit, extremity, bound, boundary, terminus.
- (art) A statue of the upper body, sometimes without the arms, ending in a pillar or pedestal.
- The time during which legal courts are open.
- With respect to a pregnancy, the usual duration of gestation for the given species (for example, nine months in humans); (metonymic) the end of this duration: the timepoint at which birth usually happens (for example, in humans, approximately 40 weeks from conception), defining the due date.
- Duration of officeholding, or its limit; period in office of fixed length.
- Relations among people.
verb
adj
noun
- (logic) the first term of a proposition
- (logic) That of which something is stated.
- some situation or event that is thought about
- the subject matter of a conversation or discussion
- a person who owes allegiance to that nation
- (grammar) one of the two main constituents of a sentence; the grammatical constituent about which something is predicated
- something (a person or object or scene) selected by an artist or photographer for graphic representation
- a branch of knowledge
- a person who is subjected to experimental or other observational procedures; someone who is an object of investigation
- By faulty generalisation from a clause's grammatical subject often being coinstantiated with one: an actor or agent; one who takes action.
- A particular area of study.
- A citizen in a monarchy.
- (grammar) The noun, pronoun or noun phrase about whom the statement is made. In active clauses with verbs denoting an action, the subject is the actor. In clauses in the passive voice the subject is the target of the action.
- The main topic of a paper, work of art, discussion, field of study, etc.
- A human, animal, or an inanimate object that is being examined, treated, analysed, etc; especially, one being studied in a scientific experiment, such as a clinical trial.
- (music) The main theme or melody, especially in a fugue.
- A person ruled over by another, especially a monarch or state authority.
- (mathematics) The variable in terms of which an expression is defined.
- (philosophy) A being that has subjective experiences, subjective consciousness, or a relationship with another entity.
adj
- likely to be affected by something
- being under the power or sovereignty of another or others
- possibly accepting or permitting
- Conditional upon something; used with to.
- Likely to be affected by or to experience something; liable.
- Placed under the power of another; owing allegiance to a particular sovereign or state.
- Placed or situated under; lying below, or in a lower situation.
verb
- make subservient; force to submit or subdue
- cause to experience or suffer or make liable or vulnerable to
- make accountable for
- (transitive, construed with to) To cause (someone or something) to undergo a particular experience, especially one that is unpleasant or unwanted.
- (transitive) To make subordinate or subservient; to subdue or enslave; to subjugate.
noun
- (logic) The act of interchanging the terms of a proposition, as by putting the subject in the place of the predicate, or vice versa.
- (American football) An extra point (or two) scored by kicking a field goal or carrying the ball into the end zone after scoring a touchdown.
- (law) Under the common law, the tort of the taking of someone's personal property with intent to permanently deprive them of it, or damaging property to the extent that the owner is deprived of the utility of that property, thus making the tortfeasor liable for the entire value of the property.
- (mathematics) A change or reduction of the form or value of a proposition.
- (chemistry) A chemical reaction wherein a substrate is transformed into a product.
- (marketing) An online advertising performance metric representing a visitor performing whatever the intended result of an ad is defined to be.
- (rugby) A free kick, after scoring a try, worth two points.
- (linguistics) The process whereby a new word is created without changing the form, often by allowing the word to function as a new part of speech.
- (computing) A software product converted from one platform to another.
- Living space in a part of a building that was previously uninhabitable, or the process of constructing such living space.
- The act of converting something or someone.
- (slang, board games) Changing a miniature figure into another character, usually by mixing different parts, or molding the model's parts, or doing both.
- (psychiatry) a defense mechanism represses emotional conflicts which are then converted into physical symptoms that have no organic basis
- a change in the units or form of an expression:
- a successful free throw or try for point after a touchdown
- act of exchanging one type of money or security for another
- a change of religion
- the act of changing from one use or function or purpose to another
- interchange of subject and predicate of a proposition
- a spiritual enlightenment causing a person to lead a new life
- an event that results in a transformation
noun
- (logic) An axiom.
- (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
- A fundamental element; a basic principle.
- A requirement; a prerequisite.
- Something assumed without proof as being self-evident or generally accepted, especially when used as a basis for an argument. Sometimes distinguished from axioms as being relevant to a particular science or context, rather than universally true, and following from other axioms rather than being an absolute assumption.
adj
verb
- (ambitransitive, Christianity, historical) To appoint or request one's appointment to an ecclesiastical office.
- To assume as a truthful or accurate premise or axiom, especially as a basis of an argument.
- take as a given; assume as a postulate or axiom
- maintain or assert
- require as useful, just, or proper
noun
- (logic) The logical operation which obtains such (negated) propositions.
- (logic) a proposition that is true if and only if another proposition is false
- (logic, countable) A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
- (uncountable) The act of negating something.
- (countable) A denial or contradiction.
- a negative statement; a statement that is a refusal or denial of some other statement
- the speech act of negating
noun
- (mathematics, logic) A proposition which follows easily from the statement or proof of another proposition.
- An a fortiori occurrence, as a result of another effort without significant additional effort.
- A gift beyond what is actually due; an addition or superfluity.
- a practical consequence that follows naturally
- (logic) an inference that follows directly from the proof of another proposition
adj
noun
- (logic) The relation of a universal proposition to a particular proposition in the same terms.
- The ordination of a person to fill a station already occupied; especially, the ordination by an ecclesiastical official, during his lifetime, of his successor.
- the semantic relation of being superordinate or belonging to a higher rank or class
noun
- (logic) A premise placed after its conclusion.
- A wall plate.
- An excuse: a thought or a consideration offered in support of a determination or an opinion; that which is offered or accepted as an explanation.
- That which causes something: an efficient cause, a proximate cause.
- (uncountable) Rational thinking (or the capacity for it); the cognitive faculties, collectively, of conception, judgment, deduction and intuition.
- A motive for an action or a determination.
- the state of having good sense and sound judgment
- an explanation of the cause of some phenomenon
- a justification for something existing or happening
- a fact that logically justifies some premise or conclusion
- the capacity for rational thought or inference or discrimination
- a rational motive for a belief or action
verb
- (intransitive) To deduce or come to a conclusion by being rational.
- (transitive, usually with out) To find by logical process; to explain or justify by reason or argument.
- (transitive) To persuade by reasoning or argument.
- (transitive, rare) To support with reasons, as a request.
- (ambitransitive) To arrange and present the reasons for or against; to examine or discuss by arguments; to debate or discuss.
- (transitive, with down) To overcome or conquer by adducing reasons.
- (intransitive) To perform a process of deduction or of induction, in order to convince or to confute; to argue.
- decide by reasoning; draw or come to a conclusion
- think logically
- present reasons and arguments
noun
- (logic) The proposition resulting from the combination of two or more propositions using the or operator.
- (biology) During meiosis, the separation of chromosomes (homologous in meiosis I, and sister chromatids in meiosis II).
- (mathematics) A logical operator that results in “true” when any of its operands are true.
- The state of being disjoined, contrasting, or opposing.
- The act of disjoining; disunion, separation.
- the act of breaking a connection
- state of being disconnected
noun
- (logic) A limitation that is imposed on the variables of a proposition.
- (economics) The expression of an economic activity in monetary units.
- The act of quantifying.
- a limitation imposed on the variables of a proposition (as by the quantifiers ‘some’ or ‘all’ or ‘no’)
- the act of discovering or expressing the quantity of something
noun
- (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
- Something that is posited; a postulate.
- (aviation) Abbreviation of position.
- (computing) A number format representing a real number consisting of a sign bit, a variable-size "regime" part (which modifies the exponent), up to two exponent bits, and a fraction part, proposed as a more efficient alternative to IEEE 754 floats in AI applications.
verb
noun
- (logic) a statement that contradicts itself
- A counterintuitive conclusion or outcome.
- (uncountable) The use of counterintuitive or contradictory statements (paradoxes) in speech or writing.
- A claim that two apparently contradictory ideas are true.
- A person or thing having contradictory properties.
- A thing involving contradictory yet interrelated elements that exist simultaneously and persist over time.
- (uncountable, philosophy) A state in which one is logically compelled to contradict oneself.
- An unanswerable question or difficult puzzle, particularly one which leads to a deeper truth.
- An apparently self-contradictory statement, which can only be true if it is false, and vice versa.
- (countable, uncountable, psychotherapy) The practice of giving instructions that are opposed to the therapist's actual intent, with the intention that the client will disobey or be unable to obey.
adj
noun
- (logic) A subaltern proposition; a proposition implied by a universal proposition.
- A subordinate.
- (British, military) A commissioned officer having a rank below that of captain; a lieutenant or second lieutenant.
- (social sciences, literary theory) A member of a group that is socially, politically and geographically outside of the hegemonic power structure of the colony and of the colonial homeland.
- a British commissioned army officer below the rank of captain
noun
- (logic) A deduction from the general to the particular, by applying the rules of logic to a premise.
- (chemistry) The reaction of elements or compounds to form more complex compounds.
- (military) In intelligence usage, the examining and combining of processed information with other information and intelligence for final interpretation.
- The formation of something complex or coherent by combining simpler things.
- (medicine) The reunion of parts that have been divided.
- An Ancient Roman dining-garment.
- (signal processing) Creation of a complex waveform by summation of simpler waveforms.
- (grammar) The uniting of ideas into a sentence.
- (philosophy) The combination of thesis and antithesis.
- (rhetoric) An apt arrangement of elements of a text, especially for euphony.
- reasoning from the general to the particular (or from cause to effect)
- the process of producing a chemical compound (usually by the union of simpler chemical compounds)
- the combination of ideas into a complex whole
noun
- (logic) The proposition resulting from the combination of two or more propositions using the ∧ ( and ) operator.
- (astrology) An aspect in which planets are in close proximity to one another.
- (grammar) A word used to join other words, phrases, or clauses together into sentences. (The specific conjunction used shows how the two joined parts are related semantically.)
- The act of joining, or condition of being joined.
- (astronomy) The alignment of two bodies in the solar system such that they have the same longitude when seen from Earth.
- A place where multiple things meet.
- Cooccurrence; coincidence.
- the state of being joined together
- something that joins or connects
- the grammatical relation between linguistic units (words or phrases or clauses) that are connected by a conjunction
- the temporal property of two things happening at the same time
- an uninflected function word that serves to conjoin words or phrases or clauses or sentences
- (astronomy) apparent meeting or passing of two or more celestial bodies in the same degree of the zodiac
noun
adj
- (logic) Of or relating to logical conjunction.
- (grammar, of a verb) Subjunctive: inflected to indicate that an act or state of being is possible, contingent or hypothetical, and not a fact.
- (astrology, astronomy) Relating to a conjunction (appearance in the sky of two astronomical objects with the same right ascension or the same ecliptic longitude).
- Connected: being joined, united, connected.
- (grammar) Relating to a conjunction (part of speech).
- (grammar) Relating to the conjunctive mood.
- Connective: tending to join, unite, connect.
- (grammar) Of a personal pronoun, used only in immediate conjunction with the verb of which the pronoun is the subject, such as French je or Irish sé
- serving or tending to connect
- involving the joint activity of two or more
noun
- (logic) The classification of propositions on the basis on whether they claim possibility, impossibility, contingency or necessity; mode.
- (astrology) That whether a zodiac sign is cardinal, fixed or mutable
- (semiotics) A particular way in which the information is to be encoded for presentation to humans, i.e. to the type of sign and to the status of reality ascribed to or claimed by a sign, text or genre.
- (grammar) The inflection of a verb that shows how its action is conceived by the speaker.
- (music) The subject concerning certain diatonic scales known as musical modes.
- The fact of being modal.
- (law) The quality of being limited by a condition.
- (medicine) A method of diagnosis or therapy.
- (sociology) The way in which infrastructure and knowledge of how to use it give rise to a meaningful pattern of interaction (a concept in Anthony Giddens's structuration theory).
- Any of the senses (such as sight or taste)
- (theology) The organization and structure of the church, as distinct from sodality or parachurch organizations.
- a method of therapy that involves physical or electrical therapeutic treatment
- a classification of propositions on the basis of whether they claim necessity or possibility or impossibility
- verb inflections that express how the action or state is conceived by the speaker
- a particular sense
noun
- (logic) A statement that one sentence is true if another is.
- (programming) An instruction that branches depending on the truth of a condition at that point.
- A condition (a limitation or restriction).
- (grammar) A conditional sentence; a statement that depends on a condition being true or false.
- (grammar) The conditional mood.
adj
noun
- (logic) An argument from cause to effect; an a priori argument.
- The investigation of things by the analogy they bear to each other.
- (philosophy) The belief that the world consists of separate entities that follow certain rules or universal forces.
- (linguistics) The belief that grammar is not arbitrary, but follows rules and patterns.
noun
- (logic) A simple or atomic proposition.
- (weaving) A drawloom.
- (pharmacology) A herbal preparation made from one plant, as opposed to something made from more than one plant.
- (Roman Catholicism) A feast which is not a double or a semidouble.
- (weaving) Part of the apparatus for raising the heddles of a drawloom.
- a person lacking intelligence or common sense
- any herbaceous plant having medicinal properties
adj
- (module theory, of a module) Being non-trivial, and having no proper non-trivial submodules (equivalently, no proper non-trivial quotient modules).
- Uncomplicated; lacking complexity; taken by itself, with nothing added.
- Free from duplicity; guileless, innocent, straightforward.
- (botany) Not compound, but possibly lobed.
- Easy; not difficult.
- (now colloquial, euphemistic) Feeble-minded; foolish.
- (zoology) Consisting of a single individual or zooid; not compound.
- (algebra, of a Lie algebra) Being non-abelian and having no proper non-zero ideals. (Note that this is non-equivalent to the usual algebra sense; in particular, the abelian Lie algebra of dimension 1 over any given field is non-trivial and has no proper non-zero ideals, but is by convention not considered simple.)
- (mineralogy) Homogenous.
- (ring theory, of a ring) Being non-zero, and having no proper non-zero two-sided ideals (equivalently, no proper non-trivial quotient rings). For commutative rings, this definition coincides with that of a field.
- Without ornamentation; plain.
- (mathematics, real analysis, measure theory, of a real-valued function) Equal to a finite linear combination of indicator functions on measurable sets.
- (group theory, of a group) Being non-trivial, and having no proper non-trivial normal subgroups (equivalently, no proper non-trivial quotient groups).
- Undistinguished in social condition; of no special rank.
- (category theory, of an object in a category with a terminal object) Being non-isomorphic to the terminal object, and such that its only quotient objects (up to isomorphism) are the terminal object and itself.
- (chemistry, pharmacology) Consisting of one single substance; uncompounded.
- Using steam only once in its cylinders, in contrast to a compound engine, where steam is used more than once in high-pressure and low-pressure cylinders. (of a steam engine)
- (universal algebra, of an algebraic structure) Containing more than one element, and such that the only congruences on the structure are the diagonal relation (the equivalence relation a≡b⟺a=b) and the universal relation (the equivalence relation such that a≡b for all a,b). Equivalently, containing more than one element and having no proper non-trivial quotient algebras.
- exhibiting childlike simplicity and credulity
- (botany) of leaf shapes; of leaves having no divisions or subdivisions
- having few parts; not complex or complicated or involved
- apart from anything else; without additions or modifications
- easy and not involved or complicated
- lacking mental capacity and subtlety
- unornamented
noun
- (logic) a declaration of something self-evident; something that can be assumed as the basis for argument
- a formal message requesting something that is submitted to an authority
- The act of postulating or something postulated.
- (logic) Something self-evident that can be assumed as the basis of an argument.
noun
- (logic) An argument whose conclusion is supported by two premises, of which one contains the term that is the predicate of the conclusion, and the other contains the term that is the subject of the conclusion; common to both premises is a term that is excluded from the conclusion.
- deductive reasoning in which a conclusion is derived from two premises
noun
adj
noun
- (logic) The negation in logic.
- Refusal to believe that a problem exists.
- (psychology) A defense mechanism involving a refusal to accept the truth of a phenomenon or prospect.
- An assertion of untruth.
- A refusal or failure to provide or grant something that is requested or desired.
- A disownment or disavowal
- Refusal to admit responsibility for wrongdoing.
- Negationism, denialism of historical facts or accepted interpretation.
- the act of asserting that something alleged is not true
- a defendant's answer or plea denying the truth of the charges against them
- (psychiatry) a defense mechanism that denies painful thoughts
- the act of refusing to comply (as with a request)
- renunciation of your own interests in favor of the interests of others
noun
- (logic) A syllogism or form of argument in which the major premise is evident, but the minor is only probable.
- (anatomy) The act of abducing or abducting; a drawing apart; the movement which separates a limb or other part from the axis, or middle line, of the body.
- (ufology) Alien abduction.
- Leading away; a carrying away.
- (law) The wrongful, and usually forcible, carrying off of a human being.
- the criminal act of capturing and carrying away by force a family member; if a man's wife is abducted it is a crime against the family relationship and against the wife
- (physiology) moving of a body part away from the central axis of the body
noun
- (logic) A propositional variable, or the negation of a propositional variable. ᵂᵖ
- (epigraphy, typography) A misprint (or occasionally a scribal error) that affects a letter.
- (programming) A value, as opposed to an identifier, written into the source code of a computer program.
- Misspelling of littoral.
- a mistake in printed matter resulting from mechanical failures of some kind
adj
- (theology, specifically) Following the historical-grammatical method of biblical interpretation.
- (proscribed) Used nonliterally as an intensifier. See literally for usage notes.
- Actual, real, physical.
- Exactly as stated; read or understood without interpretation; according to the letter; not figurative or metaphorical; following the letter or exact words; not taking liberties; etymonic rather than idiomatic.
- (uncommon) Consisting of, or expressed by, letters (of an alphabet); using literation.
- (loosely) That which generally assumes that the plainest reading of a given text is correct but which allows for metaphor where context indicates it.
- (of a person) Unimaginative; matter-of-fact; literal-minded.
- Misspelling of littoral.
- being or reflecting the essential or genuine character of something
- avoiding embellishment or exaggeration (used for emphasis)
- without interpretation or embellishment
- limited to the explicit meaning of a word or text
verb
- conclude by reasoning; in logic
- believe to be the case
- guess correctly; solve by guessing
- draw from specific cases for more general cases
- reason by deduction; establish by deduction
- (transitive) To introduce (something) as a reasoned conclusion; to conclude by reasoning or deduction, as from premises or evidence.
- (transitive, often proscribed) To lead to (something) as a consequence; to imply.
verb
adj
noun
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- a system of reasoning
- the branch of philosophy that analyzes inference
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
adj
- (logic) Of, or relating to the modality between propositions.
- Of, or relating to a mode or modus.
- (graphical user interface) Requiring immediate user interaction and thus presented so that it cannot be closed or interacted behind until a decision is made.
- (music) Of, relating to, or composed in the musical modi by which an octave is divided, associated with emotional moods in Ancient — and in medieval ecclesiastical — music.
- (computing) Having separate modes in which user input has different effects.
- (metaphysics) Relating to the form of a thing rather to any of its attributes.
- (of music, by extension) In a mode which is not major or minor scale, the standard modes used in the Western musical tradition.
- (statistics) Relating to the statistical mode.
- (grammar) Of, relating to, or describing the mood of a clause.
- relating to or constituting the most frequent value in a distribution
- relating to or expressing the mood of a verb
- of or relating to a musical mode; especially written in an ecclesiastical mode
noun
- (logic) A modal proposition.
- (fabric) A semi-synthetic fabric, a very soft kind of rayon textile made from beech tree pulp and processed with chemicals.
- (grammar) A modal verb.
- (graphical user interface) A modal window, one that cannot be closed until a decision is made.
- (linguistics) A modal form, notably a modal auxiliary.
- an auxiliary verb (such as ‘can’ or ‘will’) that is used to express modality
adj
- (logic, of a proposition) Lacking logical operators; unable to be made simpler in logical form.
- Unable to be split or made any smaller.
- Employing or relating to nuclear energy or processes.
- (programming, of a commit in a VCS) Containing a single change, as opposed to involving numerous unrelated changes.
- (computing, of an operation) Guaranteed to complete either fully or not at all while waiting in a pause, and running synchronously when called by multiple asynchronous threads.
- (order theory, of a partially ordered set with a least element 0) Such that for every element b>0 there exists an atom a such that b≥a>0.
- Infinitesimally small.
- (colloquial, by extension) Very strong and overpowering.
- (physics, chemistry) Of or relating to atoms; composed of atoms; monatomic.
- (weapons) deriving destructive energy from the release of atomic energy
- of or relating to or comprising atoms
- immeasurably small
noun
adj
noun
- (logic) A subaltern proposition; a proposition implied by a universal proposition.
- A subordinate.
- (British, military) A commissioned officer having a rank below that of captain; a lieutenant or second lieutenant.
- (social sciences, literary theory) A member of a group that is socially, politically and geographically outside of the hegemonic power structure of the colony and of the colonial homeland.
- a British commissioned army officer below the rank of captain
adj
- (logic) Concerning logic whose subject matter concerns such states.
- (mathematics, programming, computer engineering) Of an operation, function, procedure, or logic gate, taking exactly two operands, arguments, parameters, or inputs; having domain of dimension 2.
- (arithmetic, computing) Concerning numbers and calculations using the binary number system.
- (biology, sociology) Having or pertaining to a gender identity represented by the gender binary; either male or female.
- Having two equally important parts; related to something with two parts.
- (comparable) Focusing on two mutually exclusive conditions.
- (computing) Of data, consisting coded values (e.g. machine code) not interpretable as plain or ASCII text (e.g. source code).
- Being in one of two mutually exclusive states.
- of or pertaining to a number system have 2 as its base
- consisting of two (units or components or elements or terms)
noun
- (astronomy) Synonym of binary star.
- (astronomy) Synonym of binary asteroid.
- (astronomy) Synonym of binary planet.
- A state in which only two values are possible, in which something must have one value or the other.
- (computing) Synonym of binary file.
- (mathematics, computing, uncountable) The bijective base-2 numeral system, which uses only the digits 0 and 1.
- (finance) Synonym of binary option.
- a system of two stars that revolve around each other under their mutual gravitation
- a pre-compiled, pre-linked program that is ready to run under a given operating system; a binary for one operating system will not run on a different operating system
adj
- (logic) Of a set of statements: such that no contradiction logically follows from them.
- Compatible, accordant.
- Of a regularly occurring, dependable nature.
- the same throughout in structure or composition
- marked by an orderly, logical, and aesthetically consistent relation of parts
- (sometimes followed by ‘with’) in agreement or consistent or reliable
- capable of being reproduced
noun
noun
adj
- (logic) Of or relating to logical conjunction.
- (grammar, of a verb) Subjunctive: inflected to indicate that an act or state of being is possible, contingent or hypothetical, and not a fact.
- (astrology, astronomy) Relating to a conjunction (appearance in the sky of two astronomical objects with the same right ascension or the same ecliptic longitude).
- Connected: being joined, united, connected.
- (grammar) Relating to a conjunction (part of speech).
- (grammar) Relating to the conjunctive mood.
- Connective: tending to join, unite, connect.
- (grammar) Of a personal pronoun, used only in immediate conjunction with the verb of which the pronoun is the subject, such as French je or Irish sé
- serving or tending to connect
- involving the joint activity of two or more