Questions tagged [philosophy-of-logic]

Philosophy of logic is a branch of philosophy concerned with investigating the nature, scope and role of logic.

21 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
4
votes
0answers
68 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 ...
4
votes
1answer
101 views

Given the principle of innocence, how shall we explain logic's usefulness?

I have been reading Florian Steinberger's dissertation (Harmony and logical inferentialism) and I come across the following on p60: ...two fundamental assumptions (the other one being the principle ...
3
votes
0answers
368 views

Which rational thinkers (theologians, philosophers, scientists, mathematicians etc.), prior to 1850, disagreed with Aristotle's logic?

Did any intellectual luminary ever articulate any major disagreement with Aristotle's logic prior to the inception of modern mathematical "classical" logic? Which rational thinkers, such as ...
3
votes
0answers
75 views

What questions or areas in the foundations of mathematics remain active research fields?

By foundations of mathematics I am referring to the mathematical, logical, and philosophical foundations of the subject. I'm interested in seeing which of these have active research going on within ...
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 ...
2
votes
0answers
38 views

What are some benefits of a second order logic?

I have read that a second-order logic can help one define equality by quantifying over all predicates such as what is done in the following definition: (x=y):⟺[∀P:P(x)⟺P(y)] By contrast a first-...
2
votes
0answers
80 views

Is there such a thing as unary logic?

Is there such a thing as unary (as opposed to binary, ternary, …, n-ary) logic? cf. Is there any reason for the heavy focus on binary relations in formal logic?
1
vote
0answers
183 views

What are the eventual purposes of symbolic logic?

What is the teleology of logic? Every body of knowledge has to have a teleology for which it's designed. The body of knowledge in logic doesn't clearly have any teleology or any purpose to which it ...
1
vote
0answers
16 views

Aristotle's Categories and Linguistics

I have actually two questions: What he calls substances or non-substances seem to me as, now what we call a matter of language. So what he calls substances could be seen as concrete nouns, and non-...
1
vote
0answers
88 views

What paradoxes arise from quantifying over EVERYTHING?

This question is in context of the umbrella view of objects, that there exists a general category that everything falls under. Here are the quote and link that peaked my curiosity. Finally, note ...
1
vote
0answers
157 views

Semantic expressiveness of modal logic

I am wondering how much of the semantic of basic philosophical questions can be expressed by formal arguments in modal logic. Here is one argument I formalised myself: P1 ◇ ∀a, ∃x // GNB(x, a) ∧ ...
1
vote
0answers
38 views

Recommendation: Second Order Logic textbook

I'm looking into Universalist Realism, Nominalism, Trope theory and the application of Second Order logic to each of them, however I have little/no experience with Second Order logic. Please let me ...
1
vote
0answers
97 views

What is the relation between expressive completeness and semantic completeness

A formal system is expressively complete if and only if it is capable of expressing, as a formula, everything that is the subject of that formal system. A deductive system is semantically complete if ...
1
vote
0answers
35 views

Why do we seek to “limit” our scope for the search after truth?

In philosophy and science, we quite often make systematic approaches that limits our thoughts to be as accurate as possible. Examples are endless - basically every logical system, every ...
1
vote
0answers
208 views

The sea battle paradox and the soundness criterion

Again a short look at Aristotle's resolution (one of many) of the sea battle paradox: In one famous example about a hypothetical sea battle, [Aristotle] observes that the necessary truth of a mere ...
1
vote
0answers
163 views

What are the differences (if any) between classical and modern predicativity

I am researching Predicativity and I've encounterd defenition for classical predicativity and for modern predicativity but I can't understand the differences between them. Thanks
0
votes
0answers
113 views

Bibliography about non-mathematical applications of logic:

I have been recently playing with modal and temporal modal logics in the context of "organisms" (mostly after some study of entelechy in Aristotle and relatedly, some ideas of current biology). I have ...
0
votes
1answer
40 views

Using logic to do metalogical proofs? Is there a circularity problem here?

(1) If modus tollens were not correct, then I could have (P-->Q), ~Q and P. (2) But I cannot have (P--> Q) , ~Q and P. For, in that case, I would have (~P v Q) and ~Q and P; which means I would have ...
0
votes
1answer
54 views

What counts as a logically necessarily true statement and what is not?

"If an existing population contains both mortal and immortal beings, some members of that population are not subject to death." Is this statement considered logically necessarily true? I personally ...
0
votes
0answers
87 views

Can hypercomputation compute the impossible?

There are things which are illogical/logically impossible (like saying that 2+2=4 and 2+2=5. Without changing anything in the axioms of mathematics or logic, this would be a contradiction and would be ...
-3
votes
0answers
97 views

Did any logician object to the idea that if two contingent propositions are true, then they imply one another?

Both the following sentences are true: On January 22, 2020, the earth is orbiting the sun. On January 21, 2020, Trump was the 45th president of the United States of America. So did any ...