- You have often ignored my inquiry about whether it is possible to delete a point as rhetorical or unworthy, but I don't think it is. In Aristotelian terms you are conflating a description with a definition. There are different ways to describe a circle, but where each description overlaps the object in question is identical, at least according to an Aristotelian frame. That is to say, whether we draw a circle with a compass or with Aristotle's method, we still arrive at a circle. The method of drawing is not itself the definition of a circle.

You seem to identify different mathematical representations with the definition of a circle in a curious way. This strikes me as odd, but I don't mean to imply that a consensus of mathematicians would favor my view. So to nail it down a bit:

• EC (Euclid's Circle): The set of points equidistant from a single point.
• AC (Aristotle's Circle): "The locus of points formed by taking lines in a given ratio (not 1 : 1) from two given points constitute a circle."

(We are implicitly talking about a plane figure.)

Do Euclid and Aristotle disagree on what a circle is? That sort of question is what I think lurks behind much of our disagreement, such as the deletion of points. If two people draw something differently, can they both have drawn a circle?

- I was trying to use your own verbiage there, as I had been using the word "contains." For example:

The incline plane does let you see something important though, you might need to supplement Euclid's theory with something that tells you whether the object you're on is a plane. Which is similar to something from Russell's paper... "For all bivalent...", vs "For any geometry which can be reduced to a plane somehow without distortion...". The incline plane can be reduced to a flat plane without distortion, the surface of the sphere can't - so I chose the incline plane as another counterexample since it would have had the same endpoint. But you get at it through "repairs" rather than marking the "exterior" of the concept of Euclid's circles. Understanding from within rather than without. — fdrake

So suppose we are talking about the cross-section of a sphere, which is what I originally thought you were pointing at. Is that something like a circumscribed inclined plane? It is certainly a set of coplanar points. Now you say, "The incline plane can be reduced to a flat plane without distortion." This captures what I said by, "an inclined plane is [...] reducible to a Euclidean plane." "Qua circles," meant to indicate the idea that an inclined cross-section of a sphere could be reduced to a Euclidean circle or else a flat circle." Or to use my own language, the inclined cross-section of a sphere "contains" a Euclidean circle.

Now does such a cross-section really contain a Euclidean circle? Trying to gain a great deal of precision on the answer to this question seems futile, but it seems to me that it is "correctly assertible" that it does (whatever your "correctly assertible" is exactly meant to mean :razz:).

I think this is a good line of argument. I had thought of physicalism, also metaphorically, as kind of a snake pit where whenever one snake pops its head up and you cut it off, another one simply reappears in its place, reflecting the adaptive ability of physicalism to proliferate new versions of itself in response to new objections. This overall amorphism seems highly suspect in the context of scientifc endeavour. But then the question arises, as you and others have pointed out, is it really realistic to presume you can entirely rid yourself of that type of problem and "just do" science under the guidance of methodological naturalism or some other supposedly more neutral framework? Aren't there snakes everywhere? Aren't there metaphysical commitments inherent in making your job philosophically coherent as an enterprise?

I think to an extent there are. And an associated problem is even finding generally accepted definitions of the concepts in question, so that hard lines can be drawn. Perhaps the scientific method, methodological naturalism, metaphysical naturalism (including physicalism) can be placed on a kind of spectrum of increased commitment and perhaps even that modest enterprise has its complications. — Baden

Yes, good. First I want to say that every metaphysics is going to be a little bit like a regenerating hydra by definition. This is because the metaphysics provides a scientific paradigm, and to falsify a paradigm is more difficult than to falsify a theory. Paradigm shifts are unwieldy. Nevertheless, if a paradigm shift is made impossible by the ambiguity of the metaphysics then there is something wrong with the metaphysics. A metaphysics should be durable but not invincible.

Second, there is a significant difference between an explicit metaphysics and an implicit metaphysics. In some ways those on my side of the aisle want to say that the methodological naturalist should get explicit about his implicit metaphysics. I think this is clearly right, at least to the very limited extent that the methodological naturalist needs to explicitly admit that he has an implicit metaphysics. Does he need to go further and "make it explicit"? Not necessarily. That may not be the job of the scientist, and it may be imprudent for him to try if he is not up to the task. If his metaphysics is a fuzzy background to his theories, then it may be better to leave it fuzzy rather than try to explicate what is not clear. I want to say that the scientist only needs to muster his metaphysics when he is challenged on that front, but that for the most part he should leave it alone.

But I still think its useful to try to get out Occam's razor and try to do what we can, especially when one finds oneself defending science against ideological and metaphysical encroachment in general. — Baden

Sure, but if science is the grass and metaphysics is the soil then I would want to talk about the kind of soil/metaphysics required, namely rich or fertile soil. If that is the right analogy, then we would never talk about soil encroachment in general.

I was just told about a new book in this area: Spencer Klavan's, "Light of the Mind, Light of the World: Illuminating Science through Faith." Apparently he makes a case that the (religious) metaphysics of the West birthed science.

But qualitative studies do play a part in science and the soft sciences are absolutely drenched in philosophical commitments, particularly structuralist ones. Though, again, there is some kind of division envisioned between methodologies and metaphysics, it's very hard to see where that line really is. That's probably a conversation that's too broad for the scope of this thread, though I won't deny its relevancy. — Baden

:up:

- There's no point in continuing if it is the same thing over and over. I have tried to move it away from the great circle into questions about disagreement in general, but if you only want to keep bringing it back to the great circle without introducing any new arguments regarding the great circle, then it will be the same thing over and over. In that case I agree that we should not continue.

Though I can see you're not having it. — Moliere

I'm not having it because you keep begging the question. You say there is a sentence/claim but you won't say what the sentence is.

It's not much different to say, "Suppose there is a sentence that is true and false. Therefore the PNC fails."

Or else, "Suppose there is a sentence that is true if it is false and false if it is true. Therefore the PNC fails." But that's not an argument. It's, "Suppose the PNC fails; therefore the PNC fails." In order to make an argument you would actually have to identify such a sentence, and I have already pointed out the problems with the "Liar's sentence."

-

I'll start with your first premise. "...is false" presupposes no such thing as an assertion or claim -- like I noted earlier "This duck is false" could mean "This duck is fake", right? — Moliere

"If false doesn't mean 'false', but instead means 'fake', then <This duck is false> succeeds even though 'this duck' is not an assertion or claim."

Do you see how silly this is? You redefined falsity as something other than falsity in order to try to make a substantive point about falsity. Do you see why I feel that I am wasting my time? These are the sort of moves that so-called "Dialetheists" routinely engage in, at least on TPF.

Note too that, "This sentence is false," is different from, "This sentence is false is false," or more clearly, " 'This sentence is false' is false. " Be clear on what you are trying to say, if you really think you are saying something intelligible at all. Be clear about what you think is false. — Leontiskos

"This sentence is false" is all I need. — Moliere

So what do you think is false? <This sentence>, or <This sentence is false>? "This sentence" cannot refer to both at the same time. You have to pick one.

How can you insist that one is more correct than another? — fdrake

I think I've been pretty clear that I don't think one is more than correct than another, at least in the face of a skepticism or a univocity like your own. For instance:

If they are different theories then they define different things, i.e. different "circles." The monist can have Euclidean circles and non-Euclidean circles. He is in no way forced to say that the token "circle" can be attached to only one concept. — Leontiskos

In common usage there are no square circles, but if we redefine either one then there could be. I've said this many times now.

-

Alright. It just surprises me that you survived all of these different things to do with maths concepts with a strong intuition remaining that there's ultimately one right way of doing things in maths and in logic, and that understanding is baked right into the true metaphysics of the world. — fdrake

I don't know where you're getting these ideas. This started with an offhand comment to frank about "square circles lurking just around the corner," and then you launched into an extended argument in favor of square circles. Early on I asked about your motivations, and you said something in favor of "shit-testing" and then tried to repair that idea in favor of "counterexamples based on accurate close reading." But it is not coincidental that shit-testing is something like the opposite of close reading, and that your posts haven't engaged in much close reading at all.

I mean, what would a university math professor think if they saw someone arguing that they can delete the point in the center of a circle and make it a non-circle? I think they would call it sophistry. They might say something like, "Technically one can redefine the set of points in the domain under consideration, but doing this in an ad hoc manner to try to score points in an argument is really just sophistry, not mathematics."

Neither of us disagree on what Euclidean, taxicab or great circles are at this point, I think. So they're not "slippery", their norms of use are well understood. The thing which is not understood is how they relate to the, well I suppose your, intuition of a circle. — fdrake

It is petitio principii to simply insist that, say, an inclined plane is not reducible to a Euclidean plane qua circles. You haven't offered anything more than arguments from your own authority for such premises. Beyond that, I see misreading, not close reading. I have said things like this many times:

But the deeper issue is that I don't see you driving anywhere. I don't particularly care whether the great circle is a Euclidean circle. If you have some property in your mind, some definition of "great circle" which excludes Euclidean circles, then your definition of a great circle excludes Euclidean circles. Who cares? Where is this getting us? — Leontiskos

-

I would say that someone correctly understands a mathematical object when they can tell you roughly... — fdrake

But how do you know that when I talk about a circle I am restricting myself to a very strictly interpreted Euclidean conception, such that an inclined plane is not reducible to a Euclidean plane? You are the one who is insisting that there is a right answer to questions like these, not me.

I wouldn't say I understand the object well yet, nor what theorems it needs to satisfy, but I have a series of mental images and operations which I'm trying to be able to capture with a formalism. — fdrake

But it's odd to talk about an "object" here. As you go on to say, you don't even know if the "object" exists. You're just attempting to solve a problem or create a model.

I also don't want to say that all objects are "merely" stipulated, like a differential equation has a physical interpretation, so some objects seem to have a privileged flavour of relation to how things are, even if there's no unique way of writing that down and generating predictions. — fdrake

J's new thread seems on point.


The interesting question I see here is something like, "Why should we disagree?" What is a sufficient reason to disagree with someone? You seem to have fallen into the odd trap of claiming that mathematics is all arbitrary and that I have nevertheless committed some grievous sin by supposing that an inclined plane can be reduced to a Euclidean plane. If all mathematics is arbitrary, then there are no grievous sins. There is just ignorance of stipulations (such as the "great circle"). So then perhaps I am ignorant of the precise properties of a commonly-known stipulation in the math world (i.e. a "great circle"). But is that really a problem? Does someone really need to have a Masters in mathematics and understand the stipulated metaproperties of great circles in order to claim that there are no square circles lurking around the corner? I really doubt it.

Granted, I realize you think some mathematical constructs are more applicable than others, but I won't press you on that unless you somehow think that it bears on this question of the great circle.

I don't know what to tell you other than you learn that stuff in final year highschool or first year university maths. If you're not willing to take that you can do those things for granted I don't know if we're even talking about maths.

Maybe we're talking about Leontiskos-maths, a new system. How does this one work? :P — fdrake

Shit-testing? I think you're just pulling shit out of your ass out of desperation at this point. You're a few inches away from Amadeus', "I'm right because I'm right, and you're wrong because I said so!" ...Which is ironic given that you meant to demonstrate that being right about math is not as easy as one supposes. Have you succeeded, then?

I've had plenty of university math. You strike me as someone who is so sunk in axiomatic stipulations that you can no longer tell left from right, and when you realize that you've left yourself no rational recourse, you resort to mockery in lieu of argument.

Of course you can. If someone tells you that modus ponens doesn't work in propositional logic, they're wrong. — fdrake

Maybe "propositional logic" is as slippery as "circle."

More normative. It's not correct to assert that modus ponens fails in propositional logic because how propositional logic works has been established. — fdrake

"Established"? A bit like, "verbatim"? All you mean is, "If you mean what I mean then you will conclude what I have concluded." You vacillate on the question of whether one should or does mean what you mean, and that's a pretty serious problem. It seems like you haven't thought about these issues as much as you thought you had.

they're norms of comprehension, and intimately tied up with what it means to correctly understand those objects. — fdrake

So are there rational norms or aren't there? What does it mean to "correctly understand a stipulated object"? One minute you're all about sublanguages and quantification requiring formal contexts, and the next minute you are strongly implying that there is some reason to reject some sublanguages and accept others. I suggest ironing that out.

Someone who was familiar with the weirdness of sphere surfaces, eg Srap Tasmaner, will have seen the highlighted great circle, said something like "goddamnit, yeah" — fdrake

The problem is that if you hold that mathematics has no unconditional or "unquantified" relevance, then you can't give a top-level mathematical critique. You say the point at the center of a circle can be "deleted" and I say it can't, but you presuppose that there is no way of adjudicating this question. You want to be right while also holding that there is no right or wrong in such things. Hence the bluster.

Yes

Here I am using it, no? Its use-case is philosophical, rather than pragmatic, but I don't think that makes it meaningless. — Moliere

So you use phrases like that in conversation?

To use ↪Srap Tasmaner 's division, this example is in (1). A child can understand the sentence. — Moliere

Bollocks. It is absurd to claim that such a sentence pertains to, "everyday language use and reasoning," or that a child could understand it.

"Duck is false" and "2+3+4+5 is false" don't work because "Duck" and "2+3+4+5" are not assertions at all, but nouns. — Moliere

Well, 2+3+4+5 doesn't seem to be a noun, but okay.

The pronoun in "This sentence is false" points to itself, which is a statement. — Moliere

You haven't managed to address the argument. Let's set it out again:

1. The clause "...is false" presupposes an assertion or claim.
2. "This sentence" is not an assertion or claim.
3. Therefore, "This sentence is false," does not supply "...is false" with an assertion or claim.

Now here's what you have to do to address the argument. You have to argue against one of the premises or the inference. So pick one and have a go.

-

Note too that, "This sentence is false," is different from, "This sentence is false is false," or more clearly, " 'This sentence is false' is false. " Be clear on what you are trying to say, if you really think you are saying something intelligible at all. Be clear about what you think is false.

---

Edit:

"This sentence is false" — Moliere

Or if you like, why is it false, whatever "it" is supposed to be? How do we know that it is false? Is it because you said so? But you saying so does not make a thing false, so that's a dead end. Even Wittgenstein understood that a sentence cannot prove or show its own truth or falsity.

It is as interesting to say, "2+2=4 is false." Have we thus proved Dialetheism? That 2+2=4 is both true and false? Of course not. :roll:
In both cases the only takeaway is that the speaker is confused.

That isn't strictly speaking true, it's just that the generalisation of the concept of planar figure which applies to circles is so vast it doesn't resemble Euclid's one at all. You can associate planes with infinitely small regions of the sphere - the tangent plane just touching the sphere surface at a point. And your proofs about sphere properties can include vanishingly small planar figures so long as they're confined to the same vanishingly small region around a point. — fdrake

We seem to think about mathematics very differently. You think that a point can be deleted; that a set of coplanar points might not lie on a plane, etc. Those strike me as the more crucial disagreements. Whether something can be "reduced to" a Euclidean plane or "contains" a Euclidean plane seems less crucial and more arbitrary.

At the heart of this thread seems to be the question of whether we can actually say that someone is wrong. In mathematics the point becomes protracted. For example, you might say that I am wrong about the great circle only if I am determined to bind myself to purely Euclidean constraints. Your notion of "correctly assertible" seems to be something like a subjective consistency condition, in the sense that it only examines whether someone is subjectively consistent with their own views and intentions. For example, given that someone says something contradictory, on this theory one can only say that they are wrong and disagree if there is good reason to believe that the person accepts the PNC. If there is no good reason to believe that the person accepts the PNC, then one cannot call them wrong or disagree. The logical monist, among others, will say that someone can be wrong for contradicting themselves even if they don't subjectively claim to accept the PNC.

As I have noted many times, whether the great circle is a circle seems to be a mere matter of names, or stipulated definitions. Not so with the PNC. We can't just change a name and resolve that conflict.

A paper that I often return to in this regard is Kevin Flannery's, "Anscombe and Aristotle on Corrupt Minds," although this paper is about practical reason, not speculative reason.

What I was calling shit testing is the process of finding good counterexamples. And a good counterexample derives from a thorough understanding of a theory. It can sharpen your understanding of a theory by demarcating its content - like the great circle counterexample serves to distinguish Euclid's theory of circles from generic circles. — fdrake

Okay, but I still don't understand why you are calling this "shit testing." Why does it have that name? It sounds like you want to give counterexamples that highlight subjective inconsistencies. Fine, but why is it called "shit testing?"

If you are just trying to give good counterexamples, then my critique of Cartesianism does not hold, but in that case I have no idea why it would be called "shit testing."


(The other possibility here is that someone's counterexample is more method than argument. For example the ancient Skeptics would argue with everyone who made a strong claim in order to try to demonstrate that strong claims cannot ultimately be made. That is apparently part of what is going on here, for the great circle has no direct bearing on square circles, but if one can generate a strong enough skepticism about circles then all claims about circles become mush, including claims about square circles.)

- I agree. Theism and evolution are both examples of unified theories. Theism is a case where mind and matter are said to come from mind; evolution is a case where mind and matter are said to come from matter. In both cases one side is given a primacy, even if the explananda are only thought to be virtually or implicitly present in the explanans. Of course there are also more robust dualistic theories than the brute fact theory noted.

Good shit testing requires accurate close reading. This is how you come up with genuine counterexamples. — fdrake

I am considering making a new thread on a related topic, but I am wondering what you actually mean by "shit testing"? Originally I thought you meant something like, "Throwing all the shit you can think of at a wall and seeing if anything sticks. Submitting an idea to a shitstorm of objections and seeing if it is still standing in the end." Yet now as you refine the idea we seem to be getting further and further from that idea, even to the point that I am wondering whether "shit testing" is an appropriate name.

(I suppose you might have meant, "Testing an idea to see if it is shit," except that that is much too far away from the quibbling that I complained of.)

- No, you're to blame for trying to reframe the issue around bogeys of "authoritarianism" and "closed-mindedness." You're a joke.

- Prayer is just a special form of impetration or petition. I suppose one could send a petition to no one in particular—a kind of message in a bottle addressed to the universe at large—but that's really not what the word means. So if person X does not exist, you do not ask person X to do something for you.

And thus the moralistic undercurrents driving this silliness have finally become fully explicit. It's hard to put so much effort into defending an undefined thesis without this sort of moralistic self-righteousness. But of course it was there all along.

- And here I was under the impression that Jamal invented TPF. :smile:

- That is closer to the foundational discussion between Srap and I, but still different. I think 's post is quite good.

There are two questions with this pluralism/monism debate: What the heck is the thesis supposed to be, and Who has the burden of proof in addressing it? The answers seem to be, respectively, "Who knows?" and "The other guy!" :lol:

By rephrasing it in terms of the puzzle of the Meno and the possibility of discursive knowledge I sought to avoid such swamps, and I did that before this thread was necrobumped. The problem with this thread is that Banno and G. Russell want to say something controversial and novel and are therefore always moving between their motte and their bailey. The first question is to ask what the thesis is supposed to be, and what 'logic' means for the person proposing a thesis.

This is a helpful OP.

Q1. Why is the number 23 not divisible (evenly) by 3?
Q2. Why are 23 objects not evenly divisible into three collections of whole and unbroken objects? — J

In your other thread we touched on the Scholastic transcendentals or convertibles. Another transcendental besides being and truth is oneness (unum).

For Aristotle mathematics is the study of what belongs to quantity in various different ways. For example, arithmetic is the branch of mathematics that studies discrete quantity.

Now is it a causal fact that reality is bound up with oneness? Not really. Oneness is metaphysically foundational to reality, and is convertible with other foundational rational aspects of reality. Usually when we think of a causal reality we think of something that is limited to some subset of reality or some subset of substances. For example, reproduction via pair mating is a causal reality because it is differentiable from other kinds of reproduction and from other kinds of causes. To call the transcendental of unum "causal" would seem to be mistaken given its extreme ubiquity. Nevertheless, we need not say that it is necessary in some super-metaphysical (mathematical?) sense. So if the only categories are thought to be the category of the causal and the category of the mathematically necessary, then we would be out of luck. A universal metaphysical property of all reality, such as unum, is neither.

This idea is bound up with Platonism: that there are universal forms in which all of reality participates, and in which the human mind participates in a special way through studies like mathematics. In that way I would want to say that mathematics is not prior to reality and reality is not prior to mathematics—which is perhaps an Aristotelian variant of the Platonism. But whether we think of Plato or Aristotle, in either case there must be some tertium quid in which both reality and human knowing participate.

What we really want is an explanatory structure that preserves both of the seemingly ineluctable realities – of logic and of being. Kimhi has his views about how we might get there. A theistic argument might posit a “perfect match” because creation is deliberately thus. Or – using a metaphor from Banno – we find ourselves with a Phillips-head screw and a screwdriver that matches, so let’s leave a designed creation out of it and try to work on the problem in evolutionary terms. (I don’t think such an approach will take us far enough, but it’s certainly respectable.) — J

To say that the alignment between screwdriver and screw is an opaque and brute fact is to have abandoned the search for an overarching explanatory structure. If there is an explanatory structure that preserves both, then that explanation must encompass both the mind that knows reality and reality itself. I don't see how one could arrive at an explanatory structure such as you desire without this overarching aitia.

You forgot that Euclid specifies a circle as a plane figure. — fdrake

No I didn't.

I realise you're not going to accept that a great circle is not a Euclid circle, or that a circle in a plane at an angle isn't a Euclid circle without a repair of his definition — fdrake

See:

Yet perhaps it is not a torus but is nevertheless a set of coplanar points, falling on an implicit plane which possesses a spatial orientation. Is it a circle then? Not strictly speaking, because two-dimensional planes do have not a spatial orientation. — Leontiskos

I've been using the word "verbatim" to try to mean a couple of things:
A ) At face value.
B ) Using only the resources at hand in a symbolic system.

Thus Euclid's definition of a circle, verbatim, would exclude the great circle. — fdrake

But it is here illustrative that I am not familiar with the concept "great circle," especially as to its specific geometrical properties, and I did query you about the picture you posted. You thought there was a verbatim sense of "great circle," but you were mistaken. You would have to explain what you mean by it in order to achieve your contradiction, because "great circle" says very little, verbatim.

And if you want to just talk about your intuitions without recourse to formalism, I don't know if this topic of debate is even something you should concern yourself with. — fdrake

I think you're moving too fast. Formalisms have limits. What are the specific properties of lines, points, circles, great circles, two-dimensional planes, three-dimensional planes, etc.? How do they relate to each other? For example, can points be deleted or not? Is the great circle a torus, and if not is it three-dimensional at all? You're making a bunch of assumptions in all of this and drawing a fast conclusion.

But the deeper issue is that I don't see you driving anywhere. I don't particularly care whether the great circle is a Euclidean circle. If you have some property in your mind, some definition of "great circle" which excludes Euclidean circles, then your definition of a great circle excludes Euclidean circles. Who cares? Where is this getting us?

If you actually want my perspective on things, rather than trying to illustrate points from the paper: I'm very pragmatist toward truth. I prefer correct assertion as a concept over truth (in most circumstances) because different styles of description tend to evaluate claims differently. As a practical example, when I used to work studying people's eye movements, I would look at a pattern of fixation points on an image - places people were recorded to have rested their eyes for some time, and I would think "they saw this", and it would be correctly assertible. But I would also know that some subjects would not have had the focus of their vision on some single fixation points that I'd studied, and instead would have formed a coherent image over multiple ones, in which case they would not have "seen" the area associated with the fixation point principally, they would've seen some synthesis of it and neighbouring (in space and time) areas associated with fixation points (and other eye movements). So did they see it or didn't they?

So I like correctly assertible because it connotes there being norms to truth-telling, rather than truth being something the world just rawdogs into sentences regardless of how they're made. "There are 20kg of dust total in my house's carpet"... the world has apparently decided whether that's true or false already, and I find that odd. Because it's like I'm gambling when I whip that sentence out. — fdrake

Okay, thanks. And I agree with this. I am interested in knowledge—including justification—as opposed to just truth. Very often justified knowledge is precisely that which has been (correctly) logically inferred. I would define logic as that thing that gets you to (discursive) knowledge, or at least to justified assertion.

I would agree that every quantification is into a domain, and I don't think there are context independent utterances. I do not think it follows that there is no metaphysics. I'm rather fond of it in fact, but the perspective I take on it is more like modelling than spelling out the Truth of Being. I think of metaphysics as, roughly, a manner of producing narratives that has the same relation to nonfiction that writing fanfiction has to fiction. You say stuff to get a better understanding of how things work in the abstract. That might be by clarifying how mental states work, how social structures work, or doing weird concept engineering like Deleuze does. It could even include coming up with systems that relate lots of ideas together into coherent wholes! Which it does in practice obv. — fdrake

And this sounds a lot like Srap's approach. I was encouraging him to write a new thread on the topic.

Plato's phrase, "carving nature at it's joints," seems appropriate here. I would say more but in this I would prefer a new or different thread (in the Kimhi thread I proposed resuscitating the QV/Sider thread if we didn't make a new one). I don't find the OP of this thread helpful as a context for these discussions touching on metaphysics.

I would have thought it clear how it relates to logical pluralism. If you model circles in Euclid's geometry, you don't see the great circle. But if you look for models of the statement "a collection of all coplanar points equidistant around a chosen point", you'll see great circles on balls (ie spheres, if you don't limit your entire geometry to the points on the sphere surface). They thus disagree on whether the great circles on balls are circles.

