PDA

View Full Version : Library of Babel

Bilbo
02-09-2009, 03:04 AM
http://jubal.westnet.com/hyperdiscordia/library_of_babel.html

as[pdojgbzxcobv9a3wprdhvp9de3ghwpe408HvaPza cnbigbfdp9azdfpozhv09zawpgb8epf9v8gwebzzp;weubgpfv 9

Pretty cool, no?

My question is this:
Where does the current system of logic come from?
Language? God? Jorge Luis Borges?
Declan
02-10-2009, 12:29 PM
From what I know, it comes from "What works". They actually had to REDO the system of logic that was being used at the time because it "broke", read up on Russell and Whitehead.
Cliche Guevara
01-16-2010, 01:20 AM
this story fucking blew my mind when I read it, Borges is God as far am I'm concerned.
Bilbo
01-16-2010, 03:11 AM
So where does logic come from? God given? Is it natural? Or is constructed by man?

Did logic come from language? Did language come from logic? Is language == logic??
Sargeras0000
01-16-2010, 04:49 PM
Logic is a human, linguistic description of the way the universe works.
Reality Apologist
01-16-2010, 10:33 PM
My question is this:
Where does the current system of logic come from?
Language? God? Jorge Luis Borges?

Which system? There isn't just one.
Bilbo
01-23-2010, 10:21 PM
How about mathematical and symbolic logic; whenever I think of logic these days I think math. Sorry for the confusion
Reality Apologist
01-23-2010, 11:35 PM
How about mathematical and symbolic logic; whenever I think of logic these days I think math. Sorry for the confusion

Even symbolic logic isn't a single system: there's basic first-order propositional logic (which can only handle atomic sentences with the connectives 'and,' 'or,' 'not,' and 'if-then'), predicate calculus (which adds existential and universal quantifiers--'there exists some' and 'for all'), modal logic (which adds machinery for dealing with possibility and necessity), and many others. Basic propositional logic is a type of formal system called a Hilbert–Ackermann system; most of its development was done by Hilbert (a mathematician) and Frege (a philosopher) around the beginning of the 20th century. Frege and Hilbert were interested in the foundations of mathematics, so logic was originally conceived as a tool to clarify and generalize mathematical reasoning.