Talk:Rule of inference
Simplifying[change source]
Hi @Eptalon:, this page is pretty difficult to read. I edited it a bit, but there are still some difficult concepts, mainly:
- Semantics / semantic property
- Syntactic
- Effective procedure
Do you have any ideas? Thanks! Lights and freedom (talk) 00:02, 5 February 2023 (UTC)
- Have you seen en:Effective method? - If I simplify a little, we are looking at an algorithm, but with the two restrictions:
- For a given class of problems, it always procudes a correct result, after a finite number of steps.
- Talking about theoretical computer science: it is decidable.
- We do have an article Semantics..
- Eptalon (talk) 00:38, 5 February 2023 (UTC)
- Maybe this can be explained on this page, to make it easier to understand? I think the difference between syntactic and semantic, is that syntactic properties only apply to the statements themselves, while semantic properties apply to the real world. So if I said "Dolphins have fins, and all animals with fins are fish, so dolphins are fish." that would be syntactically correct but semantically incorrect. However, I may be wrong about this. Lights and freedom (talk) 00:48, 5 February 2023 (UTC)
- Semantics is concerned with meaning. Syntax is concerned with correctness (at a very low level). I is easy to find a syntactically correct sentence that is devoid of meaning. And what you just gave is a faulty argument, I think its one of the 20 or so common fallacies.. Eptalon (talk) 01:13, 5 February 2023 (UTC)
- Maybe this can be explained on this page, to make it easier to understand? I think the difference between syntactic and semantic, is that syntactic properties only apply to the statements themselves, while semantic properties apply to the real world. So if I said "Dolphins have fins, and all animals with fins are fish, so dolphins are fish." that would be syntactically correct but semantically incorrect. However, I may be wrong about this. Lights and freedom (talk) 00:48, 5 February 2023 (UTC)