This seems too vague to me, like a lot of philosophical posts out there.
> For example, if it is true that Aunt May believes that Spider-Man fights crime, then even though Spider-Man = Peter Parker, it does not follow that Aunt May believes that Peter Parker fights crime.
If you can't substitute Peter Parker for Spider-Man, then they are by definition not equal...
Peter Parker = Spider-Man, but "Peter Parker" != "Spider-Man".
It may or may not be true that 12345x54321 = 670592745. (I either put in the correct number there, or changed one digit in the middle at random.)
Let's suppose I didn't change it, and that you haven't yet checked. Then those two things are, really truly, equal -- they are two names for the exact same number -- but you don't know that they are equal. So the _meanings_ of "12345x54321" and "670592745" are not exactly the same, even though if "=" belongs anywhere it belongs between those things.
Philosophers call the thing that's the same the "extension" and the thing that's different the "intension" (not to be confused with "intention" which is an ordinary non-technical word). Sometimes you can safely substitute one thing for another whenever the extensions match -- e.g., when doing algebra. Sometimes you can't -- e.g., when talking about someone's beliefs.
I am not a fan of Edward Feser and I think this article is pretty wrongheaded, but there isn't anything specifically wrong with what he says about Peter Parker and Spider-Man.
My impression of this as a programmer is that if one is modelling a system in which different people may have different beliefs then one must design the model accordingly, otherwise there will be bugs.
But that doesn't mean there's anything wrong with logic itself. Whatever model you come up with is still going to be based on classical logic so at some point you still need to assume that that remains valid in order to do anything at all. And I've never heard of a case where this could fail, at least not within the finite worlds one can in practice model.
I wrote my master's thesis on this exact topic back in 1989. The answer IMHO (which is due to Bertrand Russel [1]) is that the correct rendering of "Aunt May believes that spider man fights crime" is not BELIEVES(AUNT-MAY, FIGHTS-CRIME(SPIDER-MAN)), it is EXISTS(X): BELIEVES(AUNT-MAY, FIGHTS-CRIME(X)) AND BELIEVES(AUNT-MAY, NAME-OF(X, "SPIDER-MAN"))
and then you can also throw in BELIEVES(AUNT-MAY, NOT(NAME-OF(X, "PETER-PARKER"))) if you like.
I think this is wrong, because it can happen that Aunt May believes "Spider-Man fights crime" (she's read lots of newspaper articles saying so) without there being any specific entity that she believes to be Spider-Man.
That is, these two things are different: EXISTS(X): BELIEVES(AUNT-MAY, FIGHTS-CRIME(X)) AND BELIEVES(AUNT-MAY, NAME-OF(X, "SPIDER-MAN")) and BELIEVES(AUNT-MAY, EXISTS(X): FIGHTS-CRIME(X) AND NAME-OF(X, "SPIDER-MAN")), and the second seems to me like a better translation of "Aunt May believes that Spider-Man fights crime", at least for some of the states of affairs you might summarize with that sentence.
You are exactly right. The natural language version is ambiguous. c.f.: "Aunt May believes that Santa Claus fights crime." Philosophers actually argue about things like this, not so much for Santa Claus fighting crime, but whether e.g. "Santa Claus has a beard" is true or false.
In this case, that doesn't matter. What matters is if Aunt May knows or believes that Peter Parker is Spider Man. The equation "Spider-Man = Peter Parker" may be true in the example, but that doesn't mean much. Imagine that we could only think true thoughts...
Indeed, but the issue here is not whether Peter Parker is identical with Spider-Man, but whether two beliefs are the same. The conventional way of looking at it is that talking about what people believe or feel, rather than how the world is (putting aside the complication that this is a fictional character!) creates an "intensional context", in which the substitutability of one name or noun phrase for another is not a given, even if they designate the same thing.
For materialists, it is not difficult to see that the brain of Aunt May believing only "Spider-Man fights crime" would be in a different state than if she also believed "Peter Parker fights crime", as going from the former to the latter would require some physical change.
Nope, and that's why many logical systems are talking about what is at a given time and fail in practice. There are logical systems that take time into account to solve those issues (look at something called referent tracking).
Yeah, but there's an epistemic/cultural issue at play. There's an entire thread below where Mathematicians are aggressively objecting to me demonstrating some of those alternative notions to the point of calling the realizations of my designs "wrong" even though the reification is equivalent to the design.
But in the extreme case you can also construct universes which only speak of inequalities (total order) as a rejection of the identity axiom.
In that universe Peter Parker and Spider Man are different entities, and so what you can and can't say about them is entirely down to judgment.
The most important question is WHY do you want to say anything about anything and who do you want to say it to?
It's difficult to encode any information in language without knowing who is going to be decoding it.
I disagree, because in both programming languages and in natural language, "now" is not a constant: it's a function that returns a different value depending on when it's called.
While the syntax is "now", what you're really saying is now(Ti) for some i.
So the sentence, in both natural language and most programming languages becomes:
now(T0) != now(T1)
Which is easier to understand, with all arguments made explicit.
Now, some "clever" programming language might automatically translate
this from
now != now
To
a := now(T0)
a != a
Which will be surprising to the programmer in most cases (but might be what's desired in others).
The important thing is that "now" is not a comstant, but a function.
> The function I am talking about doesn't take any arguments.
All impure functions have an implicit dependency on (some subset of) the state of the universe when they execute; in mathematics and logic something with this kind of dependency is typically noted by parameterizing it by time when the actual precise nature of the dependency is outside of the scope of the immediate analysis (because a dependency on the state of the universe at the time of execution is equivalent to a dependency on the time of execution with a hidden function mapping time to state of the universe.)
That impure functions methods are in many programming languages syntactically not distinguished from pure ones does not change the logic here.
That Time.now(at time t0) is distinct from Time.now(at time t1) is... unsurprising, and not an example of A != A in logical terms.
By the way... your conception of a pure function is incoherent.
Parameters ARE inputs. Results ARE outputs. Renaming them to something else is just obscuring the fact that you are still talking about a function with side-effects.
So using Python as my model of computation this is a pure function, but it does nothing:
def f(): pass
This is NOT a pure function. It has outputs.
def g(): return True
This is NOT a pure function. It mandates input.
def h(x): pass
This is NOT a pure function - it mandates input and produces output:
def j(x): return x
This is a pure function. It calculates the answer to 2+2, but doesn't tell you what it is.
def k(): 2+2
If pure functions take no input and produce no output, what is there left to analyse? What is Logic and Mathematics talking ABOUT?
You know what the state of the universe is when you do logic?
Tell us more! I didn't believe in omniscience until now.
Time.now(t1) and Time.now(t2) is meaningless in this context because t1 and t2 are unbound variables. What are you passing to your function? Where is it coming from?
My function says you are overlooking something.
[1] pry(main)> Time.now(t1)
NameError: undefined local variable or method `t1' for main:Object from (pry):1:in `__pry__'
[2] pry(main)> Time.now(1)
ArgumentError: wrong number of arguments (given 1, expected 0) from (pry):2:in `now'
If you're familiar with the literature of programming languages, you'll see references to the "world" or the "universe" all the time. That's the kind of universe we mean in this discussion, not the one Carl Sagan talked about.
As for the rest: please provide the implementation of your Time.now function and I'll tell you its implicit parameters. If you're not talking about an actual function that can be run by a computer, then please tell me so and I'll drop it -- I'm not interested in hypothetical functions tautologically defined not to be equal to themselves.
>If you're not talking about an actual function that can be run by a computer
As far as I can tell you are not talking about such a function either when you speak about equality, but I'll reserve judgment until you produce an implementation.
>I'm not interested in hypothetical functions tautologically defined not to be equal to themselves.
OK, but you are interested in hypothetical functions tautologically defined to be equal to themselves.
That's perfectly fine - we are interested in different tautologies.
We are talking about function declaration not implementation, right?
The expression A = A can be trivially re-written in another notation as equal(A,A).
The reason you don't question the implementation of the equal() function is because it's declared as being true
however it's implemented.
So, I declare f() != f() as being true. I also declare that f() takes no arguments. All I am doing is translating (transpiling?) English into Ruby.
"Now is not now" => "Time.now != Time.now"
Talking about function arguments is not even in point. What's the argument to now() in English?
> All I am doing is translating (transpiling?) English into Ruby.
Incorrectly.
> "Now is not now" => "Time.now != Time.now"
Sure, “Now (pointedly looks at watch) is not now (pointedly looks at watch)” is true, and the equivalent of the Ruby. Ruby expressions lack the implicit simultaneity that English sentences wthout some contextual signal of explicit time dependency have, and your mistranslation ignores this.
These are imperative commands to execute, as apposed to a declarative statement comparing a value to itself.
You can’t switch between symbolic representations to use the meaning of one to make statements about the other because the meaning of the symbols also switch.
But if you want to communicate with others you’ll need to agree on your symbology.
In the common mathematical understanding A != A is defined as a false statement. In any example that one can contemplate it would become a true statement then you are replacing one of the ‘A’ symbols with something that is not ‘A’ in your mind.
Which is to say you are using the wrong symbols to represent the idea you intend to communicate.
Indeed I want to communicate with others, but I do not insist on communicating with Mathematicians in particular. I want to communicate with anybody who wants to talk to me about the nature of time. And when we converse about time I want to be able to say the obvious: now is not now.
If we get more serious about this time business we might even want to formally express that:
A != A
If anybody insist that the above is false then they can exclude themselves from any formal or informal conversation about time on the basis of incomensurability of our paradigms
The above is a false statement because if we say A is "true" then the statement becomes "true != true" which is obviously a false statement. In fact if we put anything in the place of A the results are the same.
If, however, you wish to communicate the evaluation of a function such as "now()", then you would express that as two invocations of that function
now() != now()
or
t != t'
or simply
A != B
So simply using 'A' to mean things not exclusively 'A' is unnecessarily ambiguous. This makes it not only useless for communication between people but also makes it useless for forming any meaningful conclusions.
Failure to be completely expressive about a paradigm is not itself a paradigm. Its just faulty reasoning.
>Failure to be completely expressive about a paradigm is not itself a paradigm. Its just faulty reasoning.
I am being as expressive as my expressivity allows!
for x in all-entities-in-universe: SOMETIMES(x = x)
Here is an example in Python:
class A: pass
class B:
def __eq__(self, other): return False
a = A()
b = B()
assert (a = a)
assert not (b = b)
Would you be willing to lead by example and be completely expressive about the paradigm in which fault() is a meaningful function?
Don't moralise about my reasoning, when you are done implementing fault() we can pass my function as an input to yours. That will settle the matter without ceremony.
No need to bring Ruby into this; every language with impure functions (which is almost every language) can reproduce your example.
f() != f()
And it's not hard to find an f that will satisfy this. This is not surprising or insightful to anyone with programming experience.
Do note two things:
The notation f.call is the same as f(), i.e. function invocation. You're not comparing functions but invoking them and comparing their results.
I don't know the equivalent syntax in Ruby, but in other languages the following is always true:
f == f
That is, comparing the actual function (something that is constant even if the function is impure) instead of invoking it twice and comparing the results.
Note that the assertion "two things that are not the same might be different" is completely unsurprising. We're just letting syntax confuse us in this discussion.
I am bringing Ruby into the discussion so that I can simply point to an ostensive/empirical example - it spares all of us from the tedious "define it!" game.
It depends on which evaluation strategy you are using. Call by value or call by reference.
def f
return Time.now
end
f == f
It produces exactly the same effect as the one I am going for. Look past the syntax.
I don't know Ruby. In your example, if you're comparing the function itself, it is true that
f == f
But it's not true if that's function invocation and there are implicit arguments. Applying a function and comparing its definition are of course different.
The evaluation strategy must come after we agree whether we're comparing values after invocation or definitions. If it's invocations, the evaluation strategy you pick can change the meaning of the program, so that we must discuss semantics.
A straightforward way can be to simply compare the text of the functions, as written in your programming language of choice, in this case Ruby.
Just take the text of both functions, do a diff, and if it says they are the same, they are the same.
Another comparison could be more abstract, since we know there's more than one way to accomplish the same with a programming language: two functions are the same if, given the same input, they produce the same output. You can either prove this by extension, if the number of possible inputs is finite and small, or you can prove it logically. With some languages which enforce purity using types, you can even show two functions are the same just by looking at their signatures, no need to evaluate anything! (this is one advantage of some statically typed languages, by the way!)
> There are no implicit arguments to the function I have in mind. Passing an argument to the function I have in mind is an error.
Yes, there are implicit arguments. You don't see them because they are implicit! A function that returns the moment in time, "now", of course depends on an implicit argument: the current time! How else is it going to know the moment of "now", otherwise? Think about how such a function is implemented.
Indeed. I pointed this out and provided a link in my first post on this thread.
>You don't see them because they are implicit!
The fact that my function takes no arguments is implicit in the specification of my function. I know because I said the English sentence "The function that I have in mind takes no arguments".
You seem to be suggesting that I don't know what function I am thinking about but you do. This is a very peculiar hypothesis.
Your function does take implicit arguments. There's no way your Ruby function can return the current time ("now") without external dependencies that supply that time.
If you want to argue otherwise, you must provide this hypothetical implementation that complies with your specs. I'm telling you that your function effectively can't exist as you describe it. In order for your function to work it requires an implicit argument (the "world" if you want to be coarse, though in this case we know it's the time).
If you want to argue that
magical function is not magical function
that's fine, but also uninteresting. Magic is not bound by the constraints of the physical universe. We generally don't find arguing about leprechauns and unicorns for this reason (at least, not seriously).
You are asking me to provide the hypothetical implementation for a real-world function?
I don't know how to respond to this. Just observe the thing I am showing you. THAT is what I am talking about. It's right before your eyes - I took it from my head and made it real.
>If you want to argue that
I DON'T want to argue! All I am doing here is expressing myself - you are the one jumping down my throat.
This is me telling you that I am not interested in any social game of figuring out "who is right or who is wrong". If that's the game you are playing - I am happy to terminate the interaction.
What I mean by f() != f() in the abstract is precisely that Ruby program in the concrete. Nothing more - nothing less.
There is no room for "right" and "wrong" here. Those are moral judgments and I've committed no moral violation of any sort.
I'm asking you to provide the actual implementation of your hypothetical function now().
I don't need to know the implementation of the real function Time.now from Ruby because, without looking at its source code, I can tell you that it has implicit arguments.
How can I tell this? Because it's impossible for your Ruby program to tell the time without some kind of interaction with an external source (be it the computer clock, the internet or whatever); this source is your implicit parameter and it's why two invocations of your function don't return the same value. It is impossible for your function not to have this source of time, either implicitly or explicitly.
If you disagree, then please explain how your function tells time.
And I am asking you to provide the actual implementation of your hypothetical function equal().
I don't need to know the implementation of the real function == from any programming language because, without looking at any source code I can tell you that it has implicit arguments: a tautology.
If you disagree, then please explain how equality functions.
I read your point as similiar to u/tgflynn's point about modeling (upthread).
Being a simple bear, so formal logic breaks my head, I agree.
Just a hunch:
These "impedance mismatches" are one root cause for our society's current epistemological crisis. Cases where we can't even agree to a shared base truth.
Further, "now is not now" is a bit like paradox, no? The ability to hold two contradictory thoughts in your head at the same time. A large fraction of people recoil from ambiguity. Also a source of endless strife.
> For example, if it is true that Aunt May believes that Spider-Man fights crime, then even though Spider-Man = Peter Parker, it does not follow that Aunt May believes that Peter Parker fights crime.
If you can't substitute Peter Parker for Spider-Man, then they are by definition not equal...