9,625 reputation
224103
bio website
location
age
visits member for 3 years, 11 months
seen 10 mins ago

Just a layman and slow learner. Thank you for your enlightenment and patience, and for giving me the best memory in my life.


1d
asked Do automatons and formal grammars belong to formal systems
2d
asked statements, propositions, formulas, and wffs
Jul
21
revised Relations and functions with valence 0
added 62 characters in body
Jul
21
comment Are variables logical or non-logical symbols in a logic system?
The link says "The non-logical symbols of a language of first-order logic consist of predicates and individual constants. These include symbols that, in an interpretation, may stand for individual constants, variables, functions, or predicates. A language of first-order logic is a formal language over the alphabet consisting of its non-logical symbols and its logical symbols. The latter include logical connectives, quantifiers, and variables that stand for statements."
Jul
21
comment Are variables logical or non-logical symbols in a logic system?
thanks. (1) I mixed up variables for the arguments to quantifies, and variables representing propositions. (2) the former is non-logical, while the latter is logical symbols, according to en.wikipedia.org/wiki/Non-logical_symbols
Jul
21
asked Relations and functions with valence 0
Jul
21
accepted Are variables logical or non-logical symbols in a logic system?
Jul
21
asked Can True and False be represented without quantifies?
Jul
21
revised Are variables logical or non-logical symbols in a logic system?
added 75 characters in body
Jul
21
comment Are variables logical or non-logical symbols in a logic system?
I understand constants are 0-ary logical operation symbols. But why are variables logical symbols?
Jul
21
asked Are variables logical or non-logical symbols in a logic system?
Jul
21
comment What does “calculus” mean?
@Arkamis: you mean "plaque"?
Jul
21
revised What does “calculus” mean?
deleted 9 characters in body
Jul
21
asked What does “calculus” mean?
Jul
20
comment Is the structure with sets and the ZFC axioms a model of the first order logic?
Is it itself a model of something, or is it something else?
Jul
20
asked Is the structure with sets and the ZFC axioms a model of the first order logic?
Jul
20
awarded  Cleanup
Jul
20
revised theory, theorems and axioms
rolled back to a previous revision
Jul
20
comment theory, theorems and axioms
(1) "taking the theorems as axioms" or "taking the theory as axioms" (2) Is the set of axioms always recursive?
Jul
20
comment theory, theorems and axioms
@ThomasAndrews: My bad. the first question is: is the theory the set of axioms or the set of theorems?