If you agree that both are adequate formalisations of circlehood in different circumstances, this is a clear case of logical pluralism. — fdrake

So:

Let's suppose it is a countermodel. How does the logical pluralism arise? I can only see it arising if we say that a "circle" means both Euclid's definition and the great circle countermodel, and that these two models are incompatible. Is that what you hold? — Leontiskos

For the univocalist the two definitions are incommensurably different. For the analogical thinker there is an analogy between a great circle and a circle. I think both adhere to the definition, "A set of coplanar points equidistant around a single point," but this also involves analogical equivocity between 2D planes and 3D planes.

That also lines up just fine with my view of logic. If logical pluralism means there are incommensurably different logics which are true/correct, then I disagree. If it means there are analogically similar logics which are true/correct, then I agree. But I don't think that all true logics are isomorphic. "Incommensurably" is meant as strong incommensurability, in the sense of excluding analogical equivocity.

The taxicab example is designed as a counterexample to the circle definition "a collection of all coplanar points equidistant around a chosen point", since the points on the edge of the square in Euclidean space are equidistant in the taxicab metric on that Euclidean space. It isn't so much an equivocation as highlighting an inherent ambiguity in a definition. — fdrake

Again, I think there is an equivocation on "distant." Equidistant qua circularity pertains to straight lines. The taxicab circle is premised on an extreme redefinition of "distance" - an equivocation.

