Lexicon of Arguments

 

I 124
Subjunction/Wessel .: ">": statement-forming operator, refers to states of affairs.
>Operators, >States of affairs.
Inference (= implication)/Wessel: 2-digit predicate, relates to linguistic structures.
((s) in "p>q" we do not conclude anything, but take note that a claim exists.
Consequence relationship/Wessel: = implication (no operator but predicate).
>paradoxes because content can be contradictory, even if the form is valid.
Conditional: (E.g. scientific statement) would be false for the same reason (because the content does not form a connection).
I 175
Formal implication/Russell/Principia Mathematica⁽¹⁾/Wessel: "P (x)> x Q(x)": "for all x applies" corresponding "> a1a2a3..an" - binary quantifiers.
>Quantifiers, >Quantification.
I 297
Conditional/Wessel: subjunction follows from conditional statement - ((s) but not vice versa.)
>Conditional.

1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press.