sime

For me, a causal proposition is merely a synthetic proposition used to describe an intervention, that has the form "If an action A is performed upon a...

Do false beliefs really exist? For example: If the Earth is in fact round, then the assertion "The Earth is Flat" cannot be referring to the non-exist...

That position has the advantage of deflating away the "hard problem", for consciousness becomes merely a synonym for present and actual objects.

I think the central question concerns the elasticity of the rope. For liberally minded persons who only believe in "death by definition", the rope is ...

What is the ontological justification for us treating an individual as being the same person throughout the course of single lifespan?

presumably in that case we can treat any consecutive processes as being a single rope, in which case we have arrived at the Buddhist position of rebir...

But are these things even persistent during the course of a single lifespan? I cannot for instance remember my childhood before the age of 5. So does ...

I'm unsurprised that you dislike CT. Abandoning elements feels a bit like abandoning nouns in ordinary language. It isn't a coincidence that the Turin...

So by analogy, is personal identity over time an illusion? How should persons being counted?

Are caterpillars identical to butterflies? "Theology as grammar" - Wittgenstein.

This question concerns the grammar of intervention; What do we mean when we say that an agent "intervenes" upon a system to bring about a particular s...

The category theoretic description of the natural numbers does away with the pesky elements of the natural number "set" and externalises the notion of...

Scientifically speaking, I agree, but of course, your argument also applies to the "you only live once" position, so it's a moot point. But i don't ag...

Personal identity isn't a topic that science is able to investigate, because identity relations are part of logic and ontology rather than empirically...

Given that intuitionists who reject the existence of actual infinity also reject the law of excluded middle, they are likely to disagree with the assu...

Personally, I am sympathetic with regards to beliefs in rebirth, due to logical reasons connected to the temporal philosophy of presentism that ontolo...

I personally have no problem with someone calling a single grain of sand a heap, even if that isn't my cup of tea. What harm could it do, and who am I...

The only theory of meaning Wittgenstein ever published was in the Tractatus, which was a solipsistic, subjectivist or idealistic doctrine of meaning t...

There is no a priori linguistic definition of "heap" in terms of any specific number of grains of sand, which is why "heap" must be logically represen...

No, that isn't the case. To summarise, a heap of sand can be defined as the list: Heap := The list remains constant, regardless of how many grains are...

Your proposed solution sounds to be in a logical sense the same as mine, which is to consider the heap to be a co-inductive type. First consider the r...

More generally, it is a dependently typed logical programming language, with clause resolution and other rules of logical inference, together with SAT...

I don’t regard professional mathematicians as being trustworthy or helpful with regards to the literal truth of their subject, for several reasons. 1....

yes, sorry, i should have clarified that i was referring to number in the extensional sense, i.e. as an obtainable state of a calculation. This is bec...

Does Collingwood undermine his own arguments, by begging his own ontological assumptions, when he makes a hard distinction between absolute presupposi...

Isn't denying the existence of sqrt of 2 on the grounds that it isn't a computable number a bit like denying the existence of a "heap" of sand on the ...

I suggest you google Nelson Goodman and his ideas concerning irrealism that more or less convey the basic structure of community-level solipsistic log...

Not all individualists are solipsists, and not all solipsists are individualists. And why can't a solipsist be a realist? after all, the thought that ...

I'm still confused as to where and how we disagree. I suspect the issue might be mostly terminological, due to your use of modal notions versus my def...

thanks for the reply, will get back later.

What is your position regarding moral intention, moral freedom, moral responsibility and moral competency? How are these things definable and measurab...

Constructively, Prov doesn't fail either the capture or release properties of a truth predicate with respect to decided sentences, rather Prov doesn't...

As an aside, being an engineer you sound well positioned to lead a digital nomadic lifestyle close to the outdoors

In your view, if flourishing has to be the intention of a moral action, then how should moral intentionality be determined?

Yes, and your confusion is the fault of classical modal interpretations of logic that insist on misinterpreting PA's provability predicate as being me...

I once witnessed a similar mistaken belief expressed in a technical report written at MIT discussing algorithms for Bayesian statistics. They argued t...

Unless we appeal non-constructively to the Axiom of Choice, we obtain a set of 'hyperreals' that is isomorphic to a subcountable set of natural number...

Your very article points out the biased nature of people's predictions. "However," adds Berdahl, "there is a great deal of evidence that people have s...

Nope, the "wisdom of crowds" is false. There is no rational reason to believe that averaging naive guesses increases accuracy, unless by fluke the ave...

Firstly, good spot about PA |-/- Prov S --> S As you point out, that false derivational assumption which I took for granted and which led me to PA |--...

Correct me if i'm wrong, but aren't we both referring to the fact that the negation of PA's provability predicate doesn't actually enumerate what isn'...

I'm with the Madfool, paradoxically for reasons hinted at by nagese. Godel sentences do not support the colloquial interpretation they receive, that i...

I'd imagine that the topology of 'good' music as it is formally represented, is a disconnected archipelago of irregular islands, each with many holes,...

s

That view assumes counterfactual definiteness; the belief that the possibility of stopping a moving arrow to construct a definite position implies tha...

I've come to the conclusion that the uncertainty principle should have been discovered by Zeno of Elea, nearly 500 years BC, since in my opinion the o...

Firstly, to satisfy the hedonistic imperative the machine must offer a genuine and sustainable alternative to reality, whereby one isn't constantly re...

Consider a 'roguelike' video game, where the player explores a dungeon that is generated 'on the fly' in response to the player's actions. Here, the h...

Right. And so the word "contradiction" doesn't mean zero information, for that is nonsensical, but refers to conflicting sources of information, actio...

Yes in the sense of contradictory propositions. Nobody of course, experiences contradictory propositions - which goes to show that the general meaning...