Skip to main content
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Source Link

Can we have a tag? Or maybe: ,

The tag is intended for questions about formal logic, for instance propositional logic, first-order logic, proof theory, model theory, etc. However, we get questions which are really about a basic or elementary understanding of logic. For example:

I've looked through some things tagged and it seems for the most part it's being used in an acceptable manner. But it would be nice to have a tag for basic logical reasoning and logic puzzles.

(Some more examples that might benefit from this tag: 11, 22, 33.)

Can we have a tag? Or maybe: ,

The tag is intended for questions about formal logic, for instance propositional logic, first-order logic, proof theory, model theory, etc. However, we get questions which are really about a basic or elementary understanding of logic. For example:

  • Why do people lose at chess? is tagged logic presumably because it would be appropriate to tag it as about logical reasoning, but it has nothing to do with formal logic.

  • If the sum of four dice was 21, how many dice show 2? was closed for poor quality, but if it were open, it's hard to tag it appropriately. Currently it's tagged and , neither of which seem very appropriate. Really the question is most accurately described as an elementary logic puzzle, i.e. it is about basic logical deduction and logical reasoning.

I've looked through some things tagged and it seems for the most part it's being used in an acceptable manner. But it would be nice to have a tag for basic logical reasoning and logic puzzles.

(Some more examples that might benefit from this tag: 1, 2, 3.)

Can we have a tag? Or maybe: ,

The tag is intended for questions about formal logic, for instance propositional logic, first-order logic, proof theory, model theory, etc. However, we get questions which are really about a basic or elementary understanding of logic. For example:

  • Why do people lose at chess? is tagged logic presumably because it would be appropriate to tag it as about logical reasoning, but it has nothing to do with formal logic.

  • If the sum of four dice was 21, how many dice show 2? was closed for poor quality, but if it were open, it's hard to tag it appropriately. Currently it's tagged and , neither of which seem very appropriate. Really the question is most accurately described as an elementary logic puzzle, i.e. it is about basic logical deduction and logical reasoning.

I've looked through some things tagged and it seems for the most part it's being used in an acceptable manner. But it would be nice to have a tag for basic logical reasoning and logic puzzles.

(Some more examples that might benefit from this tag: 1, 2, 3.)

minoir fixes
Source Link
Caleb Stanford
  • 46.6k
  • 19
  • 46

Can we have a tag? Or maybe: ,

The tag is intended for questions about formal logic, for instance propositional logic, first-order logic, predicate logic, proof theory, model theory, etc. However, we get questions which are really about a basic or elementary understanding of logic. For example:

  • Why do people lose at chess? is tagged logic presumably because it would be appropriate to tag it as about logical reasoning, but it has nothing to do with formal logic.

  • If the sum of four dice was 21, how many dice show 2? was closed for poor quality, but if it were open, it's hard to tag it appropriately. Currently it's tagged and , neither of which seem very appropriate. Really the question is most accurately described as an elementary logic puzzle, i.e. it is about basic logical deduction and logical reasoning.

I've looked through some things tagged and it seems for the most part it's being used in an acceptibleacceptable manner. But it would be nice to have a tag for basic logical reasoning and logic puzzles.

(Some more examples that might benefit from this tag: 1, 2, 3.)

Can we have a tag? Or maybe: ,

The tag is intended for questions about formal logic, for instance first-order logic, predicate logic, proof theory, model theory, etc. However, we get questions which are really about a basic or elementary understanding of logic. For example:

  • Why do people lose at chess? is tagged logic presumably because it would be appropriate to tag it as about logical reasoning, but it has nothing to do with formal logic.

  • If the sum of four dice was 21, how many dice show 2? was closed for poor quality, but if it were open, it's hard to tag it appropriately. Currently it's tagged and , neither of which seem very appropriate. Really the question is most accurately described as an elementary logic puzzle, i.e. it is about basic logical deduction and logical reasoning.