The extensional difference between all of these different formalisms are the scope of what counts as a circle. A pluralist could claim that some definitions work for some purposes but not others, a monist could not. — fdrake

Although I don't hold to logical monism, this doesn't seem right. You are claiming that for the logical monist a token such as 'circle' can mean only one thing. I don't think that's right.

The Analytic dispute between logical pluralism and monism strikes me as a superficial dispute. The deeper question is univocal vs. analogical predication. That source abandons the more interesting question as soon as it limits itself to, a "model-theoretic definition." Pluralism looks like a poor man's analogicity, like trying to draw a perfect circle with pixels. My guess is that most versions of soft pluralism and monism are not even differentiable, unless there is some precise concept of "equally correct" logics or arguments (which I highly doubt).

To put it in super blunt terms, Euclid's theory would have as a consequence that the great circle on a ball is not a circle. The equidistant coplanar criterion would prove that the great circle on a ball is a circle. Those are two different theories - consequence sets - of meaningful statements. A pluralist would get to go "wow, cool!" and choose whatever suits their purposes, a monist would not. — fdrake

If they are different theories then they define different things, i.e. different "circles." The monist can have Euclidean circles and non-Euclidean circles. He is in no way forced to say that the token "circle" can be attached to only one concept.

@Count Timothy von Icarus

