## Search found 7 matches

Fri Jul 22, 2016 1:40 am UTC
Forum: Mathematics
Topic: The liar paradox as a basis for kantian metaphysics
Replies: 11
Views: 3743

### Re: The liar paradox as a basis for kantian metaphysics

According to conventional logic which doesn't treat truth as a set, that would state the liar paradox is false. Well that's not true. After all, if the liar paradox were false, then the sentence itself would be true. I'm not exactly sure why truth should be assumed just because Arthur Prior said so...
Fri Jul 22, 2016 1:33 am UTC
Forum: Hardware
Topic: Planned obsolescence and the best computer ever
Replies: 10
Views: 10217

### Re: Planned obsolescence and the best computer ever

I plan on using it for light coding, links2/netsurf-style Web browsing, and as a remote console.

I think kolibrios might be a good choice, apparently it can boot in around 10 seconds off such a computer and has a built in asm ide.
Thu Jul 21, 2016 2:42 pm UTC
Forum: Mathematics
Topic: The liar paradox as a basis for kantian metaphysics
Replies: 11
Views: 3743

### Re: The liar paradox as a basis for kantian metaphysics

When you draw the conclusion ~∃x{x≡~(x∈T)}, that's not saying that "this sentence is false" is false. It's saying that "this sentence is false" doesn't exist . That's what I meant. Kind of. According to conventional logic which doesn't treat truth as a set, that would state the ...
Wed Jul 20, 2016 9:48 am UTC
Forum: Mathematics
Topic: The liar paradox as a basis for kantian metaphysics
Replies: 11
Views: 3743

### The liar paradox as a basis for kantian metaphysics

Hello Let us assume there is a set, called T, such that for all x, if x is true then x is a member of T. ∀x{x ⊨ (x∈T)} Let us assume x. Therefore, x∈T. Let us assume x∈T. Therefore, (x∈T)∈T etc... --- Let us assume ∃x{x≡~(x∈T)}. This obviously results in ~x∈T & x∈T. This is the liar paradox. The...
Wed Jul 20, 2016 5:56 am UTC
Forum: Mathematics
Topic: λ-calculus + modal logic = unrestrained self-reference
Replies: 2
Views: 2855

### Re: λ-calculus + modal logic = unrestrained self-reference

Oh, the liar paradox? I solved that two years ago.

Spoiler:
Truth is a set
Wed Jul 20, 2016 5:05 am UTC
Forum: Religious Wars
Topic: Openbsd vs. Hardened gentoo et al.
Replies: 0
Views: 7653

### Openbsd vs. Hardened gentoo et al.

Which works better for security in the real world? Prevent-all-exploits-by-making-the-code-super-tidy (sel4, muon, coyotos/eros/capros, openBSD) or prevent-damage-after-the-exploit-occurs (hardened gentoo, qubes, selinux, minix 3)? Is it possible to do both?
Tue Jul 19, 2016 9:19 pm UTC
Forum: Hardware
Topic: Planned obsolescence and the best computer ever
Replies: 10
Views: 10217

### Planned obsolescence and the best computer ever

Hey all, It is my impression that when a technology first comes out manufacturers concentrate a lot more on making sure a device will work than on planned obsolescence, with a good example being early vs modern incandescent lightbulbs. And now it is not unheard of for otherwise high quality computin...