jackPark: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
 
mNo edit summary
Line 1: Line 1:


Gottlob Frege (1848 - 1925) is one of the major founders of modern formal logic (symbolic logic, mathematical logic).  His ''Begriffschrift'' is the first complete system of modern logic, running all the way through set theory. Alas, Russell found a contradiction in it (the set of all sets not containing itself both does and does not contain itself). This led to a revision of the whole project of logic and eventually to separating set theory off.
Jack Park, together with Sam Hunting, edited the book ''XML Topic Maps'', and creates Websites that use IBIS as part of a methodology called ''[http://www.nexist.org/sc2002/ ugmented storytelling.]'' An instance of the NexistWiki site can be found at [http://www.nexist.org/j4j/


For Lojban, Frege's main contribution is the distinction between ''Sinn'' (sense, designation) and ''Bedeutung'' (reference, denotation). For a given predicate, the denotation is simply the set of all the things to which the predicate refers ("cow" refers to cows, say).  The designation is that by which the reference takes place -- what it is about cows that make then the denotation of the word "cow." The same applies to names and sentences.  Frege held that e.g. properties were things with holes in them, to be filled by things to make propositions.  This led eventually to devises like the lambda calculus, that represented properties explicitly in this way.
Sorry,] Jack. The IBIS link on the Elephant page is broken, and these two links here are cryptic enough so that figuring out what the heck all of this is surpassed my 30-second "wtf?" timeout. I suggest some "inverted pyramidal" summaries for people like me who don't want to spend 5 minutes figuring out if they want to spend 5 minutes figuring it out.


Because "Hesperos is Phosphoros" is newsworthy (or was a couple thousand years ago) and "Hesperos is Hesperos" is not, Frege set out to examine the role of sense -- as opposed to reference -- in language and logic, thereby beginning the development of intentional logic, as well as being a leader of the normal, extentional form. The main points that come up from this in Lojban (all of them already in Frege) are
Well, I'm slow, but eventually I get it. BTW: the IBIS link is not mine, but it can be resurrected by visiting [http://www.cognexus.org]  Here's a shot for the 'wtf?' crowd.


#In oblique contexts, the reference of a word is its normal sense.
Augmented Storytelling is basically something I crafted that lies at the intersection of Weblogs, Wikis, and Doug Engelbart's call for better addressability in information resource space.  As one of the co-creators of XTM, I naturally gravitate in the direction of incorporation of topic maps in storytelling space.  Augmented storytelling works like this. Start with a sacred space, one in which an individual gets to tell a story, one that is completely unencumbered with the commentary of pedestrians who wander by and decide to disagree with this or that notion in the story.  But, give those who would comment a place to do so, for they need to tell stories too.  Then, tie everything up with a topic map, one that federates all the stories in some universe.  Addressability?  Yup, we do that too.  Topic maps refer to elements (chunks of documents) as addressable information resources.  My implementation does this by breaking a story into its basic logical units, typically paragraphs or illustrations, but one could do the same with streaming information.  Each addressable information resource (AIR) has two icons associated with it: one that gives the full x-path/x-pointer URL of the object in the context of the Webpage in which it is contained, and one which points to a "home page" for that particular AIR, from which authenticated people can launch disussions about whatever it is the AIR provokes in them. They can also attach links to related ideas or topics to that AIR, they can transclude the AIR to other locations within the Website, they could potentially translate the AIR into another language, and, the original creator (and a superuser) can edit and thus version the AIR, turning the story itself into a living document.


# Therefore, in oblique contexts a word may have a reference even if it does not in the non-oblique context or it may have a different reference.
When I finally complete my NexistWiki engine, the entire contents of the book ''XML Topic Maps'' will be put online in that fashion, and thus, that book will become a living document.


# Consequently, names may not be moved from oblique to non-oblique context
OH, BTW: there appears to be a bug in this wiki. As I click the preview button, the site is insisting that I sign in. Damn! I'm already signed in.
 
# nor quantified over outside of context
 
# nor may identicals be exchanged outside the context in which the identity is asserted.
 
Frege taught Carnap logic, Carnap taught Broadbeck,and Broadbeck taught James Cooke Brown.  Frege (and Carnap) were active in the constructed language movements at the end of the 19th century and between the world wars.
 
pc>|8}

Revision as of 16:53, 4 November 2013

Jack Park, together with Sam Hunting, edited the book XML Topic Maps, and creates Websites that use IBIS as part of a methodology called ugmented storytelling. An instance of the NexistWiki site can be found at [http://www.nexist.org/j4j/

Sorry,] Jack. The IBIS link on the Elephant page is broken, and these two links here are cryptic enough so that figuring out what the heck all of this is surpassed my 30-second "wtf?" timeout. I suggest some "inverted pyramidal" summaries for people like me who don't want to spend 5 minutes figuring out if they want to spend 5 minutes figuring it out.

Well, I'm slow, but eventually I get it. BTW: the IBIS link is not mine, but it can be resurrected by visiting [1] Here's a shot for the 'wtf?' crowd.

Augmented Storytelling is basically something I crafted that lies at the intersection of Weblogs, Wikis, and Doug Engelbart's call for better addressability in information resource space. As one of the co-creators of XTM, I naturally gravitate in the direction of incorporation of topic maps in storytelling space. Augmented storytelling works like this. Start with a sacred space, one in which an individual gets to tell a story, one that is completely unencumbered with the commentary of pedestrians who wander by and decide to disagree with this or that notion in the story. But, give those who would comment a place to do so, for they need to tell stories too. Then, tie everything up with a topic map, one that federates all the stories in some universe. Addressability? Yup, we do that too. Topic maps refer to elements (chunks of documents) as addressable information resources. My implementation does this by breaking a story into its basic logical units, typically paragraphs or illustrations, but one could do the same with streaming information. Each addressable information resource (AIR) has two icons associated with it: one that gives the full x-path/x-pointer URL of the object in the context of the Webpage in which it is contained, and one which points to a "home page" for that particular AIR, from which authenticated people can launch disussions about whatever it is the AIR provokes in them. They can also attach links to related ideas or topics to that AIR, they can transclude the AIR to other locations within the Website, they could potentially translate the AIR into another language, and, the original creator (and a superuser) can edit and thus version the AIR, turning the story itself into a living document.

When I finally complete my NexistWiki engine, the entire contents of the book XML Topic Maps will be put online in that fashion, and thus, that book will become a living document.

OH, BTW: there appears to be a bug in this wiki. As I click the preview button, the site is insisting that I sign in. Damn! I'm already signed in.

Retrieved from "https://mw.lojban.org/index.php?title=jackPark&oldid=75015"