You might not even be a logical monist in the OP's sense, since the kind of logic it's talking about is formal? — fdrake

Just pulling this for context. The OP is three years old. The recent discussion is not about the OP. After frank bumped the thread Banno brought in an external conversation, and pigeon-holed the discussion into one of those interminable, internecine Analytic disputes (Pluralism vs. Monism).

The external conversation revolves around this post from Srap:

So we have (1) the primary phenomena, everyday language use and reasoning.

Then there's (2) the way logic schematizes these.

And there's the further claim that in carrying out (2), we see (3) the deep structure of everyday language and reasoning, the underlying logical form.

My claim was that we can talk about (2), whether (3) is true or not, and even without considering whether (3) is true or not.

It's the same thing I've been saying all along, that (2) doesn't entail (3). — Srap Tasmaner

This was Srap's attempt to frame it, but we went on to ask whether that framing was neutral or not.

I tried to continue the conversation in that thread, but Banno insisted on bringing it here. If Srap had continued the conversation in that thread I would have simply ignored Banno's transplant, given how insubstantial it was bound to become.

My position has never been logical monism's program of a single true formalization. That's just something Banno falsely pinned on me. For example:

Each time you state the problem in terms of artifice or invention you fail to capture a neutral (2). Do you see this? To call logic an invention of artifice, or a schematization or formalization, is to have begged the question. If that's all logic is then the answer to (3) is foreclosed. — Leontiskos

