I don't know who says that. And mathematics is just a language. It's certain to itself by definition.Who says that someone can be completely justified in believing X? A person can be more or less justified in believing a proposition or an event, but absolute certainty is not attainable, with (perhaps) the exception of mathematics. — Manuel
The absolutely is sarcastic for everyone except absolutists. I'm sort of implying that they are redundant because, as usual, it's only for their 'specialness' that this sentence needs to exist.Statements of the form, "a is justified to believe x", express a proposition where it's absolutely true or false that a is justified to believe x according to some certain z or the z that a is committed to. — Zophie
So what's the difference?As I understand it, science is provisional, always subject to further revision. Common sense is different. .. But common sense can also change, as it has done in history. — Manuel
And mathematics is just a language. It's certain to itself by definition. — Zophie
So what's the difference? — Zophie
Aside from the way an explanation that 'mathematics isn't metaphoric' only further demonstrates the utility of analogy, in this case metaphor, in translating between languages and framing their contents as required, including mathematics, logic and whatever other formal system you care to define, mathematics does in fact have syntax, semantics, and whatever other equivalent you care to mention. The elements of our frameworks (in this case verbs, sentences and whatever else) are not particularly relevant for their comparative analysis; I can just simply define them as a set, or a set of functions perhaps, and then eventually we would be speaking the same language -- a mathematical one -- in which eventually my arguments become sufficiently acceptable. I don't happen to know your ontology, though, so I don't know which words you find to be the most 'factive' -- I have to guess from the center. And even if we decide this wasn't the case, the objects of mathematical study have no meaning without definitions (or direct demonstration, which is obviously not always possible), which are ultimately stated in natural language.Mathematics being a language is metaphoric. It doesn't have the same properties of natural languages such as syntax, tenses, verbs, etc. as well as most aspects of ordinary language use. It's similar to calling cooking a "science". — Manuel
The elements of our frameworks (in this case verbs, sentences and whatever else) are not particularly relevant for their comparative analysis; I can just simply define them as a set, or a set of functions perhaps, and then eventually we would be speaking the same language -- a mathematical one -- in which eventually my arguments become sufficiently acceptable. — Zophie
I don't happen to know your ontology — Zophie
(Aside: Food science is a thing. :D) — Zophie
Why? It's symbol system with a grammar and axioms. That's language. Ask a mathematician.But math must involve some separate cognitive faculties than language use as in, doing some technical math work need not involve ordinary language at that level of technicality. — Manuel
Yes, I merely need a list of every object you think does, can, or must exist.Ah. The easy question. — Manuel
Why? It's symbol system with a grammar and axioms. That's language. Ask a mathematician. — Zophie
Yes, I merely need a list of every object you think does, can, or must exist. — Zophie
mathematics is just a language. It's certain to itself by definition. — Zophie
I think I can safely say 'true' ultimately reduces to a single value (pick any adjective you please) that is open to interpretation but is also sufficient for rational thinking and necessary for realistic application to other rational agents involved in the system in which such a value plays a role in a relevant, probable, utility-bearing sense. What that means more exactly is a matter for ethics.Is that your point, that there are many ways to reach truth or that there are many truths? — Manuel
Not very exciting. My metaphilosophy -- my metaphilosophical orientation -- is supposed to be empiricist and positivist. If I'm in an idealistic mood, that's my preferred framing for relativism. — Zophie
The abstract virtue of simplicity, such as its capacity for further theoretical integration, (almost always) comes at the expense of being a less faithful codification of the informal concept. Or in other words, processing information via any logical or mathematical code inevitably generates a variable amount of 'noise' that would have been essential to the flawless transmission of the original piece of reality that it was intending to meaningfully capture. — Zophie
Feyerabend.Who would be an example of such a philosopher, generally speaking? — Manuel
Who disagrees with the proposition that all information is lossy, or with Feyerabend's anti-realism? If the first, 'information' has an empirical component, so I expect that argument would need to be more substantial than an armchair conclusion. If the second, I don't know. :)Stated like that, who would be an "opponent" or a person who disagrees with this? — Manuel
Feyerabend — Zophie
If the first, 'information' has an empirical component, so I expect that argument would need to be more substantial than an armchair conclusion. If the second, I don't know. :) — Zophie
For what it's worth, 'proposition' is my preferred neutral unit. Information is too well-defined.I'd like to find a more "neutral" term, but that's just me. — Manuel
Given systematic conflict is part of my thesis, I'd say that's expected. My analysis doesn't typically concern individuals, though. Especially not alive ones. XDHaack and Chomsky disagree. — Manuel
For what it's worth, 'proposition' is my preferred neutral unit. Information is too well-defined. — Zophie
Sentence = Subject + Predicate
Is1: 'Descriptive' / Fact / "Do" Is2: 'Evaluative' / Value / "Can" Is3: 'Prescriptive' / Method / "Must"
Proposition = 'a is x'
p q p>q t t t t f f f t t f f t
p q p<q t t t f t f t f t f f t
Argument = 'a is x' because 'a / x is b / y' Argument = if 'a is x' then 'a / x is b / y'
s= s~= p= Be1 Be2 p~= Be3 Be4
Be5: 'a=x<a=x=y' / If subject1 is predicate1 then subject1 is predicate1 (is predicate3) / "Sense" Be2: 'a=x<a=y' / If subject1 is predicate1 then subject1 is predicate2 / "Place" Be3: 'a=x<b=x' / If subject1 is predicate1 then subject2 is predicate1 / "Class" Be6: 'a=x=z<b=y=z' / If subject1 is predicate1 (is predicate3) then subject2 is predicate2 (is predicate3) / "Field"
Yes, I merely need a list of every object you think does, can, or must exist.
Some conscious mind *must* exist.Some [consciousness/mind] is [exist]. a=x.
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.