All Questions

Filter by
Sorted by
Tagged with
4
votes
0answers
67 views

Is Herbrand semantics a kind of term formalism?

Michael Genesereth and Eric Kao describe Herbrand semantics as follows: Herbrand semantics is an alternative semantics for First Order Logic based on truth assignments for ground sentences rather ...
2
votes
4answers
188 views

Is metaphysics justified in its conclusions?

I'm curious of the modern meta-philosophical viewpoints on metaphysical knowledge. That is, is it possible for arm-chair theorizing or rational pure thought alone to gain true knowledge about any ...
5
votes
1answer
301 views

Isomorphism vs homomorphism in the Tractatus' picture theory of language

People often mention that there is an isomorphic nature between language and the world in the Tractatus' conception of language. As far as I can see it, according to Wittgenstein (it's been a few ...
1
vote
0answers
82 views

Quantificational vs Referential vs Predicational descriptions

Reading Peter Ludlow's article on descriptions, it's clear to me that descriptions can be interpreted, found or considered in 3 different ways. They can be seen as quantificational, referential or ...
1
vote
3answers
110 views

What is wrong in the first premise of open question argument?

Let us use the original argument: Premise 1: If X is good, then the question "Is it true that X is good?" is meaningless. Premise 2: The question "Is it true that X is good?" is not meaningless. ...
3
votes
1answer
135 views

Is Logic Pre-Human?

It was German philosopher Martin Heidegger (1889-1976) who famously said, "animals are poor in world." Although this may be true, I do not see them as being poor in logic. Paleontologists have ...
0
votes
1answer
202 views

Is a definition of logic tautological?

If logic applies in all possible worlds, does that mean that that which is logic in our world stays the same in all of them, since we define those worlds as possible through it, meaning that the ...
1
vote
0answers
1k views

Concrete Examples of Complex Term Analysis Using Predicate Logic

In all of my textbooks, there are no concrete case studies of how one can use predicate logic to analyze specific characteristics of complex terms. I am therefore looking for an exemplar for the ...
1
vote
1answer
220 views

Which is the difference between Sache and Sachverhalt in the Tractatus?

As far as I know, When Russell asked to Wittgenstein to tell him the difference between Sache and Sachverhalt, Wittgenstein answered that "Sachverhalt" is what corresponds to an elementar sätze (an ...
1
vote
1answer
122 views

What does bedeutung refer to in the Tractatus Logico-Philosophicus?

Given that the literal translation of the german word bedeutung is "sense", what does it refer to in the semantics of the tractarian Wittgenstein, among these options? the meaning of the subatomic ...
3
votes
1answer
102 views

Looking for references for some remark of Quine's

I'm looking for a comment I think I remember Quine having made. He's talking about our understanding of proofs. I think he says something along the following lines... If you understand many different ...
6
votes
4answers
413 views

Wittgenstein: Why is bipolarity necessary?

I do get that for a certain proposition there may be the possibility of it being either true or false, but why must this possibility exist for every proposition?
3
votes
2answers
944 views

Does Wittgensteins own solution to Russells Paradox actually work?

In the Tractatus, Wittgenstein attempts a solution of Russells paradox 3.333 A function cannot be its own argument, because the functional sign already contains the prototype of its own argument ...
7
votes
1answer
259 views

How to express Kant's notion of existence on first-order logic according to Ayer?

In Language, Truth, and Logic, Ayer writes: [As] Kant pointed out, existence is not an attribute. For, when we ascribe an attribute to a thing, we covertly assert that it exists. However, I can't ...
11
votes
2answers
563 views

Is reductionism the primary means of logical analysis in analytic philosophy?

I was reading a philosophical article about analytic philosophy and I saw the claim: Russell and many philosophers influenced by him asserted that complex statements can be reduced to simple ...