Questions tagged [syntax]
The syntax tag has no usage guidance.
20
questions
1
vote
2
answers
80
views
How do you separate premises in logic?
In logic, you are tasked to identify the premise and conclusion of an argument, I personally find that very straight forward. However, when writing these arguments in standard form people separate the ...
- 59
0
votes
0
answers
63
views
Disjoint predicates FOL: equivalence of normal forms
I'm interested in exploring a restriction of first-order logic (FOL) where each predicate is disjoint. Formally, for any predicates Pᵢ and Pⱼ where i ≠ j, we enforce the following condition:
¬∃x (Pᵢ(x)...
- 9
7
votes
3
answers
129
views
How can we formalize the claim that these two languages are equally expressive?
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’ ...
- 433
2
votes
1
answer
81
views
Wittgenstein, 4.063
An illustration to explain the concept of truth. A black spot on white paper; the form of the spot can be described by saying of each point of the plane whether it is white or black. To the fact that ...
- 927
1
vote
2
answers
103
views
Wittgenstein's chess example
When one shows someone the king in chess and says “This is the king”, one does not thereby explain to him the use of this piece a unless he already knows the rules of the game except for this last ...
- 927
2
votes
6
answers
445
views
What makes a system of syntax capable of being computable?
It will be easier if I present the motivation in order to express the question better.
Creating shorthand symbols for long sentences/propositions/assertions is ubiquitous. Many authors do it ...
- 1,169
0
votes
4
answers
127
views
Why do some philosphers including Russell paraphrase this sentence?
To say “Pegasus doesn’t exist” is to say “it is not the case that there is exactly one
x
which is a flying horse of Greek mythology”.
https://plato.stanford.edu/entries/nonexistent-objects/
“Pegasus ...
user68943
1
vote
2
answers
64
views
Does a formula denote it's truth value once the variable is assigned?
In a lot of systems like boolean algebra '=' is treated as a function that takes two inputs and yields a truth value.
In first-order logic we often use an expression like 1. p(x)=(x+1=2) and to treat '...
- 1,201
1
vote
2
answers
106
views
What is the syntactic representation of mental content? Is that even possible?
In the philosophy of mind, the Representational Theory of Mind (RTM) usually is said to be associated with semantic propertys of intentionality. Does representation have to be semantic? What would be ...
- 11
0
votes
0
answers
68
views
Quine's quasi quotation
I would like to know what's the point of Quine's quasi-quotation, that is the use of angle brackets. How does they differ from ordinary commas quotation?
- 1
1
vote
1
answer
95
views
Multiple interpretations of the same syntax in mathematics?
Mathematics are doing a very odd usage of syntax and semantics. Let's take a wikipedia page as an example : https://en.wikipedia.org/wiki/Intuitionistic_logic
Here we have a syntax which is given, and ...
- 360
19
votes
8
answers
6k
views
Is "This sentence is written in English" nonsense?
Wittgenstein and many others have said that our language gives the appearance of truth to some nonsense.
Do you think the very simple "This sentence is written in English." is such nonsense ...
- 360
-1
votes
1
answer
362
views
What's with philosophers and their use of quotation marks?
I'm reading Hofstadter and Quine at the same time and this is deep.
An explanation:
The logician's use of "quotations" in sentences like this one would suggest that a quoted phrase is ...
- 135
0
votes
2
answers
149
views
If syntax isn’t semantics, will we abandon syntax one day to tackle the first person perspective? [closed]
Say by building experience machines once we learn how brains better work.
If syntax isn’t semantics, we will never write down a depiction of the first person subjective perspective, where semantics ...
- 3,370
2
votes
3
answers
688
views
Can something be both a type and a token?
I wonder, can something be both a type and a token (in reference to the type-token distinction in philosophy)? For example, an individual dog is a token of the type of dog, but the type of dog is ...
- 8,092
1
vote
0
answers
101
views
Are implementations to semiotics what proofs are to syntax, and models to semantics?
I see this term implementation and its family used here and there in writings on set theory. There are implementations of natural numbers, of ordered pairs, of functions, of "mathematics in ...
- 18.5k
0
votes
1
answer
83
views
The Indexicality of "Ask this question?"
I was messing around with liar and similar sentences, and noticed a recurring issue with indexical quarantine with respect to the examples at stake. Meaning that something seemed to "go wrong&...
- 18.5k
0
votes
2
answers
136
views
Font/typeface color, calligrams, and the syntax-semantics distinction
There is a set of books by the author Mark Z. Danielewski, that features a very irregular (but not necessarily absolutely unique) style. For example, in his debut novel, the word house (and ...
- 18.5k
2
votes
3
answers
111
views
Are There Finitary Logical Constraints on Converting Recursive Syntax to Semantics?
From the logical standpoint can we continue these series on and on and still be able to make sense of it?
1. I know <--- no problem
2. I know ...
-1
votes
2
answers
2k
views
What is the difference between syntax, semantics and pragmatics?
I would be interested to find more about the way semantics intertwines with pragmatics.
Naturally, I associate semantics with more conventional theories like Russell`s as opposed to Gricean ...
- 216