Please log in.
Before you can vote, you need to register. Please log in or create an account.
Other: Philosophy
Perpetual Notion Machine   (+3, -3)  [vote for, against]
A logical escape pod, implemented in software...

... in which to go bobbing out from under the tyranny of context and across the broad oceans of universals.

This idea is closely related to 'Engineering as a Philosophical Paradigm'. (See link).

As Professor McLuhan observed back in the '60s, there's a close connection between a message and the medium in which it is expressed. This proposed piece of software, the Perpetual Notion Machine, is intended as an expression of the fit between the EPP type of philosophy and the medium of hypertext.

What does it do, exactly? Well, it manages lines of reasoning stored in a 'nodes and edges' structure so that, instead of having to pick out logical connections from the rhetorical flow of a one-dimensional text document, you can have them formally specified; but the building blocks of what you are reading or writing are still passages of natural language text, not mathematical symbols.

Each node would hold some text, which you could loosely call a proposition (though it doesn't have to be a proposition in any strict sense, just a passage of text which seems intelligible to someone somewhere).

Examples of the relationships represented by edges would include, in simple cases, 'node X is a reason for accepting node Y' or 'node X in combination with node Y constitutes a reason for accepting node Z' or, in a more abstract case, 'node A describes a general principle according to which a node of a type to which node X belongs constitutes a reason for accepting a node X', related to node X in the way defined in node B'.

You could build up piles of abstraction in much the same way as you can build up complex expressions in a functional programming language. The Machine provides a guarantee of coherence, if not intelligibility, and helps you (using an XML-based hypertext interface) to navigate your own lines of thought, and thereby saves you from disappearing up your own bottom.

There are at least two types of perpetuity ascribable to the products of this machine. One is that lines (or trees) of reasoning can be extended indefinitely, forwards, backwards, round in circles or, most interestingly, outwards.

(What I mean by an 'outward' extension is one that introduces a 'more meta' proposition to bind together two or more specific propositions. In a debate between two opposed points of view, such an 'outward' move is like an outflanking manoeuvre).

The other is that, assuming we are using Engineering as our Philosophical Paradigm, every time we encounter a new world view which involves different principles of reasoning or justification, and/or different axioms, the machine is sufficiently general for us just to feed in the new material and keep on cranking out... well... notions.
-- pertinax, Jun 22 2006

Engineering as a Paradigm... Engineering_20as_20a_20Paradigm_2e_2e_2e
Engineering as a Philosophical Paradigm [pertinax, Jun 22 2006]

Share Mindmaps and Mind Mapping Applications with communities with similar ideas in mind. [Ayelis, Jun 23 2006]

Blast, I don't understand it.
-- zeno, Jun 22 2006

Sorry, [zeno]; I will read through it again tomorrow, and see if I can make it clearer. Can you give me any hints as to where I need to add information?
-- pertinax, Jun 22 2006

'nodes and edges' : connected with eternal golden braid?
-- Ling, Jun 22 2006

//hints as to where I need to add information//

Add? add? No, please. Less is more.
-- moomintroll, Jun 22 2006

// Machine provides a guarantee of coherence, if not intelligibility// - how does it do this ? the premise are otherwise interesting, so + for an interesting idea, if a tad clouded - but here is an inherent contradiction between something that on that on one hand is pointing towards clarity: "and thereby saves you from disappearing up your own bottom', and on the other hand presenting endless chains of possibilities "One is that lines (or trees) of reasoning can be extended indefinitely" So which one does it do?
-- xenzag, Jun 22 2006

Don't add, just change.
-- BJS, Jun 22 2006

I believe this is baked: It's called Prolog. Perhaps your are suggesting a social network version of the Prolog language?
-- James Newton, Jun 22 2006

From wiki: "Prolog is based on first-order predicate calculus; however it is restricted to allow only Horn clauses. See Logic programming for a discussion of the relationship of Prolog to mathematical logic. Execution of a Prolog program is effectively an application of theorem proving by first-order resolution. Fundamental concepts are unification, tail recursion, and backtracking."
There's you application; but I still do not see the outward move.
-- methinksnot, Jun 22 2006

this is somewhat reminiscent of an epistemological theory known as 'holistic coherentism' - nodes of 'true' statements connected together in a logically consistent manner.

I wrote an essay once arguing that holistic coherentism can be 'mapped onto' coherentism (coherentism is essentially circular reasoning that the 'holistic' coherentism tried to overcome).

Also, I agree with the allusion by Ling - if you follow this to its logical conclusion you're eventually going to have to face Godel.
-- xaviergisz, Jun 22 2006

Is this a pun? We don't have any pun here.
-- nihilo, Jun 22 2006

//Prolog is based on first-order predicate calculus// This needs to do higher-order predicates, I think, so Prolog isn't quite there.
-- pertinax, Jun 23 2006

Fair enough. The outflanking mane.., manu..., stratagem is provided by the user how? Sorry if the question is a bit stupid, I'm trying to form this thing in my mind with limited success.
-- methinksnot, Jun 23 2006

[xenzag], I hope this answer doesn't annoy you, but clarity and closure are not always the same. This may be a lame example, but I can be fairly clear about meaning of pi even if I can never write down all the digits. And thank you for the bun.

The kind of disappearing up the bottom from which it protects you is not the objective kind, where you find that you have argued in a circle, but the subjective kind where you're not quite sure where you've argued yourself to, and can barely find your own way back, let alone convince another person to ...

<splutch> <muffled> Damn! Again? Boy, it's dark in here. </muffled> <retracts> <shampoos>

Sorry, where was I?

Oh yes. [James Newton], notwithstanding the point about higher-order predicates, some of the internal workings of this machine probably would resemble an implementation of Prolog, and the day-to-day use of it might be somewhat wiki-ish, so you're on the right track.

Please be patient here, because it's been a long time since I knew anything about Prolog, and even then I didn't know much, but I think one important difference is that the PNM would not generally do automatic graph reduction (does Prolog do that, or am I confusing it with a functional programming language?) and would not generally auto-add nodes; it's more a medium for presenting and managing human reasoning than a device for doing automatic reasoning.

[xaviergisz], you're touching on the profound bits now. The PNM won't stop you from producing a cyclical argument topology. (I just made that phrase up, but it sounds good). It will, however, help you to see when you have done so. You can then make your own value judgement as to whether you see that as a problem. It *will* be a problem if you were hoping to build something that is *cogent* in the literal sense of being able to *compel* agreement in a reasonable person (if you can find such a person).

This is why the connection with Engineering as a Philosophical Paradigm is important.

The mathematical/Anglo-Saxon paradigm seems tied up with a need for cogency in addition to coherence, whereas the poetic/Continental paradigm seems not interested in either. A machine that helps with coherence without promising cogency needs the third paradigm that I was trying to explain in my earlier idea (see link). And possibly vice versa. [looked for an illuminating McLuhan link - couldn't find one. May try again later - don't want to get into mfd advocacy] .

If I remember rightly, Godel's theorem is about things being true but unprovable. (I would check, but my children have pinched my golden braid for a washing line). This would only be a problem if the PNM were offering to prove everything that is true, within a single system, which it isn't. But maybe there's some other bit of Godel that I'm overlooking. That 'within a single system' phrase is important, because the PNM is intended to be able to launch several distinct messages (sets of propositions) into the ocean in their separate bottles, and not try to fit more messages into one bottle than its users feel they need.

[methinksnot], the most recognizable kind of outflanking nowadays (maybe the only kind?) is deconstruction. If I may change the metaphor...

<puts down bottles, gets out toy box>

... deconstruction is commonly used rather rudely, to sweep all the lego bricks on to the floor. (I know how half-bakers like lego). I imagine a more polite kind of deconstruction, in which, for the purposes of one particular body of propositions, you say 'May I have those white blocks from your lego snowman, to help me finish my lego polar bear?' but everything else on the table stays up - and meanwhile, on another table, with another set of bricks, the snowman can stay up while the polar bear is sacrificed in pursuit of some other goal.

Finally, [nihilo] - pun? Perish the thought. Puns are evil and must be ... er... punished.
-- pertinax, Jun 23 2006

[pertinax], I'm wondering where this might be useful. Normally when philosophising, I can distill my argument down to a single 'axiomatic truth' (and contrast this against my opponent's 'axiomatic truth').