Fair enough. Part of the issue here is whether pluralism can be set out clearly. As the SEP article sets out, the issue is as relevant to monism as for pluralism. The question is how the various logics relate. It remains that monism must give an account of which logic is correct. — Banno

No, not really. You really ought to read Rombout on the way that Frege and Wittgenstein mean different things by "logic." Your whole frame is mistaken. I am not a "logical monist," and I don't think Timothy is either. If every logic is on the same level, then pluralism must be true. Logical monism and logical pluralism strike me as equally silly.

You've made it plain that you don't accept Dialetheism, and will give no reason, so the point is moot. — Banno

You've made it plain that you won't offer any arguments, only assertions. Moliere tried and I answered his.

It's like "This sentence has six words" in some ways — Banno

"In some ways."

Unlike "...is false," "...has six words" does not require an assertion/claim.

(Moliere and yourself are doing what I would call Dialetheist apologetics. You've heard objections to the "Liar's paradox" and you are responding to those objections, regardless of the fact that my objection is quite different.)

- So for Griffiths and Paseau "logical monism" holds that there is one true formalization. I have not seen anyone on TPF hold this theory, and I certainly do not. He is also talking about consequence rather than inference. "Logical monism" does not look at all like the classical view.

Again, for Aristotle logic is the solution to the problem of the Meno. It is how discursive knowledge is achieved. It is primarily a matter of inference. Aristotle was quite clear that his formalization was not identical to logic in this fundamental sense.

If someone wants to argue for logical pluralism I would want to know exactly what they mean by that term, because it has been unhelpfully ambiguous all throughout this thread.

Point well-made and taken. That should have been further qualified as all spherical lines of circumference. That's what I meant. That's what I was thinking. Evidently a few synapses misfired. — creativesoul

Well, one might accept it. I don't see any of these objections as straightforward. I don't think there is a "verbatim" meaning, to use @fdrake's word.

Does the circumference of a (Euclidean) circle encircle space? Yes, two-dimensional space. But then does the great circle's encompassing space make it a non-circle? Apparently not. Unless what we mean is that the great circle encompasses three-dimensional space, in which case this does make it a non-circle.

Just wondering if I've understood something. — creativesoul

Fair enough, and I meant to ask in a broader way and include fdrake.

My interest was piqued by the claim that a line of circumference around a sphere was a circle. — creativesoul

I am quite fine with that claim. Apparently I think the coplanar points of the great circle contain a circle (and a two-dimensional plane).

fdrake effectively puts words in my mouth in declaring victory, "Ah, when you say 'great circle' you mean something which does not contain a two-dimensional plane, therefore when you say 'great circle' you don't mean a Euclidean circle." But I never assented to any of these sorts of interpretations.

---

My position was that there are circumstances in which it makes sense to say there are square circles, perhaps even that there are circumstances in which one can correctly assert that there are square circles, not "there are square circles" with an unrestricted quantification in "there are". — fdrake

So you are ("perhaps") willing to say that there are circumstances in which one can correctly assert that there are square circles, but you won't commit yourself to there being square circles. This is odd.

The idea behind this sort of thinking seems to be that every utterance is limited by an implicit context, and that there are no context-independent utterances. There is no unrestricted quantification. There is no metaphysics. I take it that this is not an uncontroversial theory. Here is an example of a statement with no implicit formal context, "There are no Euclidean square circles." You would presumably agree. But then to be wary of the claim that there are no square circles, you are apparently only wary of ambiguity in the terms. You might say, "Well, maybe someone would say that without thinking of Euclidean geometry." But we both know that there is no verbatim meaning of "square" and "circle," at least when subjected to this level of skepticism. This is a nominal dispute, but it won't touch on things like logical pluralism, for that question has to do with concepts and not just names. A new definition of "circle" will not move the needle one way or another with respect to the question of logical pluralism. As noted, the taxicab case involves equivocation, not substantial contradiction.

I am still wondering:

I'm not really sure what you are arguing, fdrake. It doesn't sound like you hold to logical nihilism or logical pluralism in any strong or interesting sense. Am I wrong in that? — Leontiskos

Is that wrong somehow? — creativesoul

I don't see why one must accept this:

All lines of circumference encircle space. — creativesoul

Nevertheless, if the great circle is a torus—a three-dimensional object—then it is not a (Euclidean) circle. If it is not a torus then it may well be a circle. Yet perhaps it is not a torus but is nevertheless a set of coplanar points, falling on an implicit plane which possesses a spatial orientation. Is it a circle then? Not strictly speaking, because two-dimensional planes do have not a spatial orientation.

But what is the point here? Recall that @fdrake's desired conclusion was that there are square circles.

Because I'd say that just from a plain language sense "This sentence is false" is clear to a point that it can't be clarified further. — Moliere

So be honest. When you say, "This sentence is true/false," do you think you are saying something meaningful? Would you actually use that phrase, speak it aloud, and expect to have said something meaningful?

What does it mean to "say something"? — Moliere

A sentence says something if it presents a comprehensible assertion. It says something if its claim is intelligible.

Now when you say, "X is false," I can think of X's that fit the bill. I might ask what you mean by X, and you might say, "2+2=5." That's fine. "...is false" applies to claims or assertions. If there is no claim or assertion then there is no place for "...is false." For example, "Duck is false," "2+3+4+5 is false," "This sentence is false."

I suppose the flip-side would be that there is no relationship between concepts of truth. I can't help but think this would make truth arbitrary, or at least have major philosophical ramifications, maybe not. — Count Timothy von Icarus

It is also another departure from natural language. We do not speak of truth as having various species with no relation to each other. Nor does the term "logics" jibe with the idea that the various logics have nothing in common.

Pick your poison. Your thesis is that there are true/correct logics with nothing in common, such that we cannot call their similarity logic in a singular sense, and we cannot apply a rational aspect under which they are the same. But the natural language itself betrays this, for simply calling them logics indicates that they belong to a singular genus. — Leontiskos

Now in a given philosophy we'll want a particular logic, or particular logics for particular ends, but the logician need not adhere to one philosophy. — Moliere

Banno has so thoroughly poisoned the well that it becomes difficult. Here is what I said to this idea:

The idea that different formal logics can each yield sound arguments without contradicting one another is not in any way controversial, and I would not call it logical pluralism. — Leontiskos

-

It's the name for a sentence.

A name denotes an individual.

The individual is an English sentence.

The sentence is "This sentence is false"

(1) is a shorthand to make it clear what "This sentence" denotes. — Moliere

So again:

What do you mean by (1)? What are the conditions of its truth or falsity? What does it mean to say that it is true or false? All you've done is said, "This is false," without telling us what "this" refers to. If you don't know what it refers to, then you obviously can't say that it is false. You've strung a few words together, but you haven't yet said anything that makes sense. — Leontiskos

In order for a sentence to be true or false it must say something. That is what it means to be a sentence. "This sentence is false," does not say anything. It is not a sentence. It is no more coherent than, "This sentence is true," or, "This sentence is that."

One answer, which you've provided, is that the sentence means nothing.

It's not the only one though. — Moliere

If you think that answer is wrong then you'll have to tell us what the sentence means.

And yet Dialetheism. You at least need to make a case, rather than an assertion. — Banno

Er, do you ever take your own advice?

It might not be a confusion, it could be an insistence on a unified metalanguage having a single truth concept in it which sublanguages, formal or informal, necessarily ape. — fdrake

A good move away from the strawmen. :up:

Historically logic is the thing by which (discursive) knowledge is produced. When I combine two or more pieces of knowledge to arrive at new knowledge I am by definition utilizing logic. — Leontiskos

Logic is that which reliably produces knowledge, via rational motion or inference. This is not limited to a single formal system - that is Banno's strawman. But knowledge and truth are one. There cannot simultaneously be knowledge both of X and ~X. Therefore logical pluralism is false.

Russell's approach is largely telling logical nihilists not to throw the baby out with the bathwater — fdrake

This is what always seems to happen with these shiny new theories. It is motte and bailey. The controversial claims that stimulated attention dissipate upon closer examination.

I'm not really sure what you are arguing, fdrake. It doesn't sound like you hold to logical nihilism or logical pluralism in any strong or interesting sense. Am I wrong in that?

You talk a lot about the great circle:

the great circle might be taken as a countermodel for Euclid's definition of a circle — fdrake

Let's suppose it is a countermodel. How does the logical pluralism arise? I can only see it arising if we say that a "circle" means both Euclid's definition and the great circle countermodel, and that these two models are incompatible. Is that what you hold?

-

Our dispute was similar to the former - we both have the same pretheoretical intuitions about what a circle is. Agreeing on Euclid's and on the great circle's satisfaction of it. And we'd probably agree on the weird examples containing deleted points too, they would not be circles even though if you drew them they'd look exactly like circles. — fdrake

Given that I disagree with all of this, does it follow that you were the sophist and not the sadistic genie?

and I kept asking you to repair it. — fdrake

I kept asking you to offer a reason why it needs to be repaired, because it "clearly" was fine. You are begging the question in your own favor with words like "clearly."

Why are we to believe that a three-dimensional abstraction (i.e. the great circle) does not contain a two-dimensional abstraction (i.e. a circle)? In any case, the easier disagreement here is over the question of whether one can delete a point.

Whereas your examples do not insist on taking the conceptual content of what's said for granted, indeed they're attempting to distort it. Allegorically, the logic of shit testing is that of a particularly sadistic genie - taking someone at their word but exactly at their word, using whatever pretheoretical concepts they have. The logic of your sophist is closer to doubting the presuppositions which are necessary for the original problem to be stated to begin with. — fdrake

This is helpful, but I'm not convinced it is cogent. The sadistic genie is not taking them at their word by being overly pedantic, he is just being a sophist. I see the distinction you are making, but I would say that the sadistic genie is a sophist, even if not every sophist is a sadistic genie.

I saw my cousin who has Asperger's, "Your hair is long, how long has it been growing?" "Since I was born!" He is fun, and this is an example of the sadistic genie, but it is not a non-example of a sophist. Taking someone "exactly at their word" is a good way not to take them at their word.

Where's the issue? — fdrake

To take a few, you haven't defined the operations, commutativity relations, numbers, variables, etc.

To be clear you would have been compelled to deny the great circle was a circle by only using Euclid's definition of it verbatim, I would not have! — fdrake

I don't follow, but you seem to think "verbatim" is a fix; a quibble-proof solution; a univocal meaning. I don't think the buck stops there or anywhere else. Literal meaning is a puzzle as much as anything else. To use the word "verbatim" and assume you have won the argument will not do.

Good posts, though. I have to run but I hope to come back to this soon.

In effect the nihilist doubt machine gets going by noticing that there's arbitrary degrees of contextual variation — fdrake

I think the univocalist extreme of splicing everything apart and analyzing it separately is representative of sophistry (or nihilism?). Namely, the methodology precludes reasoning and knowledge. If one does not admit analogical predication in one form or another then they can deny but they can never affirm. They have created a method that can only deny; a skepticism machine.

For example:

1) Gillian is in Banf.
2) Therefore, I am in Banf.

