Philosophy Dictionary of Arguments

Home Screenshot Tabelle Begriffe

 
Author Item Summary Meta data
I 71
Def Inference/Mates: exists when the associated subjunction (Ante/Suc) is valid.
I 84
Def Inference/Mates: is a statement j of a set G of statements, iff there is no interpretation where all statements of G are true and j is false.
Def Consistent: is a set G of statements if there is an interpretation where no statements of G are true. (Here, consistency = satisfiable) - Def satisfiability: a set G of statements is satisfiable if there is an interpretation in which all statements of G are true (= consistent).
Problem: this does not enable us to decide whether a statement is valid, which is an inference, or what a consistent set is.


_____________
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.
The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
Skeptical Essays Chicago 1981


Send Link
> Counter arguments against Mates
> Counter arguments in relation to Conditional ...

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   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  



Ed. Martin Schulz, access date 2020-09-28
Legal Notice   Contact   Data protection declaration