3 ms·

That's wrong. Induction is the process of empirically producing natural laws. Our givens are the observed state of the experiment before (i.e. the antecedent,

That's wrong. Induction is the process of empirically producing natural laws. Our givens are the observed state of the experiment before (i.e. the antecedent, or "premise"), and after (i.e. the consequent, or "conclusion" of) an event. These givens are the only observations. Induction is the process of creating an inferential rule (e.g. a causal hypothesis) that allows us to deduce the given consequent from the given antecedent (e.g. by applying a formula). Abduction has different givens. In that case, we have observed consequences, and are given a set of inferential rules (e.g. natural laws) that could have produced the observed consequence. We then try to acquire evidence to support theories about which (unobserved) antecedent led to the (observed) consequent, by using one of our given inferential rules.

Banana699 4y ago
Your usage of "premise" and "conclusion" as shorthands for "the state of the world at a time t" is somewhat confusing to me, when I hear those words I think of propositions that have truth value, not events/states. You can sort of encode the state of the world at any instant as a proposition which is the conjunction of all possible true propositions describing the world at that instant ("The sky is blue", "Water is wet", "Temperature is 40C",...), but it's not obvious that this is a useful way to think in. For example, suppose you're a mathematician with a conclusion (conjecture) C and a premise P (axioms), you search for a proof to get C from P, and you find it. That fits your definition of induction. Now suppose you're a pre-copernicus astronomer who have a "conclusion" and a "premise", which are actually just the state of the world recorded at different times, and you want to find a law that gets you the conclusion from the premise, and you find it in a system of epicycles. This too fits your definition of induction. But those 2 situations are radically different. The mathematician's proof is much more correct and permanent than the astronomer's "proof". If I find another proof of the mathematician's claim, even a very different proof, that doesn't render the first proof obsolete, and it doesn't mean my proof is wrong either. But if I find another law that explains the states of the world the astronomer explained, then unless one of the laws is a special case of the other, either me or the astronomer is wrong, or the world is crazy and somehow obeys 2 sets of laws that aren't reducible to each other at the same time. In other words, if logical propositions are imagined as a DAG where the edges represent valid rules of inference, then it doesn't matter which path (proof) got you to a node as long as you got there. But if you imagine the states of the world like this, then it actually matters what specific laws got you to a particular node. Maybe actual reality doesn't care and there are infinite systems of physics that all perfectly well explain the universe, but we very much care about path uniqueness, much more than we do in math, chess or other such systems. That's why I think the encoding of world states as propositions is lossy. A state\event is more than the propositions describing it.
- routerl 4y ago
  > Your usage of "premise" and "conclusion" as shorthands for "the state of the world at a time t" is somewhat confusing to me I agree, and the correct terms are "antecedent" and "consequent"; a premise is a type of antecedent, and a conclusion a type of consequent. But using those terms right away makes it harder to relate to formal arguments.

Banana699 4y ago

Your usage of "premise" and "conclusion" as shorthands for "the state of the world at a time t" is somewhat confusing to me, when I hear those words I think of propositions that have truth value, not events/states. You can sort of encode the state of the world at any instant as a proposition which is the conjunction of all possible true propositions describing the world at that instant ("The sky is blue", "Water is wet", "Temperature is 40C",...), but it's not obvious that this is a useful way to think in. For example, suppose you're a mathematician with a conclusion (conjecture) C and a premise P (axioms), you search for a proof to get C from P, and you find it. That fits your definition of induction. Now suppose you're a pre-copernicus astronomer who have a "conclusion" and a "premise", which are actually just the state of the world recorded at different times, and you want to find a law that gets you the conclusion from the premise, and you find it in a system of epicycles. This too fits your definition of induction. But those 2 situations are radically different. The mathematician's proof is much more correct and permanent than the astronomer's "proof". If I find another proof of the mathematician's claim, even a very different proof, that doesn't render the first proof obsolete, and it doesn't mean my proof is wrong either. But if I find another law that explains the states of the world the astronomer explained, then unless one of the laws is a special case of the other, either me or the astronomer is wrong, or the world is crazy and somehow obeys 2 sets of laws that aren't reducible to each other at the same time. In other words, if logical propositions are imagined as a DAG where the edges represent valid rules of inference, then it doesn't matter which path (proof) got you to a node as long as you got there. But if you imagine the states of the world like this, then it actually matters what specific laws got you to a particular node. Maybe actual reality doesn't care and there are infinite systems of physics that all perfectly well explain the universe, but we very much care about path uniqueness, much more than we do in math, chess or other such systems. That's why I think the encoding of world states as propositions is lossy. A state\event is more than the propositions describing it.

routerl 4y ago
> Your usage of "premise" and "conclusion" as shorthands for "the state of the world at a time t" is somewhat confusing to me I agree, and the correct terms are "antecedent" and "consequent"; a premise is a type of antecedent, and a conclusion a type of consequent. But using those terms right away makes it harder to relate to formal arguments.