These are different uses of "1", in different contexts (language-games).
(Iadded this later, to try and clarify). Compare a traditional example:- "John came home in disgrace, a flood of tears and a wrecked car." "In" is ambiguous, because "disgrace", "flood of tears", and "wrecked car" are different kinds of thing, are pieces of different language-games and "in" is polymorphous and has different senses, or uses" in each of them. That's the theme of this whole argument. — Ludwig V
Applying numbers to objects in the solar system is one kind of language-game. Applying numbers to probabilities is quite another. — Ludwig V
Actually, there are (at least) two ways of using numbers in the context of probabilities. There are 6 probabilities (I prefer "possibilities" or "outcomes" as less confusing) when throwing a die, each of which can be assigned a probability of 1/6, and if the 6 comes up we can, I suppose, assign a probability of 1 to that outcome. — Ludwig V
So I would prefer to say that probability is not applicable to either 2+2=4 or (x=3)&(x+1=4). Why? Because there are no other possibilities. Probability of a specific outcome is only meaningful if there is a range of possible outcomes. — Ludwig V
1 is conventionally used as the range of the outcomes. — Ludwig V
Assigning a probability to one outcome and then to another without outside that context is meaningless. 1 isn't counting or measuring anything - it's just the basket (range) within which we measure the probabilities (in relation to the evidence and if there is no evidence, then equally to all). (fdrake is right to emphasize the role of evidence - especially in the context of Bayesian probability) We use 100 as a basket in other contexts when it suits us. In the case of the die, P(1v2v3v4v5v6)=1 is just reasserting the rules. — Ludwig V
In the case of truth, the language-game that provides the context is different. In a sense, when we assign 1 to truth, it is not a number at all. We can equally well use "T" or a tick if it suits us. This reflects the point that "true" is one of a binary pair. Probability isn't. I want to say that probability and truth are different language-games. — Ludwig V
But that would be too quick, because they are related. Probability is what we retreat to when we cannot achieve truth, one might say. There are others - "exaggerated", "inaccurate", "vague", "certain", "distorted", "certain". I would be quite happy to say that truth is not binary, but multi-faceted; the language game of truth has more than two pieces - probability is just one of them. Probability itself has more pieces than are usually recognized. In the context of empirical probability, we find ourselves confronted with "likelihood" and "confidence" and, sometimes, "certainty" and, of course, in the context of Bayesian probability, "credence" - "degree of belief" turns up from time to time, as well. — Ludwig V
@fishfry There's one other point I would like to make, in the context of our previous discussion about time in mathematics. — Ludwig V
Given that, probability is a bit of a problem, because it seems to me that it has time, or at least change, built in to it. (I have seen it said that probability is inherently about the future). — Ludwig V
We build the table around the outcome, in the context of a thought-experiment such as tossing coins or throwing dice or drawing cards lotteries or roulette wheels. (I expect you know that Pascal built the theory around a desire to help his gambing friends) We expect an outcome, when everything changes. Time isn't essential. The outcome could be unknown, for example. Even if it is known, we can pretend that we don't know it. But there is an expectation of change, without which probability makes no sense. So the timeless present does not describe what is going on here. — Ludwig V
One could regard probability theory as applied mathematics, but probability isn't a prediction. Probability statements are neither confirmed nor refuted by the actual outcome. (That's not quite black and white, because we do use deviations from probability predictions as evidence that something is wrong. But still...) — Ludwig V
I prefer to say, however, that the probability table does not change when the outcome is known. It describes a situation and that description is correct even after the outcome is known - it just doesn't apply any longer. So probability = 1 doesn't really apply. — Ludwig V
Ok. That will do. Maybe some of that is helpful. — Ludwig V
Full disclosure - I haven't formally studied probability either, any more than I've studied mathematics. But I have discussed both and thought about both a good deal, in various philosophical contexts. — Ludwig V
I agreed with you about "pure math", for the sake of discussion, so that we could obtain some understanding of each other. But I will tell you now, as came up one other time when we had this discussion, I do not agree that there is such a thing as "pure math" by your understanding of this term. So I agree that if there was such a thing as pure math, that's what it would be like. However, I think your idea of "pure math" is just a Platonist/formalist fantasy, which is a misrepresentation of what mathematics is. In reality, all math is corrupted by pragmatics to some degree, and none reaches the goal of "pure math". You criticize me to say, it's not a goal, it's what pure math is, but I say that's false, it is a goal, an ideal, which cannot be obtained. Therefore "pure math" as you understand it, is not real, it's an ideal. — Metaphysician Undercover
I think the issue being exposed here is a difference of opinion as to what mathematics is. — Metaphysician Undercover
Since this is a question of "what something is", the type of existence it has, I think it is an ontological issue. Would you agree with this assessment? — Metaphysician Undercover
For example, the head sophist refers to "mathematical logic", and I find this defined in Wikipedia as the study of the formal logic within mathematics. So we have a distinction here between the use of mathematics (applied mathematics), and the study of the logic used by mathematicians (mathematical logic). "Mathematical logic" would be a sort of representation, or description, of the logic used in mathematics. What you call "pure mathematics", I believe would be something distinct from both, applied math and mathematical logic, as the creative process whereby mathematical principles are developed. But I think that this process is not really "pure", it's always tainted by pragmatics and therefore empirical principles. — Metaphysician Undercover
The issue I have with the head sophist — Metaphysician Undercover
is with the way that mathematical logic represents the use of the = symbol as an identity symbol. In applied mathematics, it is impossible that "=" is an identity symbol because if both sides of an equation represented the exact same thing, the equation would be absolutely useless. — Metaphysician Undercover
This I've explained in a number of different threads. — Metaphysician Undercover
In reality, as any mathematics textbook will show, "=" means "has the same value as". — Metaphysician Undercover
Therefore we can conclude that any mathematical logic which represents "=" as an identity symbol is simply using a false proposition. When a "textbook in mathematical logic" states that "=" is an identity symbol, this can be taken as the false premise of mathematical logic. — Metaphysician Undercover
I have conceded the point regarding what you call "pure math". However, I am now qualifying this concession to say that "pure math" is just an unreal ideal. — Metaphysician Undercover
There is no such thing as pure math. It's a term which people like to use in an attempt to validate their ideals. In reality though, such ideals are fiction, so all that I have really conceded, is that within the fictitious conception which you call "pure math", this is the way things are. Of course, I'm not going to argue about the way things are in your work of fiction, but I will argue about the way that your fiction bears on the real world. — Metaphysician Undercover
Sure, there are thousands of people who might call themselves "pure mathematicians". In reality though, these people are not engaged in "pure mathematics", as I believe you understand this to mean. As I said above, all mathematics is tainted by pragmatics (applications), and there is no such thing as "pure" mathematics. — Metaphysician Undercover
This is very evident in our discussion of the meaning of "=". In what you call "pure mathematics", we might say that "=" signifies "is the same as". This would remove the basic fact that what mathematicians work with are values. To make the mathematics "pure" we must remove this content, what the mathematicians work with, values. We remove the inherent nature of the thing represented by the symbols (i.e. that the symbols represent values) to allow simply that the symbols represent things without any inherent nature, no inherent content. Then we might claim the left side of the equation represents the exact same thing as the right. However, this type of equation would be totally useless. We could do nothing with an equation, solve no problems. — Metaphysician Undercover
Furthermore, there would be a disconnect, an inconsistency between the mathematicians practising "applied" math, who use "=" to represent "is the same value as", and those "pure" mathematicians creating mathematical principles which were inconsistent with the applied mathematics. Since the supposed "pure mathematicians" actually produce principles which are compatible with, and are actually used in applied mathematics, we can conclude that the supposed "pure" mathematics is not really pure, and the principles they are using and developing do not really treat "=" as meaning "is the same as". That's just a misrepresentation, supported by the misrepresentation that these people are doing "pure" mathematics. — Metaphysician Undercover
I can't say I understand everything you wrote following this, but it mostly makes sense to me. I'll have to work on these ideas of "mod 4", and "cyclical group". — Metaphysician Undercover
What I mean, is that if you recognize that two things are different from each other, then that difference has already made a difference to you (in the subconscious for example) by the very fact that you are recognizing them as different. So for example, if you see two chairs across the room, and they appear to be identical, yet you see them as distinct, then the difference between them must have already made a difference to you, by the fact that you see them as distinct. So to say that the difference between them is a difference which doesn't make a difference must be a falsity from the outset. We might even say that they are identical in every way except that they are in different locations, but this very difference is the difference which makes them two distinct chairs instead of one and the same chair. — Metaphysician Undercover
I knew you wouldn't agree, but i wouldn't agree that the real number 5 is an instance of a real number. — Metaphysician Undercover
The problem I think has to do with the statement "a real number". "The real numbers" is a conceptual construct in itself. — Metaphysician Undercover
This conception dictates the the meaning of "a real number". So in reality any supposed instance of "a real number" is just a logical conclusion drawn from the dictates of "the real numbers". — Metaphysician Undercover
In other words its not a distinct or individuated thing, which would be required for "an instance", it's just a specific part of "the real numbers". Can we agree that the real number 5 is a specific real number? — Metaphysician Undercover
You haven't lost any debate, you just made a post with some mistakes. You seem ready to acknowledge them, which is winning in my book. — flannel jesus
Sure, it looked bad, but the two cases are not the same. Obama was not separating every family. The Trump Admin was. Obama was not doing it as a deterrent. The Trump admin was. Those are crucial differences, don't you agree? — RogueAI
Except when it’s about racism and some property is damaged. — Mikie
Then it’s screamed about for years. Meanwhile, a few months later a bunch of white people storm the Capitol building in an attempt to stop the electoral college vote, and they were “let in” — and after years of spin, we should deny what we all saw that day and tell ourselves it’s no big deal. — Mikie
Because if it were the Black Lives Matter crowd, I’m sure we’d be saying the same thing. And I’m sure only one insurrectionist would have been shot. — Mikie
The hypocrisy is laughable. — Mikie
So maybe it's something else. — TonesInDeepFreeze
Most glaringly of all, what accounts for you recently claiming that I hadn't specified 'identity theory' when I had specified it multiple times in this thread, including multiple times addressed to you, and even twice quoted by you? Your claim is bizarre. — TonesInDeepFreeze
P(X=1|X+1=2). Where X is a random variable. That'll give you probability 1. — fdrake
It is the same article as the reading for my Metaphysics of Mathematics thread. Tones didn't love it. — Lionino
you kind of contradict the first half of your post here with the second half. In the first half, you speak as if something being deterministic is basically synonyms with it being predictable, but in the second half you acknowledge that a chaotic system could be deterministic but unpredictable. — flannel jesus
If a chaotic system can be deterministic but unpredictable, then you should be able to imagine software that is chaotic, and thus deterministic and unpredictable, no? — flannel jesus
I think there's a subtly shifting meaning for the word "unpredictable" that's at play there. — flannel jesus
Perhaps you should stick to the part I quoted? — Benkei
But they don’t cut it mate. I’ve said before, I respect your intelligence, I’ve learned things from you about philosophy of math (mainly, how little I know.) I have to say that you’re completely wrong about Trump, he’s malignant, mendacious, and a threat to the American Republic. Until you’re willing to acknowledge that, we have nothing further to discuss about it. — Wayfarer
You will never predict correctly what thwarter is going to do. — Tarskian
When you put thwarter in that chaotic system, you suddenly have something freely making decisions while you can impossibly predict what decisions it will make. — Tarskian
Free will is a property of a process making choices. If it impossible to predict what choices this process will make, then it has free will. — Tarskian
The first statement explains the second. And, it’s more than ‘a little’. But there’s no way to make someone see what he or she doesn’t want to see, so let’s leave it for now. (Although how a forensic retelling of an attack on the American people could be a fraud on the American people beggars logic.) — Wayfarer
Although as this is the Election thread, not the Trump thread, I’ll add I still don’t believe Biden will be the eventual Democratic nominee. I just wish folks would say that he should ‘pass the baton’. It sounds a lot less hostile than that he should resign or quit. It is really what he must be persuaded to do, and, I believe, will be. — Wayfarer
You do. — Wayfarer
You know that Trump on multiple occasions has sucked up to Putin? — Wayfarer
That he stood on the world stage with him and said he trusted Putin above his own intelligence agencies? — Wayfarer
That he thinks Kim Jong Un is a really neat guy, even saying once that they were 'in love'? — Wayfarer
Why is it that the only political leaders he's ever expressed admiration for, if not because they're role models for him? Not that he's got anywhere near the guts or the guile to actually pull it off. Fortunately. — Wayfarer
Computability may be deterministic but is fundamentally still unpredictable too. It is generally not possible to predict what a program will be doing at runtime: — Tarskian
A deterministic system is unpredictable when its theory is incomplete. There is no need for randomness for a system to be unpredictable. Free will is essentially the same as unpredictability. — Tarskian
Trump says border bill ‘very bad’ for Lankford’s career — Wayfarer
As mentioned, Lankford was then censured by his own party. This for a straight up-and-down Republican who has toed the party line on every single issue. — Wayfarer
And I just don't know how you can say that. He's on the record suggesting, for instance, that the constitution ought to be suspended, that he plans to purge the civil service and stock it with his operatives, and intends to use the Department of Justice against his enemies. — Wayfarer
The last few weeks, there's been a lot of press over Project 2025, which likewise plans to implement plainly authoritarian policies - Trump has been trying to disassociate himself from it, but it is almost entirely composed of ex-Trump aides and staffers, and he's spoken at the Heritage Foundation on a number of occasions. — Wayfarer
But then, you know, but seem to downplay or rationalise, that Trump sicked his mob on the Capital Building, leading to multiple deaths and hundreds of arrests and jail sentences, one of the darkest days in American history. Why you're OK with that I can't fathom. — Wayfarer
When you say "mathematical truth" do you also refer to axioms? Me and another user had a disagreement about the definition of logicism as it seems hard to source — no surprise. SEP presents both a "weak logicism" and "hard logicism":
The strong version of logicism maintains that all mathematical truths in the chosen branch(es) form a species of logical truth. The weak version of logicism, by contrast, maintains only that all the theorems do. — Lionino
The article The Three Crises in Mathematics: Logicism, Intuitionism and Formalism says:
The formulation of the logicists' program now becomes: Show that all nine axioms of
ZF belong to logic.
— https://www.jstor.org/stable/2689412?seq=1 — Lionino
You really do come up with amazing twaddle. — Mikie
I don't understand you. I gave you an example of how equivocation of "same" has a considerable effect. Of course it has no effect in "pure mathematics", because by definition "pure" mathematics maintains its purity, and the purity of its definitions. — Metaphysician Undercover
Pure mathematics is not applied, and therefore has no effect in relation to the physical world where "same" means something else.. We live in the physical world, our cares and concerns involve the world we live in, it is impossible that anything in the fantasy world of "pure mathematics" could actually concern us. This is known as the interaction problem of idealism. However, in reality we apply mathematics and this is where the concerns are. — Metaphysician Undercover
You seem to misunderstand the issue completely. — Metaphysician Undercover
You appear to understand that there is a difference between the use of "same" by mathematicians (synonymous with equal), and the use of "same" in the law of identity (not synonymous with equal). — Metaphysician Undercover
You said that this difference has no bearing on anything you know or care about. The things included in the category of what you know and care about, are not limited to principles of pure mathematics, because you live and act in the physical world. The law of identity applies to things in the physical world which we live and act in. — Metaphysician Undercover
So, to make myself clear — Metaphysician Undercover
I do not claim that there is a problem with using "same" as synonymous with equal, within the conceptual structures of mathematics. — Metaphysician Undercover
The problem is in the application of mathematics, as inevitably it is applied, and this use of "same" is brought into the world of physical activity, and taken to be consistent with the use of "same" when referring to physical objects. — Metaphysician Undercover
That is where the problem occurs. Sophjists such as Tones enhance and deepen the problem by arguing that the use of "same" in mathematics(synonymous with equal) is consistent with the use of "same" in the law of identity (not synonymous with equal). — Metaphysician Undercover
This is exactly the issue, the reality of the situation is that we do have it both ways. There are two very distinct ways for understanding "same". You can dictate "you cannot have it both ways" all you want, but that's not consistent with reality, where we have both ways of using the term. If you think that we ought to reduce this to one, (insisting "we cannot have it both ways"), the two cannot be combined, or reduced to one, because they are fundamentally incompatible (despite what the head sophist claims). This means that we have to choose one or the other. If we choose the one from pure mathematics, then we have nothing left to understand the identity of a physical object in its temporal extension. If we choose the one from the law of identity, then we simply understand "equal" as distinct from "same", and the problem is solved. Obviously the latter makes the most sense, and doing this would support your imperative dictate: "You can not have it both ways." — Metaphysician Undercover
It is very clearly you are the one who does not understand how math "works". — Metaphysician Undercover
Math only works when it is applied. — Metaphysician Undercover
"Pure mathematics" does nothing, it does not "work", as math only works in application. — Metaphysician Undercover
You are only fooling yourself, with this idea that pure mathematics is completely removed from the physical world, the world of content, and it "works" within its own formal structures. — Metaphysician Undercover
That is the folly of formalism which I explained earlier. — Metaphysician Undercover
To avoid the interaction problem of Platonist idealism, the formalist claims that mathematics "works" in its own realm of existence. But the claim of "works" is sophistic deception, and the formalist really digs deeper into Platonism, hiding behind the smoke and mirrors of the sophistry hidden behind this word "works". That is when the term "mathemagician" is called for. — Metaphysician Undercover
I believe, the concept of "five" in my mind is completely different from, though similar to, the concept of "five" in your mind. There is a number of ways to demonstrate the truth of this. The first is to get two different people to define the term, and see if they use the exact same expression. — Metaphysician Undercover
Another way is to look at what "five" means in different numbering systems, natural, rational, real, etc.. Another is from the discussions of mathematical principles in general. There is always difference in interpretation of such principles. You and I have significant differences, You and Tones have less significant differences.[/quotet]
You raise an interesting point. The integer 5 and the real number 5 are completely different sets. They are NOT the same set at all. They are not equal as sets. But they are the "same" number, for the reason that we can embed the integers inside the reals in a structure-preserving manner. This raises issues of structuralism in mathematics. Lot of interesting issues. Point being is that sameness as sets is NOT actually the basis of sameness in mathematics, entirely contrary to what I've been claiming. There are structural or categorical ways of looking at sameness. I concede your point.
I'll give an example. The set of numbers {0, 1, 2, 3}, along with addition mod 4, is a cyclic group with four elements. Addition mod 4 just means that we only consider remainders after division by 4, so that 2 + 3 = 1. Hope that's clear.
Now you may know the imaginary unit , characterized by the property that , and . So the set of complex numbers , with the operation of complex number multiplication, is also a cyclic group of order 4. But as any group theorist will tell you, there is only one cyclic group of order 4. Or to put it another way, any two cyclic groups of order 4 are isomorphic to each other.
So these two groups, the integers mod 4 and the integer powers of , are the exact same group, even though they are ridiculously different as sets.
This is a pretty good introduction to structuralism in math. What mathematicians are studying is not the particular sets; but rather, the abstract structure of which these two sets are each representatives. What group theorists care about is the idea of a cycle of four things. How we represent the cycle doesn't matter. Now that's Platonism too, because the cyclic group of order 4 is "out there" in the abstract world of patterns. It's real. It's not a set, it's merely represented in various ways by sets.
So you are right that sameness is a tricky business, even in math. Perhaps I will need to retreat to saying that sameness and set equality are synonymous for sets. For groups, that's not true. Different sets can represent the same group.
Maybe I just talked myself into your point.
— Metaphysician Undercover
Nevertheless, the differences exist and are very real. There is a principle which I've seen argued, and this is to say that this type of difference is a difference which does not make a difference. — Metaphysician Undercover
Aristotle called these differences accidentals, what is nonessential. The problem with that expression though, "difference which does not make a difference", is that to notice something as a difference, it is implied that it has already made a difference. So this argument is really nothing other than veiled contradiction. — Metaphysician Undercover
Anyway, this is the issue with identity, in a nutshell. When we ignore differences which we designate as not making a difference, and say that two instances are "the same" on that basis, we really violate the meaning of "same". The meaning of "same" is violated because we know that we are noticing differences, yet dismissing them as not making a difference, in order to incorrectly say "same". Therefore we know ourselves to be dishonest with ourselves when we say that the two instances are the same, by ignoring differences which are judged as not making a difference. — Metaphysician Undercover
So when you say that you think the 5 in my mind is the same as the 5 in your mind, I think that this is an instance of dishonesty, you really know that there are differences, and if pressed to argue such a claim, you'd end up in contradiction, dismissing the obvious differences as not making a difference. — Metaphysician Undercover
Right, particulars are instances, specifics are not. — Metaphysician Undercover
The concept "red" is not an instance of colour, it is a specific type of colour. — Metaphysician Undercover
\A particular red thing is an instance of red, and an instance of colour, exemplifying both. — Metaphysician Undercover
The concept "apple" is not an instance of fruit, it is a specific type of fruit.[/quote[
Ok
— Metaphysician Undercover
A particular apple is an instance of both. — Metaphysician Undercover
The concept "5" is not an instance of number, it is a specific type of number. — Metaphysician Undercover
A group of five particular things is an instance of both. — Metaphysician Undercover
Hey fishfry, do you not remember what you said to me? You said " I don't make a distinction between "same as" and "is equal to." In math they're the same. If you have different meanings for them, it does not bear on anything I know or care about." Now you've totally changed your position to say "it makes quite a big difference to me", if the taxi driver took you to a house which had an equal fare as yours, but was not the same house. — Metaphysician Undercover
Just finished reading it. It is very informative. I must say, though, that it is heavily vested in logic connected to the arithmetical hierarchy. It is still doable but admittedly an obstacle of sorts if you do not use that framework particularly often. — Tarskian
Hamkins acknowledges that the contemporary version of the proof is arguably preferable to Turing's original "detour":
Turing thus showed that the symbol-printing problem is undecidable by mounting a reduction to and through the undecidability of the circle-free problem. But let us illustrate how one may improve upon Turing with a simpler self-referential proof of the undecidability of the symbol-printing problem in the style of the standard contemporary proof of the undecidability of the halting problem. There was actually no need for Turing’s detour through the circle-free problem.
I have tried to turn Hamkins' phrasing of the standard contemporary proof into a narrative:
[... details omitted]
— Tarskian
I think that humans have a soul while programs do not. — Tarskian
However, since programs also make choices, they can just as humans appear to be "free" in making them or not. That is why I think that it is perfectly possible to analyze free will as a computability problem. — Tarskian
Motives matter. Separating families for the good of the kids is one thing. A zero tolerance policy separating all families to deter would-be immigrants is evil, unprecedented, and was quickly stopped when the public found out what was going on. — RogueAI
And yes, Biden's record on the border is awful. — RogueAI
We're not doing people any favors when we make it easy for them to come here illegally and then live in the shadows and be exploited. — RogueAI
Just an aside. You probably know this stuff. But others might not. This is not a rigorous presentation. — fdrake
When you talk about the probability of something, that needs to be defined as an event. Which is a particular kind of mathematical object. It does not tend to be the kind of mathematical object that a formula in a mathematical argument is. Eg the probability that it will be raining in 2 hours given that it is raining now makes sense. The probability that 2+2=4 doesn't make too much sense.
However. If a statement A is provable from a statement B and concerns a quantity *, the probability of A given B is 1. As an example, what's the probability of X+1=4 given that X=3? Probability 1.
Another fact like this is that if A and B are mutually contradictory, the probability that A occurs and B occurs is 0. That also works with entailment. Like the probability that X=3 given that X+1=2 is 0, since X+1=2 implies X=1, and there's "no way" ** for X to be 3 given that assumption. — fdrake
The same holds for statements *** you can derive from B using classical logic and algebra and set operations. eg if the probability that X=3 is 0.3, what's the probability that (X=3 or X!=3)? 1, since those are exhaustive possibilities. The latter does have a connection to truth, as if you end up asking for the probability of something which must be true, its probability is 1. — fdrake
For folks like Fishfry, I'm sure you can make the amenable sense I've not specified precise. Logical, algebra and set operations which can be represented as measurable functions on the sample space work like the above. "no way" corresponds to the phrase "excepting sets of measure zero". Which is the same principle that stops you from asking "What's the probability that clouds fly given that x=2?", as there's no way of unifying both of those types of things into a cromulent category of event. — fdrake
The latter also blocks a more expansive connection to truth. Since the kind of things that humans do while reasoning from premises typically aren't representable as measurable functions. Maths objects themselves also have plenty of construction rules that behave nothing like a probability - like the ability to conjure up an object by defining it and derive a theorem about it, there's just nothing underneath all maths that would take take a probability concept which would usefully reflect its structures I believe. — fdrake
:rofl: I see you're thoroughly misinformed nowadays. — Benkei
Love the cavalier attitude to the use of armed force. — Benkei
This really underlines my point. Let's pretend it's not a war and then it's ok. No matter that "war" isn't the appropriate legal term any more. No matter that the President can unilaterally decide to put soldiers, e.g. US citizens, into harm's way because "technically" it isn't a war. No matter that it's still armed aggression, which is prohibited under the UN Charter so the President is unilaterally deciding to breach treaties Congress signed up to. It's authoritarian and it was his primary M.O. with respect to international relations. Of course, other US Presidents have done the same thing but presenting Trump as a peace candidate is silly and not borne out by the facts. — Benkei
(1) The symbols I used are common. The formulas I gave are not complicated. If one knows merely basic symbolic logical notation, then one can read right from my formulas into English. For example:
AxEy yex
reads as
For all x, there exists a y such that y is a member of x. — TonesInDeepFreeze
(2) I did give lots of explanations in certain contexts. — TonesInDeepFreeze
(3) You complain about the length of my posts, but also say I should give more explanation. You can't have it both ways. And you're hypocritical since your own posts are often long, and often enough have not merely a few symbols. — TonesInDeepFreeze
Senator James Lankford is a strict conservative GOP member who was on a bipartisan committee tasked with addressing border issues. He drove a very hard bargain and got many more concessions out of the Democrats than anyone had expected, getting them to agree to what many of them thought were overly harsh measures that the GOP had been demanding for years. But then before it went to a vote, Trump got wind of it and said he didn’t want it to go ahead. Why? Because it would take away his talking points about the country being flooded with Mexican rapists. So Lankford was then pressured to vote against his own hard-fought legislation, rather than bring it to the floor - because it might have been a solution. Trump would rather keep his talking points than actually solve the problem. For his trouble, Lankford was then censured by the Oklahoma Republican Party, for the mortal sin of working with Democrats. — Wayfarer
That probably also explains why 24 previous aides and allies went on the record saying he was unfit for office and a danger to democracy. — Wayfarer
At least, if you are ever interested in a formula, but you don't know the use of the symbol, there you have it. Of course, if you're not interested in formulas, though they are the most exact and often the most concise communication, then I can't help that. — TonesInDeepFreeze
The core business in that era was pillaging someone else's farmland. — Tarskian
The narrative above is pretty much the gist of Alan Turing's proof for the halting problem. — Tarskian
In fact, there is no app that can tell minute by minute what even any other app will be doing. — Tarskian
The real requirement here, is incompleteness of the theory. — Tarskian
False. Look it up. Military intervention and threat was his primary foreign policy tool. — Benkei
And yes, Republicans are more authoritarian than Democrats even if they both are. Only Republicans have had sitting presidents and advisors argue in favour of it and the unitary executive theory. Most recently in court. Or did you miss that? — Benkei
Depending upon the quality of the university to some extent. With the exception of a 12 month post-graduate program I took at the U of Chicago for the USAF, my entire education was in large state universities (4).
I checked at what Harvard has to offer and they have two undergraduate courses in mathematical logic (and probably foundations), but at my last Alma Mater there is nothing of that kind offered at any level. — jgill
It sounds like you're getting your information from places like Townhall, TheFederalist, Breitbart, and Redstate. Am I correct on that? — RogueAI
Nearly all of these text symbols are quite common: — TonesInDeepFreeze
I stated the axioms of identity theory in multiple posts. Not funny, but true. — TonesInDeepFreeze
I did not say that it's not.
I'll say again:
First order logic with identity provides:
(1) law of identity (axiom)
(2) indiscernibility of identicals (axiom schema)
(3) interpretation of '=' as standing for the identity relation (semantics)
Set theory takes (1) - (3) and adds:
(4) extensionality (axiom) — TonesInDeepFreeze
Actually I'd say alot of them would be relieved if Biden were replaced right now. Like I said alot of Dem voters didn't want Biden to run again and the debate has been spread around so much that people know what's going on with Biden. Most of the in person takes from Democrats I've seen seem to be "yeah I'll vote for Joe over Trump because Trump, but honestly I think I will prefer anything else". — Mr Bee
Part of what makes me see the debate as a blessing in disguise. I thought Biden's campaign was a dying campaign that was gonna lose before anyways so a disastrous debate performance was just the sort of jolt needed in desperate times. I mean Biden may still stay in but if things were going in a bad direction already then hey gotta take a chance right? — Mr Bee
I'm not gonna argue policy but politically Kamala would be wise to try to distance herself from the unpopular policies of Biden's administration and tie herself to the more popular aspects. — Mr Bee
The Gaza issue for instance is something that is splitting the base right now for Biden, so another candidate who isn't as tied to Biden's actions would be better, if simply for the fact that they won't be seen as having Palestinian blood on their hands as the chief director of an administration's foreign policy. — Mr Bee
I don't think alot of Democrats would disagree with that, particularly on the progressive left (the "Bernie would've won" types). — Mr Bee
The Dems utter incompetence in running an effective candidate against an easily beatable buffoon like Trump is what got us here and may get us to another Trump term. — Mr Bee
Hilary was unpopular but the DNC decided it was her turn and she was the nominee. Biden was also uninspiring but the DNC decided it was his turn and pulled alot of strings to get more popular candidates like Buttigieg to drop out and endorse him before Super Tuesday, winning him the nomination. And now the DNC is again ignoring the will of it's voters by putting up a man the majority of the country think is too old. — Mr Bee
It's funny how apart from Biden the two candidates who won the general elections since 2008 were dark horse candidates in Obama and Trump who genuinely built up a base of support from the ground up. Maybe the Democrat party should take some lessons from that or maybe they'll try to force Kamala down our throats in 2028 since it's her turn next. — Mr Bee
I'd say the GOP also bears some of the blame too for what happened post Jan 6. They condemned Trump and what he did, rightly so. They could've impeached and gotten rid of him forever but they chickened out, perhaps because they thought that he was gonna go away on his own. The Dems thought the same and also did nothing too. — Mr Bee
You may have your own ideas on why it took Garland so long to start an investigation into Trump but I think it's just because they had the same mindset as the GOP: That Trump would simply go away and disappear because there's no way the people would flock back to a loser who tried to pull off that, right? There was no need to start a politically charged investigation into a highly controversial figure which would probably just anger the people at Jan 6. It was just pure incompetence and trust in the public to move on when they clearly seem unable to. — Mr Bee
Like I said before, courage is a rare thing for elected officials, and nobody has the guts to actually go after Trump effectively and snuff him out for good, causing him to come back as he always has. It's not that Trump is invincible but everyone else is a coward. — Mr Bee
Well at this point they have to talk as much sense into Jill as they do to Joe. — Mr Bee
And just now we have Pelosi coming on to Biden's favorite show Morning Joe and laying out that this issue is clearly not over right to Joe's face. She is still saying Biden "needs to make a decision" after he decided to stay on, which is essentially code for "we'll let you do it on your own terms, but get the hell out or else more people will lose confidence in you". — Mr Bee
Well that's the idea. He clearly has a tendency for dangerous ideas given Jan 6, but was stopped by some of the people who were working for him like Mike Pence. I guarantee you whoever he picks for his running mate and his administration won't be professionals who would keep him in check like last time. — Mr Bee
I assume we probably are gonna disagree here but I'll just leave things there. I'm not looking to debate Trump's policies or Project 2025 right now. — Mr Bee
Similarly nobody in the Biden White House can truly stop the congressional Dems from coming out and distancing themselves from the president, which is clearly something Biden is working hard to avoid. Both sides are lobbing threats at each other and Biden according to one article is promising mutually assured destruction if he is attacked. Of course if the Dems are in a sinking ship anyways then why not pull a mutiny? — Mr Bee
LBJ stepped aside and a chaotic primary ensued where RFK was assassinated. — Mr Bee
The average voter just cares about who is at the top of the ticket and a bit about who is running with them. They're not gonna think that far ahead like you are. In fact I imagine alot of them are ignorant of how succession works. Plus it's very unlikely a narcissist like Biden would just hand over the presidency to Kamala as soon as he is inaugurated. He will be in the office most likely until he dies partway through the term at 85. — Mr Bee
I don't think the party will spin it that way. Biden won't make a speech saying "Yeah I've been lying about having dementia for 2 years now so I'm stepping aside", but probably saying something along the lines of "I believe I can serve another 4 months, but not another 4 years, so I'm renouncing my candidacy". The GOP will probably continue with the narrative but as far as the Dems are concerned, they didn't lie and they Biden is just making a personal decision about his next 4 years. — Mr Bee
Also more would stay home if given the choice between Biden and Trump. Sure people hate Trump but the DNC is essentially making them walk through glass to vote against him by making the alternative just as despised and with crippling flaws of his own. — Mr Bee
My perception is people would just be relieved that they won't have to vote for a criminal geriatric and a senile one. — Mr Bee
You can say the scandal and the coverup is a bad look and the right wing circles will certainly go wild with that, but in an election full of conspiracies and scandals about laptops and documents that people seem to care very little about, at the end of the day the inattentive swing voter will just care about who they're voting for at the top of the ticket. Kamala isn't great, but she's not a corpse or a convicted felon. — Mr Bee
Yeah Biden has been in politics for 50 years but that has made him an institutionalist. Unlike Trump, he is a man who highly values norms, running on "restoring normalcy" as his 2020 pitch. The idea of running without the full support of your party is certainly breaking one of those norms and sure he may continue to soldier on as the donor network and congressional support dries up, but that is not easy for someone who's been a lifelong Dem. Trump certainly would since he never was a traditional politician, but as much as he tries to imitate him would Biden? — Mr Bee
If the lord almighty visited Biden and Trump the same day that would be the greatest day in American history where we're saved from this nightmare of an election. — Mr Bee
You hardly see because it's a feature not a bug. But some things that have me grimace in distaste are the ability of US Presidents to:
Rule by executive order (which have included travel bans, torture (Bush's classified "directive"), immigration, listening in on all data (for "security" EO 12333), healthcare reform and environmental policies).
Veto legislation.
Deploy troops in foreign territory without congressional authority (because technically it isn't a war)
Yes, this is absolutely authoritarian from the view of a European democracy. Unitary executive theory would take this even further. — Benkei
This is exactly the problem, failing to distinguish between "same as" and "equal to". — Metaphysician Undercover
Because you do not believe that there is a distinction to be made here, — Metaphysician Undercover
you will not notice the effects of such a failure, and you will insist that it doesn't bear on anything you care about. — Metaphysician Undercover
Insisting that it doesn't bear on anything you care about will allow you to be mislead, even tricked by intentional deception (as you were by the sophist's employment of "identity of indiscernibles"), and you may never ever even notice it. — Metaphysician Undercover
Here is a simple example of where the difference bears in a substantial way, though I am sure there are more complex examples. In quantum physics, — Metaphysician Undercover
a quantum of energy is emitted as a photon, and an equal quantum may be detected as a photon. Since these two quanta of energy are equal, they are said to be "the same" photon. That is the mathematician's use of "same", equal quanta implies one quantum, a photon. By the law of identity "same" implies temporal continuity, such that the photon exists, with that identity, for the entire period between emission and detection. Equivocation between these two senses of "same" inclines some people to believe that the photon exists, as the same "particle" for the entire period of time between emission and detection. However, the electromagnetic energy is observed to exist as waves in the meantime. — Metaphysician Undercover
This produces significant theoretical problems. Some claim a contradictory wave/particle duality theory, in which the energy travels as both waves and as particles at the same time. Furthermore, since the photon of energy emitted is assumed to be "the same photon" as the photon detected, and it's path cannot be determined, it is claimed to have multiple paths all at the same time. All of this sort of problem is due to equivocation of "same". The mathematical "same", an equal quantum of energy is emitted and detected, is confused with "same" by the law of identity, to conclude that a distinct quantum (particle) of energy, known as the photon, has continuous existence between the time of emission and the time of detection. — Metaphysician Undercover
You say that this issue doesn't bear on anything you know or care about, — Metaphysician Undercover
but until you recognize and understand the issue you'll never know how it bears. Furthermore, I saw how the head sophist, persuaded you to see a mathematical axiom differently, through reference to the identity of indiscernible, so I know that it really does bear on things that you care about. — Metaphysician Undercover
What is said about a thing is distinct from the thing itself. Contradiction is not in the thing itself, it is in what is said about the thing. To say that a thing has contradictory orderings is contradiction. The contradiction "is distinctly and noticeably separate from the [thing] it applies to". — Metaphysician Undercover
You are in denial, just like the sophist. "Equal" means to have the same value within a system of valuation, "same" means identical, not different. Notice that "equal" is a qualified sense of "same" the "same value", meaning identical value, whereas "same" refers to identity itself without such qualification. Two distinct things are said to be equal, being judged according to a specified value system. Two distinct things are not the same. Please tell me that you understand this difference. — Metaphysician Undercover
This is colloquial vernacular insufficient for logical rigour. The proper classification is like this. The abstraction "number" is more general, and the abstraction "5" is more specific, just like "animal" is more general, and "human being" is more specific, or "colour" is general and "red" specific. Neither is a "particular instance". — Metaphysician Undercover
One might however say that there is a particular instance of the abstraction "5", and the abstraction "number", in your mind, and another particular instance in my mind. But that would be an ontological stance which would be denying common Platonism. Platonists would say that what I just called particular instances, are really just parts of one unified concept "5". — Metaphysician Undercover
Fishfry, do you not understand what "instance" means? Here, from OED, "an example or illustration of". How do you think that a specific colour, red, is an example or illustration of the concept of colour? Red cannot exemplify "colour", because all the other colours are absent from it. That's why we go from the more general to the more specific in the act of explaining. Referring to the more specific abstraction, "red" is an instance of "specifying", it is not an instance of "colour". — Metaphysician Undercover
How do you propose that this indicates that equal implies "same as"? — Metaphysician Undercover
I cannot follow your association. What the head sophist calls "identity theory" is simply an axiom of identity which is inconsistent with the law of identity. The sophist dictates that "=" means identical to, and this is the first principle of the sophistry referred to as "identity theory". — Metaphysician Undercover