It is rare that an argument is based on multiple axioms that are combined into multiple layers of logic. If this is where your philosophising/argument is at then it's too complex and you've probably missed the point (or it should be re-stated in single axiomatic form).
-- xaviergisz, Jun 23 2006

This is usually called an "inference engine", and has been an existing topic of research in expert systems for at least twenty years.
-- jutta, Jun 23 2006

[Pert] That one's so bad it hurtinax.
-- nihilo, Jun 23 2006

[pertinax]// but clarity and closure..// I didn't question that - I questioned the contradiction between attempting to reduce possibilities and at the same time creating more. My question therefore remains unanswered. Better hurry with your reply though, now that this is mfd

//I hope this answer doesn't annoy you// - I should also point out that only stupidity annoys me, and I know how to bite back, so don't ever worry about annoying me. Also, that is a painfully corrupted interpretation of Gödel. Shame in you for that indiscretion.
-- xenzag, Jun 23 2006

[jutta], it's not an inference engine. It doesn't, itself, make inferences. It's a device for managing and navigating human inferences. I don't think inference engines can do the outward/deconstructive move, any more than Prolog can (see my response to [James Newton]).

[xaviergisz], I think it would be useful in areas fraught with politics, (including, but not limited to the office politics which sometimes interfere with technical specifications). In such contexts, you could use it to map out what common ground exists (and clarify the limits of that common ground) between individuals and groups whose world views are more than one axiom different, but who still need to work together in some areas.

