I never implied that, but the murderer is only responsible not the instigator according to you. Similarly in a fraud the person who spreads misinformation is not at fault.I'm not saying that people who are murdered are responsible for their own murder because they "fell for it."
Let's consider the formalist view of math. I think that mathematics is primarily based on substitution where we replace a set of symbols with another set of symbols which are equal or equivalent in some cases. How do we decide that ? By "meaning" l meant the criterion for substituting one expression to another. Formalism has axioms and there are rules of inference etc. It cannot work without them.In the viewpoint that math is about symbol manipulation formalisms, we may not even be interested in the concept "meaning" as some kind of correspondence factor with the real, physical world.
The problem with using the infinity symbol is that there are infinities bigger than others. It is a single character but can we substitute it with numbers ? Consider the real line, all the real number lie on it but infinity doesn't. We can by some fancy definitions extend it to hyper-real and have the rules of adding numbers to infinity like a+infinity=infinity etc. Can you generate this symbol by any finite amount of operations ? I dont think we can and in my opinion formalism is basically about operations on symbols ? Therefore by allowing infinity, we sort of compromise the formal system. This is the basic idea behind the constructivist approach, if l am wrong, you are more than welcome to correct me.For a starters, the symbol ∞ is just one character and not an ever-growing sequence of characters. Hence, it is perfectly suitable for participation in symbol-manipulation formalisms. An ever-growing sequence of characters, however, would be a problem, because in that case our symbol-manipulation algorithm may not even terminate.
I think that when we introduce the infinity symbol, we will have to drop associative law and commutative law too. There is a theorem by rieman which says that if an infinite series of real numbers is conditionally convergent, then its terms can be arranged in a permutation so that the new series converges to an arbitrary real number, or diverges. This doesn't apply to finite series for a reason and that is different laws regulate the symbols which have finite connotation and those which have an infinite connotation to them.With the various reduction rules available, the symbol ∞ could actually be useful when you seek to produce a closed form output result from a particular input expression. The domain does not even need to be numerical and the algebraic structure not necessarily a field. The rule templates will undoubtedly still be consistent.
The real system has been extended to the hyper real and with it's own extended rules for operation but can we construct the equal or even equivalent of this symbol by same set of operation. By introducing the symbol into the rules and not being able to generate it from the real numbers is cheating. Is this extension valid ?In other words, a field or other algebraic structure can successfully be extended with the symbol ∞ while maintaining consistency and while satisfying the pattern in existing rule templates for the symbol. So, infinity may indeed not be a number but it is certainly a legitimate extension element in numerical algebraic structures.
Lastly, I think you are confusing the motivation for following a maxim with the content of the maxim itself. The reason for adopting a maxim in accordance with the CI should be unconditional duty. But that doesn't mean that the maxim must apply to all circumstances.
Isn't that just saying that the CI cannot be practically applied? After all real situations are always particular. Besides, "Do not kill" without any conditions cannot be universalised, since it rules out self defense.
If the CI works, there should not be a hierarchy of maxims, since a maxim that can be universalized cannot conflict with another maxim that can be universalized, or else they cannot be universalized.
HIS ? l don't think anyone can claim that he is speaking for Kant after he is dead.All we have is reading his work and commenting on what we think are his thoughts.This may seem a trivial or a stupid point but it is practical and realistic.and, on what grounds with respect to his thought ?
Rules can be explained without applying to any problem, for example addition is opposite to subtraction.We can describe general concepts.As a prior generality, it has no concept of the particular in question just as the rules of addition in themselves cannot add even 2+2.
If you don't like my metaphor, well, there's no accounting for taste. I myself think of it as a metaphor and a pretty good one, but as with any metaphor, not the thing itself but merely illustrative of some aspect of the thing itself. But you fault it for cause, viz, both that it is a metaphor and given the subject matter is already out-of-court, but also that
If you exist then your existence is both qualitative and quantitative. If He's this, He's not that. He's here and not there, for examples. And there is a long list of binary considerations that whichever applies the other doesn't.
I think Kant talks of perfect duties and imperfect duties, one is a must and the other is optional."If all store employees were rude to their customers then the concept itself of customer service would no longer be a real thing". This kind of granularity seems to be more controversial. You might say that customer service isn't what is violated, but civility in general. Another person would say that those aren't even contradictions like the lying-property one is, and that they wouldn't count as something violated. There is just no epistemological way to tell what kind of action should be universalized nor what the actual contradiction is that might be violated
There is no logic involved here, you should try to use that term in its true sense.A conditional maxim is a contradiction in terms.We can throw away certain maxims or make them part of others but that will leaves us confused and destroy any ethical theory.That doesn't matter though, since a maxim can have as many conditions added to it as you like. Whether you treat the exceptions as a competing maxim or a part of the first maxim is logically equivalent.
Kant points out - makes the distinction - that the CI itself is always already prior - before - the particular question. Just as the need for a foundation for a wall is prior to the wall itself. As such, no matter of the wall itself has anything to do with the need for a foundation. the foundation is prior, the wall after. Similarly, no desire or other consideration of the act itself outside of its conformance with the CI, is relevant to the CI.
Is wittgenstein simply saying that in f(x) and f(f(x)) the outer f perform different function in both of them and does he imply that a proposition cannot take another proposition of the same ( logical ) order as its argument. So to avoid confusion we can write F(u) where u=f(x) , to clear up that F and f are different propositional functions.3.333 The reason why a function cannot be its own argument is that the sign for a function already contains the prototype of its argument, and it cannot contain itself. For let us suppose that the function F(fx) could be its own argument: in that case there would be a proposition 'F(F(fx))', in which the outer function F and the inner function F must have different meanings, since the inner one has the form O(f(x)) and the outer one has the form Y(O(fx)). Only the letter 'F' is common to the two functions, but the letter by itself signifies nothing. This immediately becomes clear if instead of 'F(Fu)' we write '(do): F(Ou). Ou = Fu'. That disposes of Russell's paradox.
If you are using "and" as /\, the logical operator then yes but that was not my point.What l was trying to say was if L is a contradiction, then in classical logic ,~L would be a tautology.L and ~L would be a contradiction. L and L would be a tautology
If you want to treat prove as an object, but l don't think wittgenstein would allow it. Wittgenstein describe objects combining with each other as in chains, he kept silent on the relations between them. Objects exist independent of each other and maybe we can determine which objects cannot be combined when we see that the proposition lacks sense. How would l picture a proof, that is a tough question, l can think of its logical form but the picture would not be possible in certain cases.Wittgenstein does not consider mathematical propositions to be a part of reality, so we cannot picture them.A proof about the wife cheating her husband can be pictured easily ( I will leave that to your imagination ) . If proof were a simple object, l would give you a definite answer.I dont think a proof is an object, when like a shirt is not a an object, it is a combination of different things, hence not simple.Proof can be combined with these, but it cannot combine with, lets say, what the best colour is.
If you wanted to picture "proof", as a concept, how would you do it? Or if you wanted to explain it to someone ignorant, what would you tell him?
“I want you to realize that when I speak of a fact I do not mean a particular existing thing, such as Socrates or the rain or the sun. Socrates himself does not render any statement true or false. What I call a fact is the sort of thing that is expressed by a whole sentence, not by a single name like ‘Socrates.’ . . .We express a fact, for example, when we say that a certain thing has a certain
property, or that it has a certain relation to another thing; but the thing which has the property or the relation is not what I call a ‘fact.”’ (‘Logical atomism’,41, my emphasis) [\quote]~Russell
So do words like cats,dogs represent a fact, or did wittgenstein believe in that ?
It will be a different fact but the proposition will have a sense.Since you disagree with that reason for cats,table being accidental feature.How do you determine an accidental feature and how do you determine an essential feature ?But that would not be a picture of the facts. Dogs are not cats and chairs are not tables. It is not the case that a dog is on the chair
It does change the truth value of proposition.There are some problems with negation, consider the propositionNo, it simply changes the truth value of the propositions
Wittgenstein regards math as a method of logic, so if we were to take it by face value, it would mean a formal system of logic ( like maths ) has the problem.I think your point of view is closer to being correct to what wittgenstein had in mind but l would wonder where the boundary lies between formal system of logic and logic, and how would logic allow the systems to have a logical fault in their construction.Is the problem with logic or with a formal system of logic? Wittgenstein says that logic is transcendental (6.13) - it is the condition for the possibility of the facts of the world and language. I think Wittgenstein regards set theory, along with mathematics, to be an invention, a construct. Any problems that arise within it are inherent in construct not in the logical scaffolding.
Since in the end you mentioned the defect in set theory, l think we can argue for a constructive case, where a statement is either true or false.Therefore it makes no sense to insist that the sigma algebra of infinite coin tosses must be constructive.
Well squaring the circle was proved to be an impossible feat by proving pi was transcendental.Wittgenstein was a an advocate of math being our creation, we cannot say what can or not be done in mathematics or in another case, he found fermet's last theorem, as not falling in mathematical realm as it was essentially sayingI think that he was just trying to clarify what the concept of "proof" really is, and what does it do. Wasn't it in this section that he wrote that squaring the circle with just using only compass and straightedge was proved impossible, or do I remember incorrectly? And that this proof stopped people from further trying? So, if I remember correctly, he said that proof ends all further attempts, this is what proof actually does to you. And my take is that he was afraid that, once people accepted Godel's theorem, taking it as a proven fact, they would stop further inquiry into the matter. oof!
Well it is clear a proof consist of more than one proposition, is it simple, I dont think so.Further can we l dont think wittgenstein says object and proposition are same, let alone a set of proposition and an object.I could be wrong though.the object (proof) is the name's meaning. What is its pictorial form, how do we know it, and how does it combine with other objects to form propositions?
I can see them being accidental in the sense that we could easily replace cat and table with dog and chair respectively.However this depends on how does one define accidental or essential in a system.Their placeholders must be there in the proposition," x is sitting on y", in this general proposition, x and y are essential as all they denote all the possible substitutents. We can also argue in a certain world, only cats can sit on table ( it is not hard to imagine ), would that make them essential.Cat and table do not name simple objects. The names are accidental. The signs are accidental. We might say: Die Katze sitzt auf dem Tisch.
Actually it was a miscommunication, sorry for messing it up, l actually wanted to ask you if we can can call a proposition which negates all of the proposition in the system except itself to be a picture of the reality.What if we have a system of 100 propositions and we negate all of them, what does that leave for us to picture ?
— Wittgenstein
4.462 Tautologies and contradictions are not pictures of reality. They do not represent any possible situations. For the former admit all possible situations, and latter none.
l have a made a distinction between two different types of contradiction. If we consider a world(system), where we have 100 possible propositions, how does negating one of them lead to no possible situation.Is still allows us to 99 other possible situations
What are the two different types of contradiction? Negation is not a contradiction. A contradiction cannot be negated.
How will that sit with incompleteness theorem since we have something that Is not provable in a system and there are other controversial axiom of choice,axiom of infinity in logic which cause trouble.I agree that we can not think illogically but sometimes illogical proposition can appear even in a rigorous system.Logic needs to be taken care of sometimes.We cannot have an illogical thought (3.03). Any thought already complies with logical syntax. It is not as if there is a set of rules that we can either comply or not comply with. We either say something that has sense or is nonsense. Logic takes care of itself.
Well, I will look up to that, does it mean that naming simple object causes a lose of generality.He never names simple objects simply because he can't. This was at the basis of his criticism of the Tractatus in PI
I would like to quote this for explaining my point of view regarding your objection.. It's hard for me to understand admitting the existence of a collection of sets but denying their union
Since a mathematical set is a finite extension, we cannot meaningfully quantify over an infinite mathematical domain, simply because there is no such thing as an infinite mathematical domain (i.e., totality, set), and, derivatively, no such things as infinite conjunctions or disjunctions
My problems is with the use of infinity as a number in certain mathematical problems, for example the lim 1/x as x approaches 0 will be written equal to infinity.But using an equal sign with infinity can be challenged even in its abstract form, l do understand the theory behind limits but in certain cases referring to infinity, mathematicians treat it as a number, not a concept.Nobody claims that the infinite collection [not yet a set, that requires the axiom of infinity] of natural numbers is instantiated in the natural world. It only exists as a mental abstraction, like justice or traffic laws or Captain Ahab.
Consider a mathematical abstraction which describes the world ( quantum mechanics for eg ), l think some mathematical abstraction can co-exist with the real world although some don't.If such an abstraction does not agree with reality as we know, we can drop them even if they are consistent mathematically.Or are you arguing that you accept mathematical abstractions but denying that they're physically real? That's perfectly sensible
I used the probability theory as an example because it is related to the world, but since you claimed it can be made intuitive, l would like you to clear that up. If someone were to talk of negative probability ( fenyman did l think ), where we consider things we do not observe but which do occur in the real world.( l can be wrong here ), that is more understandable than the use of infinity in probability theory.There is also another problem, if all the probability are 0, then the the total probability of all events will not give 1.That is against the law of probability.Further more if you take natural numbers as the domain of probability distribution, it would be not be well defined.In any event, infinitary probability theory is well understood and allows for probability zero events that nevertheless may happen. For example the probability of picking a random real number and having it be rational is zero; yet the rationals are plentiful. [That's not a precise statement, but it can be made precise without loss of intuition].
Consider this proposition, "The cat is sitting on the table", can you point out the accidental and the essential feature.Does this answer your question?:
3.34 A proposition possesses essential and accidental features.
Accidental are the features which are due to a particular way of producing the propositional
sign. Essential are those which alone enable the proposition to express its sense.
3.341 The essential in a proposition is therefore that which is common to all propositions which
can express the same sense.
And in the same way in general the essential in a symbol is that which all symbols which
can fulfill the same purpose have in common.
I have a made a distinction between two different types of contradiction.If we consider a world(system), where we have 100 possible propositions, how does negating one of them lead to no possible situation.Is still allows us to 99 other possible situations.What if we have a system of 100 propositions and we negate all of them, what does that leave for us to picture ?
— Wittgenstein
4.462 Tautologies and contradictions are not pictures of reality. They do not represent any possible situations. For the former admit all possible situations, and latter none.
What are the rules of logical syntax ?3.334 The rules of logical syntax must go without saying,
He never names the simple object but since he was influenced by Russell who treats objects as names, we can say that his silence was for allowing different Interpretations.Names are used in propositions but names must refer to something in the world, otherwise they would be meaningless, hence names are the meaning of objects.He does not identify anything as a simple. He never names a simple object. He never analyzes a word to determine what the simples are that it is composed of.
Well just because there is a consensus in the community regarding it, does not follow that there is no moral obligation on an individual.Can you say the same on the nazi leaders who used the exact same arguement in the international court, that "we were following orders " .It is not related to this case but you can see the community's understanding failings.Most people do not have to make such decisions and I don't think every lawyer would be willing to defend a ted bundy or a war criminal.The community isn't only the government, it is the people too,He has always already studied, learned, and accepted his community's understanding of justice and how it works.
I am considering the unusual cases.But we are not talking about leaving a duty but favouring one over anotherPerhaps this: we all have desires. Duty is apart from desires. You may even have a desire to not perform as duty requires. But it turns out that, usually, duty provides the greater reward - unless you're a member of the SS
I have to disagree, he does mention what objects are in the tractatus.. Just what those objects are, however, he never says.
The question remains that are the names universals or particulars ?3.203 A name means an object. The object is its meaning. ('A' is the same sign as 'A'.)
2.17 What a picture must have in common with reality, in order to be able to depict it--correctly or incorrectly--in the way that it does, is its pictorial form.
How can we know a pictorial form since it is outside the representational form, are there rules in which object combine to form a proposition ?2.174 A picture cannot, however, place itself outside its representational form.
Well can l go a little further and say that many laws in the world, particularly those relating to sentencing spies involved in espionage to death are immoral despite the general consensus. Let's suppose l take all the countries that approve death penalty for murderers and they rely on consensus in the society, can l call it immoral.just because they think that or just because there's a consensus about it.