All Questions
Tagged with symbolic-logic philosophy-of-logic
34
questions
0
votes
0
answers
65
views
Which is correct, "the implication A → B" or "the implication ‘A → B’"?
Which is correct?
The true (or false) implication A → B.
The true (or false) implication ‘A → B’.
What are the arguments for saying that it is wrong to say:
the implication A → B
and the we should ...
-1
votes
2
answers
79
views
What difference between the truth of a conditional* and its logical validity?
I am confused . . . Here is a remark on the "classical analysis" of the implication:
On the classical analysis, logical implication is the same, not as the truth of a conditional statement, ...
2
votes
0
answers
139
views
Why not just give up on the idea of truth-functionality?
I understand that today only a minority of academics who are specialised in formal logic accept the horseshoe (aka "Classical Logic" or "First-Order Logic") as an accurate, or even ...
1
vote
2
answers
108
views
Is it possible to stick to one of these viewpoints of variables?
It has been a struggle to find a precise account of the concept of variables. There are however two viewpoints that I've seen authors convey in several logic textbooks.
Variables as placeholders for ...
5
votes
3
answers
2k
views
What did Bertrand Russell mean exactly when he said that *such that*, while fundamental both to formal logic and to mathematics, is "undefinable"?
Bertrand Russell in Principles of mathematics (1903) presents the notion of such that as fundamental to logic and mathematics, and states that it is “undefinable”:
The Indefinables of Mathematics
...
0
votes
2
answers
100
views
Treating truth as a predicate
It is interesting to me that in some conventions of logic I have seen (generally, common ones), the form of logical language is designed to make “truth” implicit. For example, merely to write:
P(x)
is ...
3
votes
1
answer
136
views
What are the arguments of philosophers against the reasoning which justifies the horseshoe from truth-functionality?
There is a reasoning in mathematical logic which is meant to prove that the horseshoe is the only logical operation which fits our notion of conditional.
The reasoning starts from the idea that the ...
2
votes
0
answers
72
views
Questions about Feature Placing Languages/Predicate Functor Logic
About a year and nine months ago, I poses a question here about Quine's predicate functor logic and ontological nihilism. I'm still having trouble wrapping my head around these ideas. I hope someone ...
-1
votes
2
answers
328
views
Is there a proof of exportation/importation from more obviously true implications such as Modus ponens?
Is there a proof of exportation/importation, namely, ((p ∧ q) → r) ⇔ (p → (q → r)), from more obviously true implications such as the Modus ponens, Transposition, de Morgan etc.
I don’t believe that ...
0
votes
1
answer
223
views
Has anyone ever really constructed a countable model of set theory that falls in the trap of the Skolem's Paradox? [closed]
In an article named 'Skolem’s Paradox' on SEP, there is a description of the Paradox I'm asking about here:
Skolem's Paradox arises when we notice that the standard axioms of set theory can ...
8
votes
2
answers
850
views
Why aren't Kripke semantics "syntax in disguise"?
The Wikipedia article on Kripke semantics suggests that they were considered a major breakthrough in part because algebraic semantics were seen as merely "syntax in disguise". But Kripke ...
0
votes
1
answer
243
views
an argument that is clearly valid but invalid in a sentence logic
I was reading these paper(dont really remember the title) it stated that there are simple arguments that are clearly valid but would be counted as invalid in the sentence logic system it was using. i ...
-3
votes
3
answers
300
views
How to reconcile the fact that mathematical proofs are logical implications with the lack of a formal calculus equivalent to the logical implication? [closed]
Theorems follow from axioms. That is, theorems are the logical consequence of axioms. Thus, mathematical proofs are essentially deductive. Proofs are all essentially logical implications. There is ...
0
votes
1
answer
209
views
Equivalence Thesis
What is, if any, the canonical justification accepted in mathematical logic for the Equivalence Thesis, asserting (1) that indicative conditionals are truth-functional logical expressions and (2) that ...
-4
votes
2
answers
299
views
Is Classical Logic the proper model of the deductive logic of human reasoning?
Which mathematicians and philosophers unambiguously claimed that Classical Logic was the proper model of the deductive logic of human reasoning, and when did they say it?
The expression "Classical ...