Artikel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
Proofs and mistakes: Their syntactics, semantics, and pragmatics
-
Solomon Marcus,
Veröffentlicht/Copyright:
18. Februar 2012
Abstract
We point out the syntactic, semantic, and pragmatic levels of proofs and of mistakes in mathematics and the increasing difficulties in checking the correctness of a proof. We analyze the role of mistakes in mathematical creativity and we point out the frequency of mistakes (malign or benign) in works opening new ways in science. Significant examples are provided.
Keywords:: proof; mistake; error; syntactic; semantic; pragmatic; creativity; correctness; pioneering works
Published Online: 2012-02-18
Published in Print: 2012-February
© 2012 Walter de Gruyter GmbH & Co. KG, Berlin/Boston
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Artikel in diesem Heft
- Prelims
- Semiotics and logic: Pragmatization of the common ground
- Meaning between sense and reference: Impacts of semiotics on philosophy of science
- Where does logic meet semiotics?
- The correspondence theory of truth
- The intent to lie
- Reasoning in belief contexts
- Pragmatic constraints of meaning: An inferentialist approach
- On common knowledge in conversation
- Proofs and mistakes: Their syntactics, semantics, and pragmatics
- Object realism versus mathematical structuralism
- Indeterministic tense operators and the concept of time as a substance
- Counterfactual semantics and quantum physics
- The ultimate strengthening of the Turing Test?
- Is computation based on interpretation?
- The troubles with ontological primacy
- Some remarks on the word “be” and other existential expressions
- The evolution of scientific languages in Ajdukiewicz and Kuhn
- The core of grammar
- The grammar of philosophical discourse
- Semantic bounds for everyday language
- Demonstrative descriptions and conventional implicatures
- Does the Twin-Earth argument rest on a fallacy of equivocation?
Schlagwörter für diesen Artikel
proof;
mistake;
error;
syntactic;
semantic;
pragmatic;
creativity;
correctness;
pioneering works
Artikel in diesem Heft
- Prelims
- Semiotics and logic: Pragmatization of the common ground
- Meaning between sense and reference: Impacts of semiotics on philosophy of science
- Where does logic meet semiotics?
- The correspondence theory of truth
- The intent to lie
- Reasoning in belief contexts
- Pragmatic constraints of meaning: An inferentialist approach
- On common knowledge in conversation
- Proofs and mistakes: Their syntactics, semantics, and pragmatics
- Object realism versus mathematical structuralism
- Indeterministic tense operators and the concept of time as a substance
- Counterfactual semantics and quantum physics
- The ultimate strengthening of the Turing Test?
- Is computation based on interpretation?
- The troubles with ontological primacy
- Some remarks on the word “be” and other existential expressions
- The evolution of scientific languages in Ajdukiewicz and Kuhn
- The core of grammar
- The grammar of philosophical discourse
- Semantic bounds for everyday language
- Demonstrative descriptions and conventional implicatures
- Does the Twin-Earth argument rest on a fallacy of equivocation?
