Questions tagged [sense-and-reference]
The sense-and-reference tag has no summary.
29 questions
2
votes
1
answer
153
views
Question about Hilbert ε-calculus
Why is Hilbert’s ε-calculus used?
I am reading a paper(Schiemer& Gratzl [2016]) in which a mathematical structuralist attempts to provide a semantics for arbitrary reference. The process goes as ...
1
vote
2
answers
166
views
How can one determine the ontological statuses of variable and constants in this type theory?
I am reading the book "Type theory and formal proof" by Rob Nederpelt, Herman Geuvers.
Chapter 2 "Simply typed lambda calculus"
Section 2.2 "Simple types" says "We ...
4
votes
7
answers
2k
views
Is the statement "a basketball is a physical object" a contradiction?
All of us would presumably agree that the statement "the basketball on Fred's table is a physical object" is true, assuming that there's a basketball on Fred's table. This statement is about ...
2
votes
1
answer
36
views
Absentee and contrary formulas for hyperintensionality
Here's the SEP introduction of hyperintensionality in terms of operations:
If the concept is expressed by an operator, H, then H is hyperintensional insofar as HA and HB can differ in truth value in ...
-1
votes
1
answer
30
views
Might the concept of grounding be reformulated in terms of the concept of elementhood in a set theory without the extensionality axiom?
The axiom of extensionality delimits the coincidence of disparate set representations in terms of the coincidence of elements of the intended sets (with the caveat that by axiomatic identity, we are ...
3
votes
11
answers
2k
views
Why does a word refer to the particular object it refers to?
Why does a word refer to the particular object it refers to? For example, "oxygen" in english refers to a particular element with 8 protons in its nucleus. Why does "oxygen", ...
-5
votes
1
answer
110
views
What is the reference of the phrase "the planet Venus"? [closed]
What is the reference of the phrase "the planet Venus"?
3
votes
3
answers
513
views
What does Frege means by "sense" and by "reference"? [duplicate]
Gottlob Frege, in his 1892 Uber Sinn Und Bedeutung, makes a fundamental distinction between sense and reference. My question is simple:
What exactly does Frege himself say that he means by "...
1
vote
1
answer
172
views
Formal definition of sense in regards to Frege's sense vs reference distinction
This question is about Frege's distinction between sense and reference. It is relatively easy to define the reference of a statement, but I have never seen any philosopher rigorously define the sense ...
3
votes
2
answers
100
views
Is there a restrictive principle within phenomenology (especially when discussing Aspect theory)?
So I would like to start by saying my apologies to the terms and terminologies that I will be using when asking my questions. I am new to phenomenology and thus do not really know the terms but ...
2
votes
1
answer
158
views
Is there a significant difference between human intuition and animal intuition? [closed]
Most of people's decisions are actually made by intuition, for example, when you cross the road, even if there is a car coming, but you judge that it is safe to cross the road at the current speed, ...
3
votes
1
answer
115
views
A combined theory of reference for proper names
According to this SEP article, there are two common accounts of how proper names. One account holds that the name has a meaning or sense which is a concept (or something like it), and that you get to ...
2
votes
2
answers
201
views
Russell's criticism on Frege in "On Denoting"
The one phrase C was to have both meaning and denotation. But if we speak of “the meaning of C,” that gives us the meaning (if any) of the denotation. “The meaning of the first line of Gray’s Elegy” ...
5
votes
1
answer
130
views
Is the failure of substitutivity in an intensional context simply due to a lack of clarity in terms of the identity operator?
The oft-given example to demonstrate the failure of substitutivity in an intensional context goes as follows:
(P1) Lois Lane believes Superman can fly
(P2) Superman is Clark Kent
(C) Lois Lane ...
2
votes
1
answer
87
views
Are Frege's "ideas" just qualia?
By Frege, there's a reference, sense and idea. I understand about reference and sense, but not about idea. Is it something like a quale?
2
votes
1
answer
152
views
In the Twin Earth thought experiment, why doesnt "water" turn out to be a hypernym (parent term)?
Background
Putnam's Twin Earth thought experiment asks us to imagine a planet called Twin Earth, which is exactly like Earth except on Twin Earth their water is not H2O, but rather, XYZ. The ...
4
votes
1
answer
2k
views
Why is Davidson's Swampman not an argument against Davidson's semantic theory?
In the swampman argument, Davidson imagines a character named Swampman, who is spontaneously formed from a swamp due to a freak lightning strike. This strike coincidentally arranges a swarm of ...
3
votes
3
answers
294
views
Does the use of senses require any knowledge about what is sensed? [closed]
Does the use of any sense (hearing, sight, pitch, proprioception, heat/cold, pain) require any knowledge about what is sensed in order to be used effectively?
I phrased this poorly.
I really mean &...
3
votes
3
answers
172
views
"Hesperus", "The Evening Star", and externalist theories of concepts
If two names, "N1" and "N2", are introduced into the language for exactly the same purpose, but are made known to a speaker, S, in different circumstances, then it's possible for ...
4
votes
4
answers
3k
views
How many instances of 1 are there in the expression "1+1"?
Is it just two marks/numerals representing a singular number 1, or are they actually two instances of 1?
And what about in a set with repetition such as {1, 1, 2, 3}?
And if these are actually ...
0
votes
2
answers
240
views
How does assignment work? [closed]
The only place that 'assignment' is dealt with in any kind of formal context is in formal logic, the idea of a variable assignment function is one I wish to understand in simple terms to allow me to ...
2
votes
0
answers
31
views
Is there a difference between "is an intensional element of" and "is an extensional element of"?
There is a version of set theory according to which there are two flavors (types? categories?) of elementhood relation, and if it's ultimately coherent, it does offer a solution to Russell's paradox (...
9
votes
3
answers
409
views
Do we cause words to mean things, or do words cause us to mean things?
This question occurred to me while reviewing a skeptical argument from Kripke regarding semantics:
Suppose that I’ve never dealt with numbers larger than 57. (Given our finite nature and the ...
-2
votes
1
answer
142
views
Universals, object-concept and sense
I am confused about "concept", "sense" and "properties" which may have some similarity but fundamentally are different.
I explain my understanding as follows :
Object-...
2
votes
3
answers
543
views
What is the nature of the term 'variable', and is it used differently in math, computer science, and logic?
Say I'm given an expression and talk about x changing what do we really mean by this linguistically? What inferences can be drawn about the nature of variables from their practical usage?
When we talk ...
1
vote
3
answers
148
views
Why Can't We Replace Names with Descriptions?
If the descriptivist theory says that the sense of a name is a description, then why do the cognitive values of the two differ? i.e. One could believe the first, but not the second.
Superman is ...
0
votes
0
answers
69
views
Justification values
The concept of truth values is sometimes expressed in terms of "truth as an object vs. truth as a property." My in-a-slogan understanding of this alternative is "sentences being ...
23
votes
13
answers
9k
views
Why is it wrong to answer a question with a tautology? Isn't "2+2" correct when answering 'What is "2+2"'?
Many times in class, we are asked to answer, "What is 2+2?" or "What is the derivative of the function x?". It would not be the intended answer to write "2+2" or "...
3
votes
2
answers
340
views
On Searle's _Proper Names_ (1958)
I just read Searle's article Proper Names (1958) which was published before Kripke's seminal take on the subject in Naming and Necessity (1980). I think it is a very lucid article but I have a ...