Talk:Opaque context

Linguistics: Theoretical Linguistics / Philosophy of language

	Linguistics portal This article is within the scope of WikiProject Linguistics, a collaborative effort to improve the coverage of linguistics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.LinguisticsWikipedia:WikiProject LinguisticsTemplate:WikiProject LinguisticsLinguistics articles
???	This article has not yet received a rating on the project's importance scale.
	This article is supported by Theoretical Linguistics Task Force.
	This article is supported by Philosophy of language task force.

Philosophy: Logic / Language / Analytic Low‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

Low

This article has been rated as Low-importance on the project's importance scale.

Associated task forces:
/
	Logic
	Philosophy of language
	Analytic philosophy

Older comments

The sentence "Mary knows that Cicero is a great orator" is not necessarily referentially opaque. Maybe Mary attends one of Cicero's speeches, but is unaware of the identity of the speaker. By experiencing the speaker's immense oratorial skill, Mary comes to know that whoever she is watching is a great orator. In this case, it is fine to say "Mary knows that Cicero is a great orator," even though she doesn't know it is Cicero that she is watching. And now the sentence is referentially transparent, since we could also say "Mary knows that Tully is a great orator," "Mary knows that the father of Tullia is a great orator," etc. (Seanb (talk) 17:23, 19 May 2010 (UTC))[reply]

That's highly controversial but I think you're expressing a view Prior (1963) held regarding opacity. The question is what the objects of belief are. Are they not-so-fine-grained entities like sets of possible worlds or even Russellian structured propositions, or are they something more fine-grained like hyperintensional entities? If they're the former then Mary knows that Cicero is a great orator, even if you asked her "Is Cicero a great orator?" and she responds "I have no idea". That's an odd consequence of the view (i.e. that non-hyperintensional entities are the objects of belief). So I think that's one strong reason to discount the view and to go hyperintensional. In that case, clearly Mary doesn't know that Cicero is a great orator. Just ask her! Nortexoid (talk) 09:33, 22 May 2010 (UTC)[reply]

The artificial language adaptation here doesn't work. Cicero has two names (at least), so why should [Cicero] return "Cicero" as opposed to "Tully"? The argument is assuming that the function not only looks at the object passed to it, but the name of the object used to pass it in. So it's looking at it as a two-place function, such that [Cicero,"Cicero"] returns "Cicero" and [Cicero,"Tully"] returns "Tully", but in that case there's no real reason to pass in the object at all!

Would [the man who denounced Cataline] return "Cicero" or "Tully" or "The man who denounced Cataline"? — Preceding unsigned comment added by 204.10.148.229 (talk) 21:05, 8 May 2012 (UTC)[reply]

I think the quotation example isn't entirely wrong, but it is too weak to expose where opacity is most often found in programming languages. A better example would be the use of thunks (call-by-name) or pointers (call-by-reference) as opposed to call-by-value as most mathematical notations are defined. The importance of the context then becomes evident; some grammatical contexts descend the reference chain to its "final" referent, others peel off just a layer, others preserve all the nuance and ambiguity of the raw identifier. GJaxon (talk) 01:32, 27 September 2012 (UTC)[reply]

Reference for the origin of the term

Hi, AFACS, footnote 7 here sources the term to Quine: https://books.google.no/books?id=uH65lzd6UBsC&pg=PA76&lpg=PA76&dq=who+coined+the+term+opaque+context&source=bl&ots=1l0jyzf56P&sig=ACfU3U13rWUmV9pmWyCOoXlDlSonkWAEXQ&hl=no&sa=X&ved=2ahUKEwj_ssH4wb_gAhVU6qYKHf3TAKg4ChDoATAIegQIAhAB#v=onepage&q=who%20coined%20the%20term%20opaque%20context&f=false T 85.166.162.64 (talk) 05:31, 16 February 2019 (UTC)[reply]