Comment author: Eliezer_Yudkowsky 05 December 2012 12:59:26AM 1 point [-]

I don't see anything similar to this post on a quick skim of http://plato.stanford.edu/entries/logical-empiricism/ . Please specify.

Comment author: Mardonius 05 December 2012 01:55:25AM 2 points [-]

Well, I was specifically thinking of this passage

The Great Reductionist Project can be seen as figuring out how to express meaningful sentences in terms of a >combination of physical references (statements whose truth-value is determined by a truth-condition directly >correspnding to the real universe we're embedded in) and logical references (valid implications of premises, >or elements of models pinned down by axioms); where both physical references and logical references are to >be described 'effectively' or 'formally', in computable or logical form. (I haven't had time to go into this last part >but it's an already-popular idea in philosophy of computation.)

And the Great Reductionist Thesis can be seen as the proposition that everything meaningful can be >expressed this way eventually.

Which, to my admittedly rusty knowledge of mid 20th century philosophy, sounds extremely similar to the anti-metaphysics position of Carnap circa 1950. His work on Ramsey sentences, if I recall, was an attempt to reduce mixed statements including theoretical concepts ("appleness") to a statement consisting purely of Logical and Observational Terms. I'm fairly sure I saw something very similar to your writings in his late work regarding Modal Logic, but I'm clearly going to have to dig up the specific passage.

Comment author: Eliezer_Yudkowsky 05 December 2012 12:22:10AM 4 points [-]

Mainstream status:

AFAIK, the proposition that "Logical and physical reference together comprise the meaning of any meaningful statement" is original-as-a-whole (with many component pieces precedented hither and yon). Likewise I haven't elsewhere seen the suggestion that the great reductionist project is to be seen in terms of analyzing everything into physics+logic.

An important related idea I haven't gone into here is the idea that the physical and logical references should be effective or formal, which has been in the job description since, if I recall correctly, the late nineteenth century or so, when mathematics was being axiomatized formally for the first time. This pat is popular, possibly majoritarian; I think I'd call it mainstream. See e.g. http://plato.stanford.edu/entries/church-turing/ although logical specifiability is more general than computability (this is also already-known).

Obviously and unfortunately, the idea that you are not supposed to end up with more and more ontologically fundamental stuff is not well-enforced in mainstream philosophy.

Comment author: Mardonius 05 December 2012 12:55:10AM 3 points [-]

Isn't this, essentially, a mild departure from late Logical Empiricism to allow for a wider definition of Physical and a more specific definition of Logical references?

Comment author: [deleted] 05 November 2011 12:34:28PM *  11 points [-]

Took the survey.

Thought you might have included an option for "reactionary" on the political orientation question. The distinction between reactionary, and libertarian or conservative is substantial even given the fact that the match isn't supposed to be perfect.

The global warming question might be more discriminating if the question were whether someone thinks that the mainstream view on AGW is scientifically valid within reason. The question as it stands is vague, hinging on the interpretation of "significant".

Otherwise a good survey!

In response to comment by [deleted] on 2011 Less Wrong Census / Survey
Comment author: Mardonius 06 November 2011 04:29:17AM *  6 points [-]

But who self-identifies as a reactionary? That said, there are a number of large holes in the political question. A Left Anarchist is going to feel severely pissed off with having to choose between state socialism and anarcho capitalism.

In response to comment by wedrifid on Action and habit
Comment author: Swimmer963 03 June 2011 01:26:31AM 8 points [-]

Agreed in that personality traits have some genetic basis, and so it might be harder for someone who is, say, impulsive, to enact a habit of being thorough and methodical. Or someone who is shy and introverted and/or inflexible to enact a habit of being spontaneous. I still think that the brain is plastic enough that even genetically based traits can be modified or at least circumvented to some degree.

Comment author: Mardonius 03 June 2011 02:20:15AM 6 points [-]

I agree, most personality traits can be aquired, even if they are heavily selected against genetically. But it isn't always desirable to do so, even if these habits are considered socially useful.

For instance, I'm naturally a night person, but I developed through self discipline, over the course of holding down a standard 9-5 job, a habit of 'early rising', even on weekends. This had, over a period of time, a seriously negative effect on my health and cognitive ability. Switching to a job that allowed me to revert to a more natural sleep cycle was a much better solution for me and my employers.

It's important to do a cost-benefit analysis when attempting to change behaviour, sometimes a change of environment is more feasible.

Comment author: Perplexed 27 March 2011 02:51:15AM *  2 points [-]

To philosophers, Tarski's work on truth is considered one of the triumphs of 20th century philosophy.

Yet to Wikipedia, Tarski is a mathematician. Period. Philosophy is not mentioned.

It is true that mathematical logic can be considered as a joint construction by philosophers and mathematicians. Frege, Russell, and Godel are all listed in Wikipedia as both mathematicians and philosophers. So are a couple of modern contributors to logic - Dana Scott and Per Martin-Lof. But just about everyone else who made major contributions to mathematical logic - Peano, Cantor, Hilbert, Zermelo, Skolem, von Neumann, Gentzen, Church, Turing, Komolgorov, Kleene, Robinson, Curry, Cohen, Lawvere, and Girard are listed as mathematicians, not philosophers. To my knowledge, the only pure philosopher who has made a contribution to logic at the level of these people is Kripke, and I'm not sure that should count (because the bulk of his contribution was done before he got to college and picked philosophy as a major. :)

Quine, incidentally, made a minor contribution to mathematical logic with his idea of 'stratified' formulas in his 'New Foundations' version of set theory. Unfortunately, Quine's theory was found to be inconsistent. But a few decades later, a fix was discovered and today some of the most interesting Computer Science work on higher-order logic uses a variant of Quine's idea to avoid Girard's paradox.

Comment author: Mardonius 29 March 2011 03:35:39AM 1 point [-]

I believe Carnap is also primarily listed as a philosopher in wikipiedia, and he certainly counts as a major contributor to modern logic (although, of course, much of his work relates to mathamatics as well).

In response to Write It Like A Poem
Comment author: Vladimir_M 16 February 2011 07:21:21PM *  1 point [-]

One fascinating question about modern culture and society is the reason for its lack of interest in epic poetry, to the point where it has become impossible to compose new works in it that will be taken seriously. This especially considering that in other ages and cultures epic poetry has often been the primary form of literature, both oral and written, and almost never an insignificant one.

Nowadays it seems strange that in past ages people would often eschew prose, expecting to express their ideas better and elicit more interest through poetry. Lucretius's De rerum natura is probably the best known example. The last major examples in Western philosophical literature I can think of are the poetic parts of Nietzsche's Zarathustra, and perhaps also some poets from three or so generations ago like T.S. Eliot.

Comment author: Mardonius 16 February 2011 08:10:26PM 2 points [-]

There is, of course, Tolkien. Though he gained fame for his prose rather than for, say, 'The lay of Earendil'

Comment author: David_Gerard 10 December 2010 02:38:50PM 2 points [-]

I'm now thinking of why Australian readers should go to London and live in a cramped hovel in an interesting place. I feel like I've moved to Ankh-Morpork.

Comment author: Mardonius 13 December 2010 02:56:40PM 1 point [-]

Simple! Tell them they too can follow the way of Lu-Tze, The Sweeper! For is it not said, "Don't knock a place you've never been to"

Comment author: Eliezer_Yudkowsky 02 June 2010 10:13:11AM 15 points [-]

I've asked this question before, but where the hell does the high-quality rationality on TV Tropes come from?

Comment author: Mardonius 03 June 2010 09:54:19AM 7 points [-]

Perhaps it's due to the fact that TV Tropes' mission is essentially to perform inference on the entire body of human fiction, and create generalised models (tropes or trope complexes) from that data. In many ways, it's science applied to things that are made up!

Comment author: RichardKennaway 01 June 2010 07:55:00PM 2 points [-]

Sometimes exhausted from toil and endeavour

I wish I could sleep for ever and ever

But then this assertion my thinking allays

I shall be doing that one of these days.

-- Piet Hein

Comment author: Mardonius 01 June 2010 11:01:36PM 8 points [-]

speak for yourself Sir, I intend to live forever

-Jonathan Frakes, as William T Riker

In response to Abnormal Cryonics
Comment author: PhilGoetz 26 May 2010 08:08:11PM *  6 points [-]

The most common objections (most of them about the infeasibility of cryopreservation) are simply wrong.

Thus triggering the common irrational inference, "If something is attacked with many spurious arguments, especially by religious people, it is probably true."

(It is probably more subtle than this - When you make argument A against X, people listen just until they think they've matched your argument to some other argument B they've heard against X. The more often they've heard B, the faster they are to infer A = B.)

Comment author: Mardonius 26 May 2010 09:19:02PM 7 points [-]

Um, isn't the knowledge of many spurious arguments and no strong ones over a period of time weak evidence that no better argument exists (or at least, has currently been discovered?)

I do agree with the second part of your post about argument matching, though. The problem becomes even more serious when it is often not an argument against X from someone who takes the position, but a strawman argument they have been taught by others for the specific purposes of matching up more sophisticated arguments to.

View more: Next