to

1) Gillian is in Banf
2) I am Gillian
3) Therefore, I am in Banf — fdrake

Has it been fixed? The "sophist" would say no, and can quibble endlessly. They might ask you to specify what exactly "I am Gillian" means; what 'I' means; what a name is; what the predication of amness means (all difficult questions). They might splice (1) and (2) into different contexts, pointing out that (1) is a third-person description and (2) is a first-person description, and that it is not clear that these two discrete contexts can produce a conclusion that bridges them. "Shit-testing" seems to have no limits and no measure.

There is an interesting question about the great circle, but the method which outright denies that the great circle is a circle can outright deny anything it likes. It is the floodgate to infinite skepticism. I think we need to be a bit more careful about the skeptical tools we are using. They backfire much more easily than one is led to suppose.

Edit:

you can tell it to sod off by specifying the exact mess you're in — fdrake

Can you? There is an idea that floats around, according to which one can give quibble-proof arguments. I don't think this is right. I'd say the idea that there is some quibble-proof level of exactness won't cash out.

The problem is that we never know for sure whether or not something other than A might bring about the occurrence of B. — Metaphysician Undercover

So you seem to think that atheists should go ahead and pray. It doesn't make sense. If someone believes that person X does not exist then they should not petition person X. A petition/prayer is not offered in generality, to no one in particular.

