Semantic contextualism needs to be distinguished from truth relativism. According to the former position, differences of opinion are not interpreted a...
Formally, the classical continuum "exists" in the sense that that it is possible to axiomatically define connected and compact sets of dimensionless p...
Usually these sorts of discussions begin on the wrong foot by conflating communism with state capitalism under a ruling party, that is a situation res...
Quine was presumably referring to the stratification of types originally proposed by Russell, which ensures that the a map between type universes resi...
The identification of anything is subjective and relative to convention. E.g, we don't get hung up about whether or not today's chair is said to be sa...
Are subjects of experience observable and identifiable or not? So Tulkas are observable subjects of experience who are interpretable in terms of types...
I'm not objecting to Buddhist sentiment to the extent that they understand that identity relations are arbitrary psycho-linguistic constructs that nec...
Yes, I wasn't questioning the veracity of anecdotes such as the one you mention, rather I'm pointing out that to interpret such cases as being "eviden...
Our memories are mutable. We continually create, delete and edit our memories in real time, including the memories that we interpret as being veridica...
I'm arguing that even a supposedly strict definition of personhood is slack. Slackness is an inexorable feature of identity criteria; any application ...
What conditions are required for the reincarnation of Elvis Presley? In my pragmatic view, a good Karaoke singer who does a reasonable impersonation o...
In general, the consistency of an axiomatic system isn't provable in an absolute sense due to Godel's second incompleteness theorem; the upshot being ...
That's true of classical logic, and more specifically it's fragment known as intuitionistic logic, due to the fact that the respective rule of implica...
But consider the fact that the halting behaviour of two identical algorithms stands and falls together. So although there does not exist an infallible...
Bertrand Russell's Principia Mathematica was nominalist; he treated sets as merely a means of referring to groups of particulars, partly in response t...
A related example is Godel's trick in his ontological proof of God as discussed in the other thread, which was to define a property P so as to enforce...
Just because a set S is declared to be "infinite", doesn't imply that S possesses a literally non-finite number of elements, rather it only implies th...
N was supposed to mean the possibility modality (N standing for Negative Properties, in order to stand for the opposite of Positive Properties). The q...
I think the most remarkable and amusing part of Godel's argument, is in the beginning before the use of modal logic, in which he argues for the existe...
The irony of Modal Logic is that there are so many alternatives to choose from, corresponding to the fact that Logic and a forteriori modal logic, has...
S5 is the logic of epidemics in which every possible world is infected by a virus whose transmission is symmetric and transitive. As for Godel's argum...
Yes, and that sounds identical to the philosophy of intuitionism :) It doesn't matter what type of object is associated with the lamp's output. By con...
Thompson's views sound intuitionistic, in that he didn't apparently consider the "completion" of button-pressing to have a meaningful answer in relati...
But recall that Wittgenstein regarded the ordinary meaning of "to know" to not imply infallibility, in the sense that even if a fact P necessarily imp...
I imagine that a supertaskist might agree with the formalist or intuitionist that supertasks aren't mathematically or logically defensible, whilst nev...
The inability for dimensionless points to be reconciled with the continuum is what motivated Whitehead's point-free geometry, a precursor to the field...
Perfect information isn't an assumption of formal reasoning, rather it is regarded to be a necessary condition of the meaning of "formal" reasoning in...
Formalism as a philosophy considers mathematics to be reducible to a finite single-player sign game of perfect information in which proofs refer to de...
My impression of Benacerraf is that he is defining Thomson's Lamp as a boolean valued function l : \overline {\mathbb {N}} \rightarrow \mathbb {B} on ...
There is a fundamental problem with identifying supertasks with series limits, namely the fact that literally infinite summations are not expressible ...
Wittgenstein himself warns in the preface that PI isn't a very good book and not the book he intended to write. The unfortunate consequence of it not ...
You first need to distinguish evidence of Christianity from interpretations of "Christianity", in order to clarify the extent to which your argument i...
Let's first remember the fact that the limit of a sequence isn't defined to be a value in the sequence. Re : The Cauchy Limit of a Sequence "When the ...
Consider the fact that traditional science doesn't permit scientific explanations to be represented or communicated in terms of indexicals, because in...
Let S denote the set of stairs, let N denote the standard natural numbers and let N* denote the nonstandard numbers. We can model the cardinality of S...
Sorry Fishfry. On further reflection the infinite sided die shouldn't need a choice axiom in its construction (e.g a sphere can be painted by working ...
Yes, that is true, by Peano's inductive construction of the natural numbers. And a well-order is usually assumed for an infinite sided die, in spite o...
I took the idea to mean that the faces of an infinite die isn't a well-ordered set, unless the Axiom of Countable Choice is assumed. If this axiom isn...
The first problem is one logical inconsistency. In Kolmogorov's treatment, the axioms exclude the proposition; if one introduced such a die as a new a...
There are two types of infinitely sided dice; those whose set of sides is actually infinite - meaning Dedekind-infinite as in the set of dice sides po...
Fregean ideas are necessarily perspectival, whereas the public meaning of Fregean sense is a-perspectival. So if by "qualia" you mean to refer to your...
First of all, does it make sense to speak of shared sensations? If the answer to that question is deemed to be negative, then inverted-qualia argument...
According to Externalism, knowledge is merely true belief, in which the truth-maker (reality) is external to whatever justifications one might offer i...
"Now this is eternal life" : Was Saint John a presentist? According to this (possibly unreliable) answer as to the meaning of "eternal life" :- " .......
Experimental synthetic languages such as Ithkuil and Lojban were designed to improve upon the semantic deficiencies and limitations of natural languag...
I think 'Kripke's Wittgenstein' was tainted by Kripke's semantic foundationalism. Kripke was correct IMO to conclude that Wittgenstein's concept of ru...
I'm basically pointing to the ancient debates regarding the question as to what grounds personal identity. Does the ground consist of essential criter...
Comments