Difference between revisions of "jvoste"

From Lojban
Jump to navigation Jump to search
Line 1: Line 1:
== intension ==
A list of [[jbocre: lujvo|lujvo]], such as the one at [http://www.lojban.org/files/draft-dictionary/NORALUJV.txt].
* formal explanation:
Compare [[jbocre: ma'oste|ma'oste]], [[jbocre: gi'uste|gi'uste]].
[[jbocre: I can't supply this off the top of my head. Something like: a function from X to the set of worlds in which X is the case.]]
* informal explanation:
The Sense (as opposed to Reference) of a word.
==== intensional contexts ====
Logical contexts that shift from one world to another, e.g. ''believe'' shifts from the world in which the believer does the believing to the worlds in which the beliefs are true. [[jbocre: I'm sure someone can explain this better.|I'm sure someone can explain this better.]] --[[User:And Rosta|And Rosta]]
--[[User:And Rosta|And Rosta]]
Given the regularity with which this is thrown around, I would expect a clearer exposition. I can't derive enough understanding from these hints above. --xod
Google is your friend:
* [http://www.esgs.org/uk/inex.htm
*] http://www.cogsci.ed.ac.uk/~ddb/teaching/glossary/glossary.html
;:INTENSIONAL/EXTENSIONAL CONTEXTS (or REFERENTIALLY OPAQUE / REFERENTIALLY TRANSPARENT CONTEXTS)?this is primarily a distinction between types of sentences. A sentence is said to constitute an extensional context if the following two conditions hold: (a) co-referring expressions can be substituted for one another in the sentence without changing its truth value (e.g. if "Mary loves John's best friend" is true, and John's best friend is Fred, then "Mary loves Fred" is true)?the technical term for this criterion is intersubstitutivity salva veritate; and (b) the sentence entails the existence of the entities it mentions (e.g. if "Mary loves Fred" is true then "Fred exists" is true)?the technical term for this criterion is that such sentences support existential generalisation. Conversely, a sentence is said to constitute an intensional context if both these criteria fail of it (e.g. "Mary believes that Father Christmas lives in the North Pole" does not entail that "Mary believes that Santa Claus lives in the North Pole" (for Mary may not know that Father Christmas and Santa Claus are meant to be one and the same) and nor does it entail that "Father Christmas exists"). Importantly, sentences describing PROPOSITIONAL ATTITUDES form intensional contexts. Whilst they are related, it is important not to confuse intentional-with-a-"t" and intensional-with-an-"s".
** There are certain boundary cases, for which [[jbocre: Quine|Quine]] introduced the charming expression [[jbocre: referentially translucent|referentially translucent]].
* [http://gncurtis.home.texas.net/illisubs.html
*] http://www.people.fas.harvard.edu/~jpryor/phil156/notes/intentional.html
Executive summary:
* In extensional definitions, you define something by enumerating everything there is to it. In intensional definitions, you give some sort of definitions in words instead.
* An extension of a meaning is the set of the things in the world it means. It's specific to the actual world we're in: no hypotheticals or subjective judgements allowed. An intension allows hypotheticals, and judgements; so it maps a meaning, not to the set of things in this world, but to the possible worlds in which it means something. For example, "I believe you are human" maps the sentence to the possible worlds in which you are human. In some possible worlds, you're not, but a robot, or something. The possible worlds selected are the worlds in which my subjective judgement actually turned out to be correct. That's because "believe that" allows some doubt; you don't know it's true in all cases. On the other hand, "You are 25 years old" doesn't allow any doubt, and is not subjective or hypothetical; it's either true or false. So it has an extension, not an intension.
* The connection between the two is that, if you're enumerating the things an expression  means, you're certainly limiting yourself to the real world, and yes-or-no membership. To capture hypotheticalities, you can no longer enumerate the things in this world involved -- because you don't know for a fact that you're right. You need the words (the intensional definition), not just the enumeration (extensional definition), to capture what you're trying to refer to.
* Intensional contexts are the contexts in which intensions arise: the contexts in which hypotheticality is an issue. "believe that", "doubt that", "necessarily true that", etc.
Extension is hard-core, take-no-prisoners, yay-or-nay. Intension... lets in the human stuff. :-)
extension = reference = denotation = '''''se sinxa'''''
intension = sense = connotation = '''''smuni'''''
* Is that intended as a definition or as a question? The extension/intension distinction is analgous, but not equal, to the reference/sense distinction, while I don't see the relationship with denotation/connotation (I'd have to check some textbooks to see what technical meaning the term 'connotation' ever has). As for the Lojban equivalents, ''smuni'' and ''selvla'' might suffice for intension/sense, but so might ''se sinxa''. --[[User:And Rosta|And Rosta]]
* It is an explanation. [http://www.cogsci.princeton.edu/~wn/ ordnet] has the following:
## reference, denotation, extension -- (the most direct or specific meaning of a word or expression; the class of objects that an expression refers to; "the extension of `satellite of Mars' is the set containing only Demos and Phobos")
## intension, connotation -- (what you must know in order to determine the reference of an expression)
* So while there may be differences in technical uses and exact definitions, ''extension'', ''reference'' and ''denotation'' all have the same general meaning on a sufficiently high level of abstraction, as do ''intension'', ''sense'' and ''connotation'' and the former correspond to Lojban ''se sinxa'' whereas the latter correspond to Lojban ''smuni'', both of which are a bit more general than any of those English words. At [[jbocre: lange'u|lange'u]], [[User:Nick Nicholas|nitcion]] talks about the sense (''smuni'') and reference (''se sinxa''), so I really thought that assigning those meanings to those gismu was a settled matter. -- [[jbocre: Adam|Adam]]

Revision as of 16:56, 4 November 2013

A list of lujvo, such as the one at [1].

Compare ma'oste, gi'uste.