Unanswered Questions
2,270 questions with no answers
10
votes
0
answers
186
views
Is Kripke truth semantics related to LUB semantics of the Lambda Calculus?
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 ...
CommunityBot
- 1
9
votes
0
answers
230
views
How does Husserl explain the common perception of an object?
Husserl considers that the intentional term, the noema, is within the immanence of intentional consciousness. (Here, I will not distinguish between noema and object, as some Fregean readings do.) In ...
- 7,193
6
votes
0
answers
70
views
What are some noteworthy consequences of a deontic logic extended with the axiom “Ob(A) → Ob(◊A)”?
I think one unsuccessful attempt to construct a form of deontic logic in which the “ought” modal operator implies the “can” modal operator was to include the axiom OBA → ◊A, for an “obligation” ...
CommunityBot
- 1
5
votes
0
answers
44
views
Does Substitution in Sentential Compounds Preserve Inferential Content in Brandom?
In the fifth chapter of Making It Explicit (especially pp. 346–350), Brandom introduces a substitutional strategy to identify equivalence classes of sentences with the same inferential content, ...
5
votes
0
answers
121
views
Has Priest's conjecture about the axiomatization of truth been solved?
In Priest's The Logic of Paradox he introduces a system of logic in which statements can be
only true,
only false, or
both true and false (paradoxical).
He shows how the reasoning applied in Tarski'...
- 360
5
votes
0
answers
410
views
Natural language as a metalanguage for formal logics?
I have recently been researching the relation between formal and natural languages as well as Tarskian hierarchies and so would like to present an idea has been on my mind. I am not aware if anything ...
CommunityBot
- 1
5
votes
0
answers
105
views
Confusion about Allison's argument regarding Kant's claim of the syntheticity of an expression of the synthetic principle
In the Critique of Pure Reason, Kant once expressed his synthetic principle in such a manner:
"The synthetic proposition, that every different empirical consciousness must be combined into a ...
CommunityBot
- 1
5
votes
0
answers
60
views
Is there an American Transcendentalist throughline
I have been studying the American Transcendentalist movement of the mid 19th century and the sort-of tale that I find online is that the movement fizzled when Margaret Fuller died in 1850 and the ...
CommunityBot
- 1
5
votes
0
answers
122
views
Camus and the pillar of virtue
I have been reading "The Myth of Sisyphus", and after reading the first 3 chapters cannot help but wonder how Camus' entire philosophy relies heavily on morality and virtuousness.
I agree ...
- 15.5k
5
votes
0
answers
141
views
Philosophical Perspectives on Selecting Discussion Partners Constructively
What recommendations exist for constructively selecting discussion partners? Nietzsche considered discussions to be decadent, as they expose others, and he rejected them. Schopenhauer, on the other ...
- 54.4k
5
votes
0
answers
104
views
Trying to understand 4P26 of Spinoza's Ethics: Why is reason the foundation of virtue?
The text of the proposition is:
All efforts which we make through reason are nothing but efforts to understand, and the mind, in so far as it uses reason, adjudges nothing as profitable to itself ...
- 129
5
votes
0
answers
101
views
Are there any examples of an analytic proposition that can only be stated with the full the predicate calculus?
I'm using a variation on the old meaning of "analytic" where an analytic proposition represents a relationship between concepts and doesn't directly reference objects at all. For convenience,...
- 16.7k
5
votes
0
answers
120
views
What is the history of the idea of conscience as a homunculus?
What is the historical origin of the mental categorization or anthropomorphization of conscience as a kind of semi-person distinct from, subordinate to, and constitutive of the self?
To clarify: as ...
- 851
4
votes
0
answers
151
views
On Buridan's Formula
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 ...
- 54.4k
4
votes
0
answers
79
views
I have a question about Field’s fictionalism
I am currently reading Hartry Field’s 1989 book Science without Numbers.
In order for Field’s argument to be valid, he needs to establish a version of Hilbert's Representation Theorem that shows a ...
- 645