The phrase "a given premises" is not correct in English.
The correct form should be "a given premise" since "premises" is plural. You can use the corrected phrase when referring to a specific assumption or statement that is accepted as true for the purpose of argument or discussion.
Example: "In this argument, we will start with a given premise that all humans are mortal."
Alternatives: "an assumed premise" or "a specified premise."
Weakening, expansion and contraction rules are rejected, for they say respectively that a redundant premise can be added in a derivation, that a given premise can always be used twice, and that two distinct tokens of the same premise type can be considered the same.
Another benefit is that by specifying models with respect to which the axioms and rules of the system are demonstrably complete, we provide a mechanism for producing counter-examples (counter-models), as well as another method, besides e.g. an axiomatic proof procedure, for seeing what conclusions we might be able to draw from a given premise set.
Knowing the truth or falsity of any given premises or conclusions does not enable one to determine the validity of an inference.
The decidability result provides an algorithm which when applied to a (finite) sequence of sentences decides in finitely many steps whether the sequence is a valid proof of its last member or is a valid deduction of a given conclusion from given premises.
An argument infers from given premises to a given conclusion; a different argument, with a different force, moves from some other (additional) premises to that conclusion.
(2) Explanatory fallaciousness is when a specified conclusion follows with no more certainty from the given premises than does a rival conclusion; it occurs most often in the context of proposing explanatory hypotheses.
Realize that at least two given premises make up a good logical argument, that can lead to one and only one conclusion.
Haidt's "reasoning" corresponds to what Plato calls dianoia, the process of logically deriving conclusions from given premises.
Syllogistic, in logic, the formal analysis of logical terms and operators and the structures that make it possible to infer true conclusions from given premises.
(4) Positive fallaciousness occurs when the given premises, complemented by other propositions taken as true, are shown to support a conclusion inconsistent with the given conclusion.
