Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 233

This tag is for arguments that produce an inconsistency with common sense.

1 vote

How can I prove that any group of points created after just one point existing must exist in...

You need more constraints for this to be a meaningful exercise. Let's just take it abstractly: here is a universe with one point: {foo}. Here is a universe with two points: {foo, bar}. Do foo and b …
Rex Kerr's user avatar
  • 16.2k
2 votes
Accepted

How to interpret these Jain statements in terms of omega consistency? [hint only]

Recast in a classical logical framework, you could start with a family M of models for which your truth-statements are interpretable (i.e. they refer to things in those models); if these models are al …
Rex Kerr's user avatar
  • 16.2k
5 votes

What are some popular ways of trying to resolve the "Hangman's Paradox"?

Pulling the paradox out via induction just makes it harder to notice the paradox (of the standard self-referential variety). …
Rex Kerr's user avatar
  • 16.2k
2 votes

The paradox of the raven and Kratzer's account of "if-then"

As detailed on the Wikipedia page, the raven paradox isn't paradoxical at all (just surprising); in fact, by examining a non-raven you do gain information about whether all ravens are black because you … If you recast the raven statement modally as [Always: x is a raven] x is black, then to test the truth of it you still need to check everything, and you end up with the same "paradox" that observing a …
Rex Kerr's user avatar
  • 16.2k
3 votes

Are there borderline cases of existence?

If you take an approach that does usefully classify things (e.g. machine learning), you find that the paradox cannot be constructed. …
Rex Kerr's user avatar
  • 16.2k
5 votes
Accepted

Does God have the power to make identical universes through different means?

I do not think that the difference would lie in the universes, in this hypothetical example. Being omnipotent and omniscient must at least mean that you can put the physical (and mental, if you belie …
Rex Kerr's user avatar
  • 16.2k
3 votes

Hempel's ravens (the confirmation paradox)

This question is much more interesting as a statistics problem than a logic problem. Yes, of course, there could be a bird that is genetically a raven except for one mutation that happens to make its …
Rex Kerr's user avatar
  • 16.2k