Economics Dictionary of Arguments

Home Screenshot Tabelle Begriffe

 
Conditional: A conditional in logic is a statement that asserts a relationship between two propositions, typically in an "if-then" format. It states that if the antecedent is true, then the consequent must also be true. In contrast to (purely formal) implication, the conditional refers to the content of the propositions. See also Implication.
_____________
Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.

 
Author Concept Summary/Quotes Sources

Alfred Tarski on Conditional - Dictionary of Arguments

Berka I 405f
Conclusion/Entailment/Formal/Everyday Language/Tarski: the formal conclusion does not coincide with the everyday language one.
E.g.
A0: 0 has the given property P
A1: 1 has the given property P, etc.
An: n has the given property P -
with normal rules of inference it is impossible to prove the following proposition with this:
A: Every natural number has the given property P - Solution: new rule of inference: infinite induction.
Problem: infiniteness.
Solution: provability rather than actual evidence.
>Provability
, >Proofs.
Berka I 407
Inference/Entailment/Gödel: Problem: statements can be constructed that follow in the usual sense from the sentences of a theory, but which cannot be proven with the rules of inference.
Berka I 409
Def Logical Conclusion/Tarski: the statement X logically follows from the statements of the class K iff. each model of class K is at the same time a model of the statement X.
I 410
Def of the logical conclusion has to do with the division into logical and extra-logical concepts - which is arbitrary.(1)
Cf. >Extensional language, >Extensions, >Extensionality, >Formalization, >Everyday language.


1. A.Tarski, „Über den Begriff der logischen Folgerung“, in: Actes du Congrès International de Philosophie Scientifique, Paris 1935, Bd. VII, ASI 394, Paris 1936, pp 1-11

_____________
Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments
The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.

Tarski I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Berka I
Karel Berka
Lothar Kreiser
Logik Texte Berlin 1983


Send Link

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z