I've looked through some things tagged and it seems for the most part it's being used in an acceptible manner. But it would be nice to have a tag for basic logical reasoning and logic puzzles.

(Some more examples that might benefit from this tag: 1, 2, 3.)

Can we have a tag? Or maybe: ,

The tag is intended for questions about formal logic, for instance propositional logic, first-order logic, proof theory, model theory, etc. However, we get questions which are really about a basic or elementary understanding of logic. For example:

  • Why do people lose at chess? is tagged logic presumably because it would be appropriate to tag it as about logical reasoning, but it has nothing to do with formal logic.

  • If the sum of four dice was 21, how many dice show 2? was closed for poor quality, but if it were open, it's hard to tag it appropriately. Currently it's tagged and , neither of which seem very appropriate. Really the question is most accurately described as an elementary logic puzzle, i.e. it is about basic logical deduction and logical reasoning.

I've looked through some things tagged and it seems for the most part it's being used in an acceptable manner. But it would be nice to have a tag for basic logical reasoning and logic puzzles.

(Some more examples that might benefit from this tag: 1, 2, 3.)

added 25 characters in body
Source Link
Caleb Stanford
  • 46.6k
  • 19
  • 46

Can we have ana tag? Or maybe: ,

The tag is intended for questions about formal logic, for instance first-order logic, predicate logic, proof theory, model theory, etc. However, we get questions which are really about a basic or elementary understanding of logic. For example:

  • Why do people lose at chess? is tagged logic presumably because it would be appropriate to tag it as about logical reasoning, but it has nothing to do with formal logic.

  • If the sum of four dice was 21, how many dice show 2? was closed for poor quality, but if it were open, it's hard to tag it appropriately. Currently it's tagged and , neither of which seem very appropriate. Really the question is most accurately described as an elementary logic puzzle, i.e. it is about basic logical deduction and logical reasoning.

I've looked through some things tagged and it seems for the most part it's being used in an acceptible manner. But it would be nice to have a tag for basic logical reasoning and logic puzzles.

(Some more examples that might benefit from this tag: 1, 2, 3.)

Can we have an tag? Or maybe:

The tag is intended for questions about formal logic, for instance first-order logic, predicate logic, proof theory, model theory, etc. However, we get questions which are really about a basic or elementary understanding of logic. For example:

  • Why do people lose at chess? is tagged logic presumably because it would be appropriate to tag it as about logical reasoning, but it has nothing to do with formal logic.

  • If the sum of four dice was 21, how many dice show 2? was closed for poor quality, but if it were open, it's hard to tag it appropriately. Currently it's tagged and , neither of which seem very appropriate. Really the question is most accurately described as an elementary logic puzzle, i.e. it is about basic logical deduction and logical reasoning.

I've looked through some things tagged and it seems for the most part it's being used in an acceptible manner. But it would be nice to have a tag for basic logical reasoning and logic puzzles.

(Some more examples that might benefit from this tag: 1, 2, 3.)

Can we have a tag? Or maybe: ,

The tag is intended for questions about formal logic, for instance first-order logic, predicate logic, proof theory, model theory, etc. However, we get questions which are really about a basic or elementary understanding of logic. For example:

  • Why do people lose at chess? is tagged logic presumably because it would be appropriate to tag it as about logical reasoning, but it has nothing to do with formal logic.

  • If the sum of four dice was 21, how many dice show 2? was closed for poor quality, but if it were open, it's hard to tag it appropriately. Currently it's tagged and , neither of which seem very appropriate. Really the question is most accurately described as an elementary logic puzzle, i.e. it is about basic logical deduction and logical reasoning.

I've looked through some things tagged and it seems for the most part it's being used in an acceptible manner. But it would be nice to have a tag for basic logical reasoning and logic puzzles.

(Some more examples that might benefit from this tag: 1, 2, 3.)

Source Link
Caleb Stanford
  • 46.6k
  • 19
  • 46
Loading