Recent content by Preno

Does it matter whether there's a DSM label for this behaviour? What exactly is the explanatory difference between saying that a person gets off on arguing and that they suffer from, say, Argumentative Personality Disorder? Would the absence of a label for this particular form of behaviour make...

Best course of action for whom? I think the best thing for her would be if you made it clear to her that she's making you uncomfortable, that you're not going to be able to be friends with her if she continues behaving this way, but that you understand that she's got issues and are willing to...

Sorry if it came across that way, I didn't mean to offer any diagnosis, much less treatment, but to rather to counter Evo's emphasis on the "medical" side of things (and her offhand suggestion of Asperger's with another offhand suggestion, obviously I don't know the OP's situation nor am I...

Okay, I'm not going to pursue this line of argument further, because I literally don't know what to say if you think being unable to make friends and feeling ashamed of being socially incompetent is "caused by triggers in the brain" that a pill is going to fix. I really don't think there's a...

Well, every psychological problem is "within the brain", that doesn't mean that there's a pill for every psychological problem. I appreciate that pills can greatly improve your quality of life if you suffer from panic attacks (and that perhaps you personally haven't found therapy helpful?)...

I guess that's true, but you could equally well say: sometimes all it takes is the right therapy and those other feelings disappear (for good, rather than for so long as you keep taking meds).

Well, he wrote that he's been taking pills for the last year. Surprisingly enough, it turns out that while, as you say, pills may relieve some symptoms, they do not help you relate to people in a satisfying way, nor do they absolve you of feelings of embarrassment and self-consciousness. That's...

And pills can't fix problems in your life.

I don't think it's a good idea to try to "drown out the negative voices". You can get pills to try to fix it, but the simple fact is that you are probably not going to have a very fulfilling life unless you figure out how to relate to others in a way that you find rewarding. Given good enough...

No, obviously any subtheory of an incomplete theory is also incomplete. Also, ZFC without the axiom of infinity is basically Peano Arithmetic (or rather, replacing the Axiom of infinity by its negation yields a theory which is bi-interpretable with PA).

A theory is a set of formulas closed under \vdash. So, trivially, \Sigma \vdash A and A \in \Sigma mean the same thing for any theory \Sigma.

Well, consider the trivial case: P(A given A) is trivially one, whereas P(A and A) is trivially equal to P(A).

Yes. Carnielli seems to be a student of Newton da Costa, while Weber seems to belong to the Australasian school like Graham Priest. I removed that because my personal ignorance need not reflect on the actual state of affairs in the field of paraconsistent logic. (However, speaking as an...

Well, paraconsistent logic is primarily intended as a way of handling contradictory information. The motivation for Belnap's four-valued logic is precisely that, rather than anything having to do with paradoxes. Afaik the one major paraconsistent approach that does intend to deal with the Liar...

Those proofs strike me as a bit convoluted. The fact that all empty sets are equal is a consequence of the axiom of extensionality, which is literally the most fundamental property of sets, which says that sets are equal if and only if they have the same members. If the set A has no members and...