Skip to main content

Questions tagged [semantics]

Semantics, in philosophy, often refers to "relation between signs and the things to which they refer and is seen, often, within the school of rhetoric.

Filter by
Sorted by
Tagged with
0 votes
8 answers
338 views

I am someone who believes that meaning happens only in consciousness. In my view, words would have no meaning in a philosophical zombie world. But my view raises an interesting dilemma. Suppose, at ...
user107952's user avatar
  • 9,814
2 votes
0 answers
97 views

So, I asked a similar question in maths, but from the answers I got, I figured it maybe is too philosophically loaded (I hope this is ok). But still my main interest lies in the actual application of ...
Alexander Wagner's user avatar
4 votes
0 answers
107 views

In beginning I must confess that I am a Formalist when it comes to mathematics and philosophy. Formalism is defined as the following per Wikipedia: Formalism is the view that holds that statements of ...
Lorenzo Gil Badiola's user avatar
-2 votes
1 answer
63 views

My first claim is an observation that there are some subsystems in the mind where humans show perfect competency with typed elements, and there are some subsystems in the mind where humans struggle ...
Julius Hamilton's user avatar
4 votes
5 answers
723 views

Perhaps this is a semantics question, but what I would like is to be able to substitute the question "What is the meaning of life?" to "What is life equal to?" and I want to know ...
DanielFBest's user avatar
  • 1,600
1 vote
1 answer
91 views

In formal systems, recursive definitions must be fully specified to ensure the reliability of conclusions. However, in natural human thinking, we often rely on context-dependent partial recursion to ...
Anar's user avatar
  • 43
3 votes
4 answers
359 views

I've seen in the book "Logic for everyone" by Jason Decker that he writes the Propositions on the header of the tables as meta-Propositions. E.g. for the formula A→C 𝒜 𝒞 𝒜→𝒞 T T T T F F ...
kouty's user avatar
  • 907
7 votes
3 answers
703 views

I'm learning the nuance between using and mentioning. Maybe what I'm going to write is a result of misunderstanding. The object language (OL) contains names of objects from a domain, a assumed real ...
kouty's user avatar
  • 907
3 votes
0 answers
75 views

In traditional logical and semantic systems, contradiction is often seen as something to be eliminated — a signal that the reasoning process has gone wrong. But what if contradiction is a structural ...
PSBigBig's user avatar
2 votes
2 answers
93 views

My question is about the following perplexing passage of Plato's “Sophist,” in which young Theaetetus and the Stranger of Elea, a disciple of Eleatic philosophy, debate about certain problems of the ...
viuser's user avatar
  • 5,537
6 votes
3 answers
446 views

A sentence is true if and only if what the sentence describes is the case. My main doubt started when I realised that we are comparing sentence, a collection of words, to reality, the case. Something ...
Ashish Shukla's user avatar
1 vote
0 answers
93 views

While discussing the question Is Machine our new God?!, I found myself explaining a distinction I hadn't consciously articulated before: the difference between Ordinary Meaning, Profound Meaning, and ...
Ashish Shukla's user avatar
0 votes
0 answers
108 views

Think of a description of an object, having qualities Q(a),Q(b). Q(a) can also have a description of it's own which one might try to describe to another person using a common language, and while ...
Sweet Dreams's user avatar
-4 votes
2 answers
88 views

Is the phrase “infinitely divisible” describing just one property or two properties by condensation? I ask because the phrase “infinitely divisible” can be interpreted as the conjunction of two ...
Lorenzo Gil Badiola's user avatar
4 votes
3 answers
435 views

Peter Smith in chapter 8 of "An Introduction to Formal Logic" introduces three sentential/logical connectives: 'And', 'Or' and 'Not'. He gives a brief exposition on such natural language ...
Ossian Ramirez's user avatar
4 votes
2 answers
177 views

Metaethics typically investigates two broad domains: (a) The semantics of moral discourse: (i) Are moral utterances truth-apt? (ii) Do they have truth-makers? (b) The metaphysics of morality: (i) Do ...
Kai Le's user avatar
  • 421
