# Questions tagged [syntax]

The tag has no usage guidance.

20 questions
Filter by
Sorted by
Tagged with
1 vote
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
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
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
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
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
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
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 ...
1 vote
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
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
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 vote
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
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
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
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
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
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
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
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