You could also use it to play 'find the Hegelian synthesis'. Which is similar to the political application, but a bit more abstract and academic.


//contradiction between attempting to reduce possibilities and at the same time creating more//

I don't think I said anything about reducing possibilities, did I? And my apologies to Godel.
-- pertinax, Jun 23 2006

[pertinax] //I don't think I said anything about reducing possibilities, did I?// Yes - you did.

//instead of having to pick out logical connections from the rhetorical flow of a one-dimensional text document, you can have them formally specified// = reduction

//lines (or trees) of reasoning can be extended indefinitely// = enlargement

All of which = contradiction
-- xenzag, Jun 23 2006

Ah! I see what you mean now, [xenzag]. Well, perhaps 'formally specified' was the wrong phrase. What I was trying to convey was the difference between, for example, this...

'Je pense, donc je suis'

... and this ...

<premise a> Je pense. </premise a>

<conclusion x derived from premise a> Je suis. </conclusion x derived from premise a>

<mechanism supposed to link a to x> All predication pre-supposes existence. [I know that may not be quite right, but perhaps it'll do as an illustration] </mechanism supposed to link a to x>

(...and we could then add other nodes discussing whether or why we are inclined to accept the content of this node.)

Now, this kind of formalisation is not reductive, just descriptive... unless there's something else I've missed.

That reminds me, [xaviergisz], of another application of the idea; you can transcribe existing texts into the machine for study purposes and (if you feel really ambitious) use the machine to link together texts which refer to each other. Obviously, there will sometimes be cases where an existing text can be transcribed into the machine in more than one way. These cases will make good talking points for teaching purposes, and add to the value of the transcription process as a learning exercise.

Also, [methinksnot], those 'golden braid' references to Hofstadter's book on Godel (Ling, Xavier) have reminded me of another kind of 'outward' move; one of the things discussed in that book is the word 'mu' (derived from Zen?) which 'un-asks a question'. It implies something like 'I don't accept everything in the background to that question, so let's step back and consider the context in which it was asked'. It's the kind of thing you might respond to 'When did you stop beating your wife?'
-- pertinax, Jun 23 2006

Thank you [pertinax], but don't trouble yourself, it is over my head entirely. I liked to read the anno's though.

It is better to say penser donc etre instead of je pense donc je suis.
-- zeno, Jun 23 2006

At first I thought... "Hey, that's the internet, right?" Nodes and Anchors... But then I saw the word "Hypertext", and I realized you were talking about a website. In fact, a website a whole lot like Wikipedia. Isn't that well-baked?
-- Ayelis, Jun 23 2006

I've had enough - I'm off now to donc a donut.
-- xenzag, Jun 23 2006

[pertinax] Now, I see "Notions" again, and I think, not as much Wikipedia (because they delete all your half-baked notions), but more a site like this. Only, either, completely unmoderated, or done entirely with Flash-based Fridge-magnets. Is this what you're talking about, Pert?

[edit: Well, took a while, but I think I found a good link for you. added: freemindmaps]
-- Ayelis, Jun 23 2006

//It is better to say penser donc etre instead of je pense donc je suis// Thank you, [zeno], from one pedant to another ;)

Enjoy your donut, [xenzag].

[Ayelis], I like the sound of a flash-enabled fridge-magnet. What I had in mind was more strictly structured than the internet or a mind map, and more logically complex than Wikipedia, but less so than an inference engine...

...but all in all, I think it's time I just went away and tried to bake it. And if I succeed (this may not be any time soon), I may invite you all back so you can say 'Oh. Is that all he meant?'
-- pertinax, Jun 24 2006

////It is better to say penser donc etre instead of je pense donc je suis// Thank you, [zeno], from one pedant to another ;)//
Better yet: cogito ergo sum
-- coprocephalous, Mar 05 2008

"Cogito ergo sum" translates as "I think therefore I am", and whereas thought implies being, which is what "penser donc etre" can be translated as, it does not imply a persistent subject of consciousness. Therefore, although that is what Descartes wrote, he assumed too much by including his idea of a self in his statement. It would have been more justifiable for him to have written "Cogitatio essentiam significat", because as it is he has taken a huge logical leap which he hasn't tried to justify.
-- nineteenthly, Mar 05 2008

I bun it stimply because it would save me so much time trying to read Treon's posts.
-- WcW, Mar 06 2008

random, halfbakery