5 votes
1 answer
144 views

For that they have shorn absolute infinity of its mystical significance, have set theorists since Cantor ended up meaning something sufficiently different by the phrase "absolute infinity" ...
Kristian Berry's user avatar
4 votes
1 answer
146 views

The SEP entry on situations in natural-language semantics reads: Situation semantics was developed as an alternative to possible worlds semantics. In situation semantics, linguistic expressions are ...
Kristian Berry's user avatar
2 votes
1 answer
154 views

In language , we can employ usual meanings of language-tokens and unusual meaning of language-tokens without the notion of "usual meaning" of language-tokens, communication would be a ...
user avatar
4 votes
1 answer
132 views

Good evening, everyone. Since Frege the meaning of sentences has been conditioned to its truth-condition (be it as a truth-value being the referent of a sentence or truth being a property of a true ...
rutabulum's user avatar
  • 399
4 votes
2 answers
112 views

In the paper Trans Feminism: Recent Philosophical Developments, Bettcher discusses the idea that it is hard to define the word "woman" and be inclusive of everyone that should be included (...
AJ Horton's user avatar
  • 143
3 votes
1 answer
143 views

The issue of the following reasoning is to learn completeness of propositional calculus. I am learning the book "An introduction to Logic and its philosophy", Peter Schotch 2006. The aim of ...
kouty's user avatar
  • 907
4 votes
0 answers
76 views

In his mereology, Husserl defines moments as inseparable parts and cites examples such as the relationship between intensity and quality or the relationship between color and extension: I never see a ...
Ian's user avatar
  • 1,899
1 vote
1 answer
191 views

All reasonings may be divided into two kinds, namely, demonstrative reasoning, or that concerning relations of ideas, and moral reasoning, or that concerning matter of fact and existence. Why does ...
Егор Галыкин's user avatar
6 votes
4 answers
1k views

I look at Zero and Infinity, Quantitatively, one is Nothing vs other Everything. For some reason I find Zero more intuitive than Infinity. Just wanted to know if there is some difference between ...
Ashish Shukla's user avatar
6 votes
3 answers
232 views

Delong (A profile of Mathematical Logic §16 p. 170 in the Kindle edition) wrote that we can denying the antecedent by having an obviously false consequence follow from it. A similar device is ...
kouty's user avatar
  • 907
4 votes
4 answers
357 views

In the book A Profile of Mathematical Logic from Howard DeLong in § 16, Primary logic, the Propositional calculus, I noticed two teachings quoted below: To each valid argument there corresponds a ...
kouty's user avatar
  • 907
7 votes
4 answers
519 views

Explaining "Implementing a specification" I'm currently looking into the notion of "implementing according to a specification" in engineering, and in particular in software ...
Rasmus Källqvist's user avatar
5 votes
3 answers
1k views

The Context Principle says to "never ... ask for the meaning of a word in isolation, but only in the context of a proposition", which I take to mean that we should not look to words in ...
Curulian's user avatar
  • 265
4 votes
1 answer
94 views

Full disclosure: I’m a linguistics student and not a philosophy one, my only formal experience in philosophy is one epistemology and one applied ethics class 
When I was in my epistemology class, one ...
Josh Tint's user avatar
4 votes
4 answers
227 views

In general, I am interested in a paradigm something like this: When we have premises, there are rules that can allow us to derive consequences of those premises. Sometimes, going in the reverse ...
Julius Hamilton's user avatar
4 votes
1 answer
50 views

When an observer looks at a dog, and uses that information to comment on the color of the dog's coat, there is a chain of causation leading directly from the dog to the observer's statement about the ...
causative's user avatar
  • 21.4k
6 votes
2 answers
403 views

I am not sure where to draw the line between semantics and pragmatics. It appears that philosophers often attempt to solve a problem with regards to the use of language and suggest a theory that they ...
Sami's user avatar
  • 69
4 votes
0 answers
77 views

I know that there is some research in philosophy on the difference between (A) "S believes that p" and (B) "S believes in x" (e.g. H. H. Price and Gendler Szabó). But I cannot find ...
Gion's user avatar
  • 43
7 votes
3 answers
177 views

When a person says "this is morally good" or "this is morally bad," something caused them to make this statement. Typical causes may include: They were told by their parents that ...
causative's user avatar
  • 21.4k
10 votes
0 answers
141 views

Lambda Calculus semantics are defined over a formal structure of values that are partially ordered with respect a sort of "more defined" relation. The least element is the completely ...
David Gudeman's user avatar
4 votes
3 answers
819 views

It's uncontroversial that most declarative sentences have propositional content, and can therefore be true or false. However they are just one way of conveying information. If 'There exists a red wall'...
edelex's user avatar
  • 1,342
5 votes
6 answers
1k views

I'm from a programming background, so please forgive me for asking programming-related logic questions. My question is this: Many things have a truth value, including true and false themselves. ...
Questioner of the Sibyl System's user avatar
0 votes
2 answers
137 views

Definition 1. An idiom is a group of words established by usage as having a meaning not deducible from those of the individual words. Definition 2. An idiom is a phrase or expression that has a ...
then999's user avatar
  • 121
19 votes
11 answers
8k views

I can understand that some self-referential sentences can be sensible and have truth/false values (e.g. "This sentence is written in English." is true, "This sentence has 1,000 words.&...
HelpMePlease's user avatar
7 votes
3 answers
159 views

Let T be a stripped-down version of propositional logic, whose only connectives are ¬ and ➝, and suppose T can prove all the usual theorems that can be formed from only these two connectives. Let T’ ...
WillG's user avatar
  • 433
5 votes
1 answer
81 views

Hyperintensionality is something to do with e.g. the difference between, "I believe that Dean is Dean," vs., "I believe that Dean is Ackles." Generally, an operation X on A and B ...
user avatar
2 votes
0 answers
44 views

Is the meaning of something identifiable or reducible to the motion or effect it causes on the mind that interprets it? For example, the meaning of a photograph could be said to be the nostalgic ...
causative's user avatar
  • 21.4k
13 votes
10 answers
4k views

I initially posted this in Linguistics, but wanted to get philosophers' opinions on this as well. (And someone over there is complaining that it's a philosophical rather than a linguistic question... ...
Spailpín's user avatar
2 votes
2 answers
212 views

If □P, does it follow that P is a tautology? I know in K modal logic, the law of NEC states ⊢ P; therefore □P. The corresponding conditional of the previous argument is If ⊢ P then □P. Now ⊢P iff P is ...
lee pappas's user avatar
  • 2,266
3 votes
1 answer
124 views

In all of the established propositional logics that I’m aware of, a propositional atom is treated as a meta-variable. In certain first-order proof systems, this does not hold for those same logics ...
PW_246's user avatar
  • 1,852
3 votes
4 answers
222 views

A monoid is a mathematical structure with an associative law of composition and an identity element. It can be proven that if an element of a monoid has an inverse, then the inverse is unique: Assume ...
Julius Hamilton's user avatar
0 votes
1 answer
154 views

What's sense according to Wittgenstein? I think I might have missed the definition in TLP, but I can't find it anywhere. From the context it's obvious that Wittgenstein's sense isn't that of Frege. ...
Егор Галыкин's user avatar
0 votes
1 answer
118 views

What does it mean to say that we can attribute neither being nor non-being to the elements? One might say: if everything that we call “being” and “non-being” consists in the obtaining and non-...
Егор Галыкин's user avatar
4 votes
2 answers
722 views

What does it mean to say that we can attribute neither being nor non-being to the elements? One might say: if everything that we call “being” and “non-being” consists in the obtaining and non-...
Егор Галыкин's user avatar

1
2 3 4 5
7