In college my metaphysics prof said realism was the doctrine that there is a complete true description of the world, though it might take infinitely many sentences to express this description. Do the following incredibly bland considerations about different truthfunctional connectives commit me to "antirealism"?
(1) If you want thinking about propositions to play a role in psychology, then you need to individuate propositions narrowly enough that truthfunctionally equivalent sentences express different propositions.
(2) If you individuate propositions as narrowly as required by (1) then tautologies involving the sheffer stroke will be different propositions than any corresponding sentences which use more standard truthfunctional connectives.
(3) The same argument goes for all the other infinitely many n place truthfunctional connectives.
Conclusion: no language with finitely many basic connectives can express all true propositions. No finite language can be used to give a complete true description of the world. In particular if the a language L has only n place truthfunctional connectives then there will be tautologies using n+1 place truthfunctional connectives that cannot be expressed in L.
Friday, December 9, 2011
"Just what I mean by the term"
Whether or not you think there are philosophically interesting facts about analyticity, normal people do respond to certain a) epistemic challenges and b) calls for scientific/philosophical explanation by saying 'that's just what I mean by the term'.
So I think any philosopher who doesn't want to accept massive error about justification and argument owes some account of what is going on here. What does this expression do?
Maybe one thing the claim 'x is just part of what I mean by the term' maybe does is diffuse the expectation that there is an interesting natural kind or scientific fact in the neighborhood. Here's what I mean...
Suppose I had a made a map with mountain ranges labeled and you said, how come all mountains have a slope of at least 1 percent (cf. wikipedia definition). If you said "how do you know that mountains all have a slope of less than 1percent?" or "why do all mountains have a slope of less than 1 percent" I might say `that's just what I mean by the term mountain'.
I *think* hearing this might helpfully lead us to rule out possibilities like the following: 99% of paradigm mountains are caused by a certain geological process, and this process always produces things that have a steep slope, and then reliably maintain this steep slope through the process of erosion. If there was some more natural kind in the neighborhood of "mountain" then there would be a less trivial answer to questions like 'why do all mountains have at least a 2% slope?' and 'how do you know that all mountains have at least a 2% slope.
So I think any philosopher who doesn't want to accept massive error about justification and argument owes some account of what is going on here. What does this expression do?
Maybe one thing the claim 'x is just part of what I mean by the term' maybe does is diffuse the expectation that there is an interesting natural kind or scientific fact in the neighborhood. Here's what I mean...
Suppose I had a made a map with mountain ranges labeled and you said, how come all mountains have a slope of at least 1 percent (cf. wikipedia definition). If you said "how do you know that mountains all have a slope of less than 1percent?" or "why do all mountains have a slope of less than 1 percent" I might say `that's just what I mean by the term mountain'.
I *think* hearing this might helpfully lead us to rule out possibilities like the following: 99% of paradigm mountains are caused by a certain geological process, and this process always produces things that have a steep slope, and then reliably maintain this steep slope through the process of erosion. If there was some more natural kind in the neighborhood of "mountain" then there would be a less trivial answer to questions like 'why do all mountains have at least a 2% slope?' and 'how do you know that all mountains have at least a 2% slope.
Tuesday, November 1, 2011
Pictureability and Definiteness in Mathematics
A fairly popular position in philosophy of mathematics is the following: there are definite right answers to questions about arithmetic, but not to questions about set theory (especially not to questions like the Continnum Hypothesis whose answers can be changed by forcing), because we have a clear notion of what the numbers are supposed to be like but not what the sets are supposed to be like.
This claim about clarity is sometimes supported by appeal to notions of mental picturing. The idea would be that we can picture all the numbers, but that we can't picture things like `all the subsets' of the numbers, or the hierarchy of sets as an item that contains, at each level, all subsets of the levels below. But I want to ask: In what sense can we picture all the numbers? In what sense CANT we picture the sets?
All the ways I can think of of picturing all the numbers involve some kind of "..." e.g. you might picture all the numbers by having a mental picture like the physical picture I have drawn below:
| || ||| |||| ....
When we use this picture to conceive of the structure of the numbers, we are employing a highly non-trivial method of picturing, which lets us represent the state of there being a countable infinity of numbers by considering some finite collection of drawings like the above.
And people certainly do *in some sense* draw pictures of the hierarchy of sets. At the beginning of a set theory class (and at the beginning of my college analysis class) the professor will frequently draw up a V on the board. In a way that is a picture of the heirarchy of sets. And, presumably, one could mentally picture the heirarchy of sets in the same.
For this reason I am (a little) skeptical about justifying the claim that we have a definite idea about the sets but not the numbers by appeal to considerations about what we can mentally picture. We can picture the numbers if we are willing to let "..." represent the idea of all finite successors to a stroke symbol. We can picture the hierarchy of sets if we are willing to let the increasing girth of the V represent the idea that each level of the hierarchy of sets contains all possible subsets of the level below. What (mathematical) objects one can picture depends on what methods of picturing we will accept, as allowing one to genuinely conceive of a situation by entertaining a mental picture.
At the very least, I think that if someone wants to argue that claims about numbers are definite and claims about sets are not on the basis of appeals to mental pictures, they owe us some kind of story or explanation for why one method of picturing is OK and the other is not.
This claim about clarity is sometimes supported by appeal to notions of mental picturing. The idea would be that we can picture all the numbers, but that we can't picture things like `all the subsets' of the numbers, or the hierarchy of sets as an item that contains, at each level, all subsets of the levels below. But I want to ask: In what sense can we picture all the numbers? In what sense CANT we picture the sets?
All the ways I can think of of picturing all the numbers involve some kind of "..." e.g. you might picture all the numbers by having a mental picture like the physical picture I have drawn below:
| || ||| |||| ....
When we use this picture to conceive of the structure of the numbers, we are employing a highly non-trivial method of picturing, which lets us represent the state of there being a countable infinity of numbers by considering some finite collection of drawings like the above.
And people certainly do *in some sense* draw pictures of the hierarchy of sets. At the beginning of a set theory class (and at the beginning of my college analysis class) the professor will frequently draw up a V on the board. In a way that is a picture of the heirarchy of sets. And, presumably, one could mentally picture the heirarchy of sets in the same.
For this reason I am (a little) skeptical about justifying the claim that we have a definite idea about the sets but not the numbers by appeal to considerations about what we can mentally picture. We can picture the numbers if we are willing to let "..." represent the idea of all finite successors to a stroke symbol. We can picture the hierarchy of sets if we are willing to let the increasing girth of the V represent the idea that each level of the hierarchy of sets contains all possible subsets of the level below. What (mathematical) objects one can picture depends on what methods of picturing we will accept, as allowing one to genuinely conceive of a situation by entertaining a mental picture.
At the very least, I think that if someone wants to argue that claims about numbers are definite and claims about sets are not on the basis of appeals to mental pictures, they owe us some kind of story or explanation for why one method of picturing is OK and the other is not.
Sunday, October 23, 2011
Hamming Questions for Philosophy
I was just taking a break by rereading this heartwarming little essay , which you should definitely check out. This made me think about what some "Hamming Questions" for philosophy are (i.e. big questions, which we nonetheless seem to be in a position to reasonably attack now)
1. Is there a meaningful distinction between statements that are "true by convention" and those that "state substantive claims about the world"? If not (I would guess there is not) what genuine distinction are people getting at when they say:
-it's a matter of convention that mountains have to be 100 feet
-the fact that I am a US citizen is a social/conventional truth (?)
-deliciousness and disgustingness are not something independently in the world but something that we project onto the world (???)
I suspect different things are at stake in each of these cases.
2. Why, despite our ability to quickly learn new words like `table', `policeman' and `gouche' has it proved to be so hard (impossible?) for philosophers to produce elegant necessary and sufficient conditions for the application of these terms using more primitive ones. Is it...
-that in learning new words we learn paradigm cases not definitions? (but cf. the known problems with e.g. trying to account for understanding "green apple" in terms of composing paradigm cases of "green" and "apple")
-that there is an adequate definition for being a policeman etc. to be found but they are ugly enough to be considered by linguists not philosophers (e.g. maybe they typically have many special clauses)?
-that external facts about natural kinds help determine the extension of terms like policeman, in a way that either gives these terms a very messy relationship to the extensions of other terms that we understand and/or makes it epistemically difficult for us to figure out what these relationships are?
-that there are clean necessary and sufficient conditions to be given, but `atoms' of these definitions turn out to be metaphysically wild and wooly notions like `purpose' `agent' `blameworthy' so that providing necessary and sufficient conditions for claims about policemen, tables, etc. in terms of primitives like these doesn't feel like (and maybe isn't) making philosophical progress.
2' Why has it proved so hard for philosophers to paraphrase away ceterus paribus clauses, despite their apparently unproblematic use in the sciences.
3. Do facts about forcing independence and large cardinals have any consequences for the trilemma about how to think about the height of the hierarchy of sets. If mathematical facts can't decide this issue, what can?
4. What are the truth or assertability conditions for claims about literary "function" e.g. x foreshadows y, x alludes to y, x raises questions about whether y? Provide a metaphysical story about what makes statements of the above kind true, plus corresponding "logic" of literary criticism e.g. a formal algorithm that captures many if not all truth/assertability preserving inferences about literary function? Does this
-bonus: add axioms and inference rules to your logic of literary function until you get something that captures all intuitively valid forms of argument, or prove that no recursively axiomatizable logic can do this.
-bonus: determine what if any relationship there is between claims about literary function and biological function (I guess Kant thought there was a connection but he clearly likes cute solutions too much to be trustworthy on a matter like this!)
5. In virtue of what does a piece of music count as expressive of sadness, excitement etc.? If these facts are relevant to some parameter like species or prior musical tradition state the relevant parameter. This is an old and daunting question but...
Currently fashionable psychological research into how pieces of music produce similar *judgements* about expressing sadness excitement etc. in different people may suggest promising new proposals with regard to the philosophical question of what features of music make it *count* as expressing sadness, excitement etc. What kinds of lower level features do people seem to be causally responding to when they say that a piece of music is sad, and what if any general-purpose causal reasoning is involved in these judgements?
1. Is there a meaningful distinction between statements that are "true by convention" and those that "state substantive claims about the world"? If not (I would guess there is not) what genuine distinction are people getting at when they say:
-it's a matter of convention that mountains have to be 100 feet
-the fact that I am a US citizen is a social/conventional truth (?)
-deliciousness and disgustingness are not something independently in the world but something that we project onto the world (???)
I suspect different things are at stake in each of these cases.
2. Why, despite our ability to quickly learn new words like `table', `policeman' and `gouche' has it proved to be so hard (impossible?) for philosophers to produce elegant necessary and sufficient conditions for the application of these terms using more primitive ones. Is it...
-that in learning new words we learn paradigm cases not definitions? (but cf. the known problems with e.g. trying to account for understanding "green apple" in terms of composing paradigm cases of "green" and "apple")
-that there is an adequate definition for being a policeman etc. to be found but they are ugly enough to be considered by linguists not philosophers (e.g. maybe they typically have many special clauses)?
-that external facts about natural kinds help determine the extension of terms like policeman, in a way that either gives these terms a very messy relationship to the extensions of other terms that we understand and/or makes it epistemically difficult for us to figure out what these relationships are?
-that there are clean necessary and sufficient conditions to be given, but `atoms' of these definitions turn out to be metaphysically wild and wooly notions like `purpose' `agent' `blameworthy' so that providing necessary and sufficient conditions for claims about policemen, tables, etc. in terms of primitives like these doesn't feel like (and maybe isn't) making philosophical progress.
2' Why has it proved so hard for philosophers to paraphrase away ceterus paribus clauses, despite their apparently unproblematic use in the sciences.
3. Do facts about forcing independence and large cardinals have any consequences for the trilemma about how to think about the height of the hierarchy of sets. If mathematical facts can't decide this issue, what can?
4. What are the truth or assertability conditions for claims about literary "function" e.g. x foreshadows y, x alludes to y, x raises questions about whether y? Provide a metaphysical story about what makes statements of the above kind true, plus corresponding "logic" of literary criticism e.g. a formal algorithm that captures many if not all truth/assertability preserving inferences about literary function? Does this
-bonus: add axioms and inference rules to your logic of literary function until you get something that captures all intuitively valid forms of argument, or prove that no recursively axiomatizable logic can do this.
-bonus: determine what if any relationship there is between claims about literary function and biological function (I guess Kant thought there was a connection but he clearly likes cute solutions too much to be trustworthy on a matter like this!)
5. In virtue of what does a piece of music count as expressive of sadness, excitement etc.? If these facts are relevant to some parameter like species or prior musical tradition state the relevant parameter. This is an old and daunting question but...
Currently fashionable psychological research into how pieces of music produce similar *judgements* about expressing sadness excitement etc. in different people may suggest promising new proposals with regard to the philosophical question of what features of music make it *count* as expressing sadness, excitement etc. What kinds of lower level features do people seem to be causally responding to when they say that a piece of music is sad, and what if any general-purpose causal reasoning is involved in these judgements?
Tuesday, March 29, 2011
Justifying Logic and the Normal Role of Proof in Justification
Some philosophers aim to show how we can be justified in accepting certain basic logical truths by giving "rule circular" proofs of the soundness of these basic logical truths. They admit that most people will never have considered the proofs in question, and they admit that these people still count as justified in using logic. But, they say that they showing that such proofs can in principle be given makes sense of how we can be justified in believing the basic logical claims established by the proofs right now.
That idea seems prima face implausible. In general the fact that someone 100 years later will prove P from premises that I accept (like the ZF axioms) doesn't suffice to show that I am justified in believing that P now. So why should the case be any different for the proofs of logical principles?
[I would rather say that we are prima facie justified in believing these logical principles in a way that has nothing to do with the possibility of giving further argument; coming up with more or less circular ways of proving the soundness of our logical principles is (at best) a way of improving our justification]
That idea seems prima face implausible. In general the fact that someone 100 years later will prove P from premises that I accept (like the ZF axioms) doesn't suffice to show that I am justified in believing that P now. So why should the case be any different for the proofs of logical principles?
[I would rather say that we are prima facie justified in believing these logical principles in a way that has nothing to do with the possibility of giving further argument; coming up with more or less circular ways of proving the soundness of our logical principles is (at best) a way of improving our justification]
Saturday, March 19, 2011
are stipulative definitions a source basic knowledge?
Random thought:
Whether or not its OK to make a certain stipulative definition can depend very messy questions - and not just mathematically messy questions like questions about harmony.
For example: it would seem that it's OK to stipulate that people are to count as "gleb" whereas bodies are not to count as "gleb" if and only if people are distinct from their bodies.
This suggests that knowledge by stipulative definition is not a source of basic knowledge. (basic knowledge= justified belief that doesn't depend on any other beliefs for justification) For, you can say 'of course people are gleb and bodies aren't, thats just what I mean by the term! remember when I stipulatively defined it...'. But (it would appear) the justificatory buck doesn't stop when you say this. If you are unjustified in thinking that bodies are distinct from people, this would seem to poison your justification for making and appealing to this stipulative definition.
However, perhaps we should say that only some stipulative definitions do have prima facie warrant, and the above stipulation about glep is just not one of the ones that does.
p.s. if we say that stiplative definitions aren't basic knowledge, we will probably want to say that analyticities aren't either.
Whether or not its OK to make a certain stipulative definition can depend very messy questions - and not just mathematically messy questions like questions about harmony.
For example: it would seem that it's OK to stipulate that people are to count as "gleb" whereas bodies are not to count as "gleb" if and only if people are distinct from their bodies.
This suggests that knowledge by stipulative definition is not a source of basic knowledge. (basic knowledge= justified belief that doesn't depend on any other beliefs for justification) For, you can say 'of course people are gleb and bodies aren't, thats just what I mean by the term! remember when I stipulatively defined it...'. But (it would appear) the justificatory buck doesn't stop when you say this. If you are unjustified in thinking that bodies are distinct from people, this would seem to poison your justification for making and appealing to this stipulative definition.
However, perhaps we should say that only some stipulative definitions do have prima facie warrant, and the above stipulation about glep is just not one of the ones that does.
p.s. if we say that stiplative definitions aren't basic knowledge, we will probably want to say that analyticities aren't either.
Sunday, February 6, 2011
Angst Over the Ordinals
Ohhh, which of these three options is correct? Given my focus on philosophy of math it's mildly embarrassing not to have a fixed position on this, but I keep going back and forth...
1. Just say the hierarchy of sets goes "all the way up"
2. Say the hierarchy of sets goes "all the way up" in the sense that it contains ordinals corresponding to every distinct combinatorially possible way for some objects to be well ordered *except for the one that it, itself is an instance of*. (this would be appealing but i think it may be impossible to spell out in a consistent way)
3. Say that the hierarchy of sets goes up at least far enough to satisfy the axiom of infinity+ the rest of ZF, and leaves it vague what there is beyond the inacessables - much as our concept mountain leaves it vague how many really tiny mountains there are given that there is such and such a bit of lumpy terrain.
1. Just say the hierarchy of sets goes "all the way up"
2. Say the hierarchy of sets goes "all the way up" in the sense that it contains ordinals corresponding to every distinct combinatorially possible way for some objects to be well ordered *except for the one that it, itself is an instance of*. (this would be appealing but i think it may be impossible to spell out in a consistent way)
3. Say that the hierarchy of sets goes up at least far enough to satisfy the axiom of infinity+ the rest of ZF, and leaves it vague what there is beyond the inacessables - much as our concept mountain leaves it vague how many really tiny mountains there are given that there is such and such a bit of lumpy terrain.
Five Reasons to be a Modal Carnapian
I currently believe mathematics is best understood in terms of combinatorial possibility plus Carnapian framework stipulations. One reason for thinking this is, of course, that understanding mathematical objects in this way lets you tell a nice story about access to abstract mathematical objects, like the one I tell in my dissertation! But here are 4 other reasons.
1. Thinking in terms of combinatoiral possibility lets you solve the bad company objection for neo-carnapianism about objects.
You can say: It is OK to stipulate that there are sets but not to make the stipulations for tonk, or for Boolos parities because...
One can safely extend one's language by introducing object stipulations S if and only if it would be combinatorially possible for the objects one's language currently acknowledges at each possible world to be supplimented by new objects in such a way as to satisfy S.
2. Thinking about things in terms of combinatorial possibility + carnapian framework stipulations explains why certain mathematical questions are substantive questions while others are not (substantive ones involve disagreement over combinatorial possibility as well as over which from among the many objects which it would be combinatorially possible to stipulate you actually do stipulate)
For example:
There is no substantive mathematical question about whether there are sets or categories or both, because everyone agrees that it would be combinatorially for there to be objects satisfy Carnapian framework stipulations phrased in terms of combinatorial possibility for the sets, and for the categories.
There is a substantive mathematical question about whether the Goldbach conjecture is true, because it is combinatorially impossible that the Fs and the Gs should satisfy the informal (non-first order logical!) framework stipulations for sets could yield different answers to Goldbach.
3. "Mathematical Hypothesis"-based alternatives like structuralism, fictionalism and plenetudinous platonism already need *some* powerful modal notion or a sense of possible and impossible which can take into account vocabulary that goes beyond the connectives of first order logic, if they want to capture intuitive claims about all questions in arithmetic having right answers.
Intuitively there are right answers to at least all questions about arithmetic. Each first order logical hypothesis about the numbers necessitates right answers to all questions about arithmetic. Therefore, any mathematical hypothesis that claims to cash out the truth conditions for our claim that phi in terms of the claim that if H then phi must crucially use non-first order vocabulary. Therefore if you want to make some hypothetical view of math work, you must either bite the bullet that some simple questions of arithmetic have no answer, or invoke a more mathematically powerful notion of possibilty/consequence
4. The notion of combinatorial possibility is very crisp and simple, indeed it maybe well the crispest and simplest notion that yields enough mathematical power to reconstruct intuitive verdics about truthvalues in arithmetic as per (3).
For example, if you accept Tarski's definition of logical truth in terms of facts about how it would be possible to reinterpret all properties and relations involved (where possible doesn't mean that a person could give a rule for how to do it, or somehow list the new extensions) then you pretty much already accept the powerful notion of how it would be in principle possible for an arbitrary n-place relation to apply to some objects which I have in mind when I talk about combinatorial possibility. So if you're not too much of a finitist/intuitionist to accept the very broad sense of in principle possible reassignment of extensions to predicates used in the Tarski definition, I think you should be OK with my notion of combinatorial possibility.
Secondly, combinatorial possibility faces none of the quandires that make people skeptical about the notion of metaphysical possibility e.g. it is possible for something to be both red all over and green all over, or for there to be zombies? We avoid these problem because facts about combinatorial possibility ignore all metaphysical facts about particular properties and relations involved. In some cases one might perhaps argue that some natural language sentences are vague with regard to what pattern of relationships between objects they assert. But once you specify that you are asking whether e.g. combiposs( Ex Redallover(x)&Greenallover(x)), it is perfectly clear that this is combinatorially possible, since it would be combinatorially possible to choose extensions for Redallover() and Greenallover() that make this true.
1. Thinking in terms of combinatoiral possibility lets you solve the bad company objection for neo-carnapianism about objects.
You can say: It is OK to stipulate that there are sets but not to make the stipulations for tonk, or for Boolos parities because...
One can safely extend one's language by introducing object stipulations S if and only if it would be combinatorially possible for the objects one's language currently acknowledges at each possible world to be supplimented by new objects in such a way as to satisfy S.
2. Thinking about things in terms of combinatorial possibility + carnapian framework stipulations explains why certain mathematical questions are substantive questions while others are not (substantive ones involve disagreement over combinatorial possibility as well as over which from among the many objects which it would be combinatorially possible to stipulate you actually do stipulate)
For example:
There is no substantive mathematical question about whether there are sets or categories or both, because everyone agrees that it would be combinatorially for there to be objects satisfy Carnapian framework stipulations phrased in terms of combinatorial possibility for the sets, and for the categories.
There is a substantive mathematical question about whether the Goldbach conjecture is true, because it is combinatorially impossible that the Fs and the Gs should satisfy the informal (non-first order logical!) framework stipulations for sets could yield different answers to Goldbach.
3. "Mathematical Hypothesis"-based alternatives like structuralism, fictionalism and plenetudinous platonism already need *some* powerful modal notion or a sense of possible and impossible which can take into account vocabulary that goes beyond the connectives of first order logic, if they want to capture intuitive claims about all questions in arithmetic having right answers.
Intuitively there are right answers to at least all questions about arithmetic. Each first order logical hypothesis about the numbers necessitates right answers to all questions about arithmetic. Therefore, any mathematical hypothesis that claims to cash out the truth conditions for our claim that phi in terms of the claim that if H then phi must crucially use non-first order vocabulary. Therefore if you want to make some hypothetical view of math work, you must either bite the bullet that some simple questions of arithmetic have no answer, or invoke a more mathematically powerful notion of possibilty/consequence
4. The notion of combinatorial possibility is very crisp and simple, indeed it maybe well the crispest and simplest notion that yields enough mathematical power to reconstruct intuitive verdics about truthvalues in arithmetic as per (3).
For example, if you accept Tarski's definition of logical truth in terms of facts about how it would be possible to reinterpret all properties and relations involved (where possible doesn't mean that a person could give a rule for how to do it, or somehow list the new extensions) then you pretty much already accept the powerful notion of how it would be in principle possible for an arbitrary n-place relation to apply to some objects which I have in mind when I talk about combinatorial possibility. So if you're not too much of a finitist/intuitionist to accept the very broad sense of in principle possible reassignment of extensions to predicates used in the Tarski definition, I think you should be OK with my notion of combinatorial possibility.
Secondly, combinatorial possibility faces none of the quandires that make people skeptical about the notion of metaphysical possibility e.g. it is possible for something to be both red all over and green all over, or for there to be zombies? We avoid these problem because facts about combinatorial possibility ignore all metaphysical facts about particular properties and relations involved. In some cases one might perhaps argue that some natural language sentences are vague with regard to what pattern of relationships between objects they assert. But once you specify that you are asking whether e.g. combiposs( Ex Redallover(x)&Greenallover(x)), it is perfectly clear that this is combinatorially possible, since it would be combinatorially possible to choose extensions for Redallover() and Greenallover() that make this true.
What is Combinatorial Possibility?
At the moment I think mathematics is best understood in terms of neo-carnapian/neo-logicist existence conditions for mathematical objects plus a kind of specifically mathematical modality (along the lines considered by Charles Parsons) which is looser than metaphysical possibility, and which I call "combinatorial possibility".
Here's a new way I thought of to explain what I mean by combinatorial possibility:
Combinatorial possibility is just like Tarski's notion of logical possibility, except a) we drop the assumption that you have to shanghai objects from the actual world to use in making a given claim true, allowing arbitrary choices of domain as well as arbitrary reassignments of extensions to properties and b) we allow more vocabulary to count as "logical vocabulary" in the sense that when reassigning extensions to predicates you can't change its meaning.
What more vocabulary?
In general anything like "finitely many" or "equinumerous" which functions like logical vocabulary in a sentence that its effect on the truthvalue of the whole sentence is systematically determined just by the domain and extension of relations in a set theoretic model is OK. Call these semi-logical expressions.
However I conjecture that we can cash out all of these all the semi-logical expressions, or at least all the ones that occur in modern mathematics and and its applications by merely using two things:
- an actuality opporator @F, so that you can say things about how it would be combinatorially possible for the things that are actually kittens, to be related by liking to the things that are actually baskets, e.g. there are enough different kittens and few enough baskets that it is combinatorially impossible that each kitten slept in a different basket last night.
- nesting, so that you can ask questions about the combinatorial possibility or impossibility of questions which are themselves described in terms of how it would be combinatorially possible to supplement them e.g. There are people at this party representing all combinatorially possible choices of whether to take sugar and/or milk in your tea = It would be combinatorially impossible to supplement the actual people with some additional person who differs from all actual people with respect to either whether they take coffee or whether they take tea = not combiposs(Ex person(x) & Ay [if @person(y) then ~x=y , and takessugar(x)iff~takessugar(y) and takesmilk(x) iff~takesmilk(y)) ] *
*yes, when you have multiple nesting of claims about combinatorial possibility, actuality opporators will need to be indexed to a particular instance "combiposs" so you will have combiposs_i and @F_i.
Here's a new way I thought of to explain what I mean by combinatorial possibility:
Combinatorial possibility is just like Tarski's notion of logical possibility, except a) we drop the assumption that you have to shanghai objects from the actual world to use in making a given claim true, allowing arbitrary choices of domain as well as arbitrary reassignments of extensions to properties and b) we allow more vocabulary to count as "logical vocabulary" in the sense that when reassigning extensions to predicates you can't change its meaning.
What more vocabulary?
In general anything like "finitely many" or "equinumerous" which functions like logical vocabulary in a sentence that its effect on the truthvalue of the whole sentence is systematically determined just by the domain and extension of relations in a set theoretic model is OK. Call these semi-logical expressions.
However I conjecture that we can cash out all of these all the semi-logical expressions, or at least all the ones that occur in modern mathematics and and its applications by merely using two things:
- an actuality opporator @F, so that you can say things about how it would be combinatorially possible for the things that are actually kittens, to be related by liking to the things that are actually baskets, e.g. there are enough different kittens and few enough baskets that it is combinatorially impossible that each kitten slept in a different basket last night.
- nesting, so that you can ask questions about the combinatorial possibility or impossibility of questions which are themselves described in terms of how it would be combinatorially possible to supplement them e.g. There are people at this party representing all combinatorially possible choices of whether to take sugar and/or milk in your tea = It would be combinatorially impossible to supplement the actual people with some additional person who differs from all actual people with respect to either whether they take coffee or whether they take tea = not combiposs(Ex person(x) & Ay [if @person(y) then ~x=y , and takessugar(x)iff~takessugar(y) and takesmilk(x) iff~takesmilk(y)) ] *
*yes, when you have multiple nesting of claims about combinatorial possibility, actuality opporators will need to be indexed to a particular instance "combiposs" so you will have combiposs_i and @F_i.
Subscribe to:
Posts (Atom)