Identifying syntax and semantic parts [closed]
up vote
-3
down vote
favorite
Let us take a universally known statement:
2+2=4
Syntax refers to symbols, so we are probably talking about stuff like '2', '+', '=', '4'. We can classify them. Syntax is probably also about arrangements, so we can not write =4++2 or 4++=2 or some random arrangement. Based on classification, we write rules about their relative placement. So this is about indicating how should a statement flow to make some sense. WHAT else does syntax cover?
Semantics is about meaning. So this means we need to assign some meaning to these things. What things? Do I need to define '+' here or syntax did it? I think that the syntax only defined how/where to place the operator, meaning of '+' wasn't covered. How do I define what 2 is?
- So how is syntax defined? Does the process has some rule? Do we make assumptions?
- How to we add semantics to a mathematical statement which is syntactically correct?
logic philosophy
asked Nov 22 at 21:11
Ajax
906
closed as off-topic by Jean-Claude Arbaut, José Carlos Santos, amWhy, Xander Henderson, Holo Nov 22 at 21:19
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Jean-Claude Arbaut, José Carlos Santos, amWhy, Xander Henderson, Holo
If this question can be reworded to fit the rules in the help center, please edit the question.
|
show 1 more comment
up vote
-3
down vote
favorite
Let us take a universally known statement:
2+2=4
Syntax refers to symbols, so we are probably talking about stuff like '2', '+', '=', '4'. We can classify them. Syntax is probably also about arrangements, so we can not write =4++2 or 4++=2 or some random arrangement. Based on classification, we write rules about their relative placement. So this is about indicating how should a statement flow to make some sense. WHAT else does syntax cover?
Semantics is about meaning. So this means we need to assign some meaning to these things. What things? Do I need to define '+' here or syntax did it? I think that the syntax only defined how/where to place the operator, meaning of '+' wasn't covered. How do I define what 2 is?
- So how is syntax defined? Does the process has some rule? Do we make assumptions?
- How to we add semantics to a mathematical statement which is syntactically correct?
logic philosophy
asked Nov 22 at 21:11
Ajax
906
closed as off-topic by Jean-Claude Arbaut, José Carlos Santos, amWhy, Xander Henderson, Holo Nov 22 at 21:19
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Jean-Claude Arbaut, José Carlos Santos, amWhy, Xander Henderson, Holo
If this question can be reworded to fit the rules in the help center, please edit the question.
4
You could write a book trying to answer this question in detail; if you really want to know, try learning a bit about first-order logic and set theory.
– Qiaochu Yuan
Nov 22 at 21:22
"$2+2=4$" is a string of symbols. If we read it as an arithmetical formula, it written according to the rule of the syntax of the language for arithmetic. The string "$2++=4$" is not an arithemtical formula because it violates the rules of the syntax.
– Mauro ALLEGRANZA
Nov 23 at 7:06
The formula of the language of arithemtic are about numbers ; the symbols "2" denotes the number two and the symbol "+" denotes the operation of addition between numbers.
– Mauro ALLEGRANZA
Nov 23 at 7:07
See also the post : Concrete functions in logic.
– Mauro ALLEGRANZA
Nov 25 at 13:11
If I am talking about arithmetic, A=B & B=C implies A=C holds true. In fact, it seems to hold true universally (to me atleast). So is it built into definition of syntax or we add it explicitly? If we add it explicitly, where does that come from? Are there cases where we can not assume that relation? Where does logic come into picture? Can you elaborate it with an example?
– Ajax
Nov 25 at 14:18
|
show 1 more comment
up vote
-3
down vote
favorite
up vote
-3
down vote
favorite
Let us take a universally known statement:
2+2=4
Syntax refers to symbols, so we are probably talking about stuff like '2', '+', '=', '4'. We can classify them. Syntax is probably also about arrangements, so we can not write =4++2 or 4++=2 or some random arrangement. Based on classification, we write rules about their relative placement. So this is about indicating how should a statement flow to make some sense. WHAT else does syntax cover?
Semantics is about meaning. So this means we need to assign some meaning to these things. What things? Do I need to define '+' here or syntax did it? I think that the syntax only defined how/where to place the operator, meaning of '+' wasn't covered. How do I define what 2 is?
- So how is syntax defined? Does the process has some rule? Do we make assumptions?
- How to we add semantics to a mathematical statement which is syntactically correct?
logic philosophy
asked Nov 22 at 21:11
Ajax
906
Let us take a universally known statement:
2+2=4
Syntax refers to symbols, so we are probably talking about stuff like '2', '+', '=', '4'. We can classify them. Syntax is probably also about arrangements, so we can not write =4++2 or 4++=2 or some random arrangement. Based on classification, we write rules about their relative placement. So this is about indicating how should a statement flow to make some sense. WHAT else does syntax cover?
Semantics is about meaning. So this means we need to assign some meaning to these things. What things? Do I need to define '+' here or syntax did it? I think that the syntax only defined how/where to place the operator, meaning of '+' wasn't covered. How do I define what 2 is?
- So how is syntax defined? Does the process has some rule? Do we make assumptions?
- How to we add semantics to a mathematical statement which is syntactically correct?
logic philosophy
logic philosophy
asked Nov 22 at 21:11
Ajax
906
asked Nov 22 at 21:11
Ajax
906
edited Nov 22 at 21:38
asked Nov 22 at 21:11
Ajax
906
asked Nov 22 at 21:11
Ajax
906
asked Nov 22 at 21:11
Ajax
906
906
closed as off-topic by Jean-Claude Arbaut, José Carlos Santos, amWhy, Xander Henderson, Holo Nov 22 at 21:19
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Jean-Claude Arbaut, José Carlos Santos, amWhy, Xander Henderson, Holo
If this question can be reworded to fit the rules in the help center, please edit the question.
closed as off-topic by Jean-Claude Arbaut, José Carlos Santos, amWhy, Xander Henderson, Holo Nov 22 at 21:19
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Jean-Claude Arbaut, José Carlos Santos, amWhy, Xander Henderson, Holo
If this question can be reworded to fit the rules in the help center, please edit the question.
4
You could write a book trying to answer this question in detail; if you really want to know, try learning a bit about first-order logic and set theory.
– Qiaochu Yuan
Nov 22 at 21:22
"$2+2=4$" is a string of symbols. If we read it as an arithmetical formula, it written according to the rule of the syntax of the language for arithmetic. The string "$2++=4$" is not an arithemtical formula because it violates the rules of the syntax.
– Mauro ALLEGRANZA
Nov 23 at 7:06
The formula of the language of arithemtic are about numbers ; the symbols "2" denotes the number two and the symbol "+" denotes the operation of addition between numbers.
– Mauro ALLEGRANZA
Nov 23 at 7:07
See also the post : Concrete functions in logic.
– Mauro ALLEGRANZA
Nov 25 at 13:11
If I am talking about arithmetic, A=B & B=C implies A=C holds true. In fact, it seems to hold true universally (to me atleast). So is it built into definition of syntax or we add it explicitly? If we add it explicitly, where does that come from? Are there cases where we can not assume that relation? Where does logic come into picture? Can you elaborate it with an example?
– Ajax
Nov 25 at 14:18
|
show 1 more comment
4
You could write a book trying to answer this question in detail; if you really want to know, try learning a bit about first-order logic and set theory.
– Qiaochu Yuan
Nov 22 at 21:22
"$2+2=4$" is a string of symbols. If we read it as an arithmetical formula, it written according to the rule of the syntax of the language for arithmetic. The string "$2++=4$" is not an arithemtical formula because it violates the rules of the syntax.
– Mauro ALLEGRANZA
Nov 23 at 7:06
The formula of the language of arithemtic are about numbers ; the symbols "2" denotes the number two and the symbol "+" denotes the operation of addition between numbers.
– Mauro ALLEGRANZA
Nov 23 at 7:07
See also the post : Concrete functions in logic.
– Mauro ALLEGRANZA
Nov 25 at 13:11
If I am talking about arithmetic, A=B & B=C implies A=C holds true. In fact, it seems to hold true universally (to me atleast). So is it built into definition of syntax or we add it explicitly? If we add it explicitly, where does that come from? Are there cases where we can not assume that relation? Where does logic come into picture? Can you elaborate it with an example?
– Ajax
Nov 25 at 14:18
4
4
You could write a book trying to answer this question in detail; if you really want to know, try learning a bit about first-order logic and set theory.
– Qiaochu Yuan
Nov 22 at 21:22
You could write a book trying to answer this question in detail; if you really want to know, try learning a bit about first-order logic and set theory.
– Qiaochu Yuan
Nov 22 at 21:22
"$2+2=4$" is a string of symbols. If we read it as an arithmetical formula, it written according to the rule of the syntax of the language for arithmetic. The string "$2++=4$" is not an arithemtical formula because it violates the rules of the syntax.
– Mauro ALLEGRANZA
Nov 23 at 7:06
"$2+2=4$" is a string of symbols. If we read it as an arithmetical formula, it written according to the rule of the syntax of the language for arithmetic. The string "$2++=4$" is not an arithemtical formula because it violates the rules of the syntax.
– Mauro ALLEGRANZA
Nov 23 at 7:06
The formula of the language of arithemtic are about numbers ; the symbols "2" denotes the number two and the symbol "+" denotes the operation of addition between numbers.
– Mauro ALLEGRANZA
Nov 23 at 7:07
The formula of the language of arithemtic are about numbers ; the symbols "2" denotes the number two and the symbol "+" denotes the operation of addition between numbers.
– Mauro ALLEGRANZA
Nov 23 at 7:07
See also the post : Concrete functions in logic.
– Mauro ALLEGRANZA
Nov 25 at 13:11
See also the post : Concrete functions in logic.
– Mauro ALLEGRANZA
Nov 25 at 13:11
If I am talking about arithmetic, A=B & B=C implies A=C holds true. In fact, it seems to hold true universally (to me atleast). So is it built into definition of syntax or we add it explicitly? If we add it explicitly, where does that come from? Are there cases where we can not assume that relation? Where does logic come into picture? Can you elaborate it with an example?
– Ajax
Nov 25 at 14:18
If I am talking about arithmetic, A=B & B=C implies A=C holds true. In fact, it seems to hold true universally (to me atleast). So is it built into definition of syntax or we add it explicitly? If we add it explicitly, where does that come from? Are there cases where we can not assume that relation? Where does logic come into picture? Can you elaborate it with an example?
– Ajax
Nov 25 at 14:18
|
show 1 more comment
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
4
You could write a book trying to answer this question in detail; if you really want to know, try learning a bit about first-order logic and set theory.
– Qiaochu Yuan
Nov 22 at 21:22
"$2+2=4$" is a string of symbols. If we read it as an arithmetical formula, it written according to the rule of the syntax of the language for arithmetic. The string "$2++=4$" is not an arithemtical formula because it violates the rules of the syntax.
– Mauro ALLEGRANZA
Nov 23 at 7:06
The formula of the language of arithemtic are about numbers ; the symbols "2" denotes the number two and the symbol "+" denotes the operation of addition between numbers.
– Mauro ALLEGRANZA
Nov 23 at 7:07
See also the post : Concrete functions in logic.
– Mauro ALLEGRANZA
Nov 25 at 13:11
If I am talking about arithmetic, A=B & B=C implies A=C holds true. In fact, it seems to hold true universally (to me atleast). So is it built into definition of syntax or we add it explicitly? If we add it explicitly, where does that come from? Are there cases where we can not assume that relation? Where does logic come into picture? Can you elaborate it with an example?
– Ajax
Nov 25 at 14:18