There are all sorts of hypothetical entities that could answer prayers; devils, angels, fairies, wizards, extremely advanced aliens, the universe branching into a new timeline in accordance to one's will, etc. There's no reason to believe that it can only be the working of some sort of monotheistic creator deity (and certainly no reason to believe that it can only be the working of a specific religion's deity). — Michael

Eh. If I ask you to do something and someone else does it then you haven't fulfilled my request. Pretty basic. Has my petition been granted? No, I don't think so, unless the petition was somehow made to no one in particular.

When you choose to enguage with the articles cited, I'll be happy to join in. — Banno

Can't you do philosophy in your own words, and answer simple questions put to you?

• In an OP with three different articles, you post first, ignore the entire OP and its articles, post your own article, and derail the thread.
• In an OP on Kimhi and Frege, you post first, ignore the OP, and derail the thread with an anachronistic post on illocutionary force. Later on in the thread you were explicitly asked more than once to try to engage the arguments on their own terms.
• In this thread, you literally took a conversation between Srap and I, transplanted it into this thread while calling me out, and then went on to complain that I haven't addressed the OP of this thread.

This shit just happens over and over and over. The double standards are wild. I have a reminder from August 6, "Put Banno on ignore." I had some technological difficulties in the meanwhile, but it's probably time to honor that reminder and start focusing on people who are sincerely interested in philosophy. ...Interested in engaging ideas other than their own.

We say that prayers being answered is the effect, and God's existence is the cause of this effect. God's existence causes prayers to be answered. However, it's an inverse fallacy to say that if prayers are answered then God exists. — Metaphysician Undercover

So you are saying that your prayers might still be answered even if God does not exist? So that an atheist could be justified in praying?

- Okay, well thanks for answering the question. Given that I have an outstanding reply to @Moliere in this thread and Baden elsewhere, I'm going to leave it there as far as our dialogue is concerned. I can't maintain too many conversations at the same time. Take care.

Implied by stating it's violation is a destruction. — Cheshire

Okay, so you think the PNC can be violated without being destroyed?

I disagree with the first premise. They could have systematic disagree and remain consistent in there conclusions. Somehow, presumably. — Cheshire

I'm not really following. Presumably you think the first premise presents a false dichotomy.

Again, I would suggest focusing on the argument I gave, not some argument you are afraid I will give at some point in the future.

- Remember back when you thought this was an "interesting question"? Now you refuse to look at it.

But how we might deal with a case where, say, two logics over the same domain reach opposite conclusions remains an interesting question. — Banno

Have you stopped beating your wife yet? — Banno

You want to talk about logical pluralism without talking about the PNC? All that means is that you don't want to talk about logical pluralism. You are pretending.

it would turn this thread away form the mere bitch session it is becoming — Banno

Bitch session? It's just another rerun of, "Banno refuses to do philosophy." This is why I said I wanted a thread on Srap's logical pragmatism instead of Banno's logical nominalism. I've seen the episode too many times.

They aren't logical without total adherence seems strong — Cheshire

Where do you find that claim, "They aren't logical without total adherence"?

I have asked Banno multiple times whether he agrees or disagrees with the argument, but he is being his usual coy self.

Can you answer the question? Do you agree with the argument? If you disagree then please explain which premise you oppose.

The "true/correct logics" either contradict one another or they don't.
If they do, then the PNC has been destroyed.
If they don't, then we are no longer talking about logical pluralism. — Leontiskos

No, Leon. If you are going to use the claim to reject there being contradictory logics — Banno

But I never did that, so that makes you wrong four times in a row now. Shoot. I can't have begged the question with a claim I never made.

( - Yep)