What is the verb that describes the process of forming an interpretation?
Clash Royale CLAN TAG#URR8PPP
up vote
2
down vote
favorite
"Formal Semantics", "The Semantics of Logic" and "Model-Theoretic Semantics" are names for the process of forming interpretations, but I am looking for a verb that describes what I am doing when I study a set of sentences and form an interpretation that holds for those sentences.
e.g. If someone is 'running', it is easy to form a conception of what that person is doing. So what I am after is a verb that describes the process of applying Model-Theoretic Semantics to form an interpretation.
e.g. I do not want to say "I am Model-Theoretic Semanticing", and I do not want to say, in a long-winded way, "I am applying Model-Theoretic Semantics to formulate an interpretation". I am looking for a simpler verb, like 'interpretation-forming' for example.
I would appreciate it if anyone knows of such a verb, and I would like to also posit that if no such verb exists, then where over 100 years has past since Principia Mathematica was released, it is probably about time that logic has such a word.
Many thanks in advance.
logic
asked Aug 16 at 2:59
Viev
111
add a comment |Â
up vote
2
down vote
favorite
"Formal Semantics", "The Semantics of Logic" and "Model-Theoretic Semantics" are names for the process of forming interpretations, but I am looking for a verb that describes what I am doing when I study a set of sentences and form an interpretation that holds for those sentences.
e.g. If someone is 'running', it is easy to form a conception of what that person is doing. So what I am after is a verb that describes the process of applying Model-Theoretic Semantics to form an interpretation.
e.g. I do not want to say "I am Model-Theoretic Semanticing", and I do not want to say, in a long-winded way, "I am applying Model-Theoretic Semantics to formulate an interpretation". I am looking for a simpler verb, like 'interpretation-forming' for example.
I would appreciate it if anyone knows of such a verb, and I would like to also posit that if no such verb exists, then where over 100 years has past since Principia Mathematica was released, it is probably about time that logic has such a word.
Many thanks in advance.
logic
asked Aug 16 at 2:59
Viev
111
3
Ummm.... "interpreting"?
– David G. Stork
Aug 16 at 3:14
Maybe 'observing'?
– Dean Yang
Aug 16 at 3:19
Whatever you say. I'd avoid the use of the word "semantics", as it has been over-used (at least in computer science) to the point where it has more or less lost all meaning (which is quite surprising as it means "meaning"!).
– Rob Arthan
Aug 16 at 9:12
Hi Dean, I like your approach..."observing an interpretation". For instance if I have a set of sentences of which could either apply to a FOL under finite model theory or operate over an infinite model, then when I "observe" the later, that's the interpretation I acknowledge/form-in-my-mind/choose. I'll go with that nomenclature for now. Thank you, much appreciated.
– Viev
Aug 17 at 0:47
add a comment |Â
up vote
2
down vote
favorite
up vote
2
down vote
favorite
"Formal Semantics", "The Semantics of Logic" and "Model-Theoretic Semantics" are names for the process of forming interpretations, but I am looking for a verb that describes what I am doing when I study a set of sentences and form an interpretation that holds for those sentences.
e.g. If someone is 'running', it is easy to form a conception of what that person is doing. So what I am after is a verb that describes the process of applying Model-Theoretic Semantics to form an interpretation.
e.g. I do not want to say "I am Model-Theoretic Semanticing", and I do not want to say, in a long-winded way, "I am applying Model-Theoretic Semantics to formulate an interpretation". I am looking for a simpler verb, like 'interpretation-forming' for example.
I would appreciate it if anyone knows of such a verb, and I would like to also posit that if no such verb exists, then where over 100 years has past since Principia Mathematica was released, it is probably about time that logic has such a word.
Many thanks in advance.
logic
asked Aug 16 at 2:59
Viev
111
"Formal Semantics", "The Semantics of Logic" and "Model-Theoretic Semantics" are names for the process of forming interpretations, but I am looking for a verb that describes what I am doing when I study a set of sentences and form an interpretation that holds for those sentences.
e.g. If someone is 'running', it is easy to form a conception of what that person is doing. So what I am after is a verb that describes the process of applying Model-Theoretic Semantics to form an interpretation.
e.g. I do not want to say "I am Model-Theoretic Semanticing", and I do not want to say, in a long-winded way, "I am applying Model-Theoretic Semantics to formulate an interpretation". I am looking for a simpler verb, like 'interpretation-forming' for example.
I would appreciate it if anyone knows of such a verb, and I would like to also posit that if no such verb exists, then where over 100 years has past since Principia Mathematica was released, it is probably about time that logic has such a word.
Many thanks in advance.
logic
asked Aug 16 at 2:59
Viev
111
asked Aug 16 at 2:59
Viev
111
asked Aug 16 at 2:59
Viev
111
asked Aug 16 at 2:59
Viev
111
111
3
Ummm.... "interpreting"?
– David G. Stork
Aug 16 at 3:14
Maybe 'observing'?
– Dean Yang
Aug 16 at 3:19
Whatever you say. I'd avoid the use of the word "semantics", as it has been over-used (at least in computer science) to the point where it has more or less lost all meaning (which is quite surprising as it means "meaning"!).
– Rob Arthan
Aug 16 at 9:12
Hi Dean, I like your approach..."observing an interpretation". For instance if I have a set of sentences of which could either apply to a FOL under finite model theory or operate over an infinite model, then when I "observe" the later, that's the interpretation I acknowledge/form-in-my-mind/choose. I'll go with that nomenclature for now. Thank you, much appreciated.
– Viev
Aug 17 at 0:47
add a comment |Â
3
Ummm.... "interpreting"?
– David G. Stork
Aug 16 at 3:14
Maybe 'observing'?
– Dean Yang
Aug 16 at 3:19
Whatever you say. I'd avoid the use of the word "semantics", as it has been over-used (at least in computer science) to the point where it has more or less lost all meaning (which is quite surprising as it means "meaning"!).
– Rob Arthan
Aug 16 at 9:12
Hi Dean, I like your approach..."observing an interpretation". For instance if I have a set of sentences of which could either apply to a FOL under finite model theory or operate over an infinite model, then when I "observe" the later, that's the interpretation I acknowledge/form-in-my-mind/choose. I'll go with that nomenclature for now. Thank you, much appreciated.
– Viev
Aug 17 at 0:47
3
3
Ummm.... "interpreting"?
– David G. Stork
Aug 16 at 3:14
Ummm.... "interpreting"?
– David G. Stork
Aug 16 at 3:14
Maybe 'observing'?
– Dean Yang
Aug 16 at 3:19
Maybe 'observing'?
– Dean Yang
Aug 16 at 3:19
Whatever you say. I'd avoid the use of the word "semantics", as it has been over-used (at least in computer science) to the point where it has more or less lost all meaning (which is quite surprising as it means "meaning"!).
– Rob Arthan
Aug 16 at 9:12
Whatever you say. I'd avoid the use of the word "semantics", as it has been over-used (at least in computer science) to the point where it has more or less lost all meaning (which is quite surprising as it means "meaning"!).
– Rob Arthan
Aug 16 at 9:12
Hi Dean, I like your approach..."observing an interpretation". For instance if I have a set of sentences of which could either apply to a FOL under finite model theory or operate over an infinite model, then when I "observe" the later, that's the interpretation I acknowledge/form-in-my-mind/choose. I'll go with that nomenclature for now. Thank you, much appreciated.
– Viev
Aug 17 at 0:47
Hi Dean, I like your approach..."observing an interpretation". For instance if I have a set of sentences of which could either apply to a FOL under finite model theory or operate over an infinite model, then when I "observe" the later, that's the interpretation I acknowledge/form-in-my-mind/choose. I'll go with that nomenclature for now. Thank you, much appreciated.
– Viev
Aug 17 at 0:47
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2884343%2fwhat-is-the-verb-that-describes-the-process-of-forming-an-interpretation%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
3
Ummm.... "interpreting"?
– David G. Stork
Aug 16 at 3:14
Maybe 'observing'?
– Dean Yang
Aug 16 at 3:19
Whatever you say. I'd avoid the use of the word "semantics", as it has been over-used (at least in computer science) to the point where it has more or less lost all meaning (which is quite surprising as it means "meaning"!).
– Rob Arthan
Aug 16 at 9:12
Hi Dean, I like your approach..."observing an interpretation". For instance if I have a set of sentences of which could either apply to a FOL under finite model theory or operate over an infinite model, then when I "observe" the later, that's the interpretation I acknowledge/form-in-my-mind/choose. I'll go with that nomenclature for now. Thank you, much appreciated.
– Viev
Aug 17 at 0:47