Questions tagged [philosophy-of-logic]

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

Filter by
Sorted by
Tagged with
-3 votes
0 answers
52 views

Which philosophers discussed the validity of the theorem of two propositions?

Origen in Chapter XV of Contra Celsus briefly discusses an interesting form of argument which he says was used by Celsus in his own criticism of Christian writings: If the first, the second; If the ...
Speakpigeon's user avatar
  • 5,750
2 votes
0 answers
41 views

Has anyone studied the beings of logic from Heidegger's "Time & being" perspective?

The nature of the word 'logic' differs according to the context where it is used (i.e., Aristotle and Socrates, boolean algebra, symbolic logic, propositional logic, etc.) Has any philosopher focussed ...
Jérôme Verstrynge's user avatar
3 votes
0 answers
50 views

Propositions vs sentence types and tokens and the context insensitivity of PL

I came across the following explanation for the context insensitivity of the language of propositiional logic (PL) on page 34 of The Laws of Truth by Nicholas Smith: Because glossary entries pair ...
user51462's user avatar
  • 339
3 votes
5 answers
2k views

Is the Law of Excluded Middle an allowed argument in court?

Is the Law of Excluded Middle a valid deduction rule in court? If not, is it reasonable to say that all arguments in court must be "constructive in nature"? As an example, consider this ...
CatProgrammer's user avatar
2 votes
4 answers
111 views

Is mathematics based on formal logic, or vice versa?

Math is obviously based on logic in a heirarchical sense, but what about the historical sense? Is there any historical evidence of a "transition" from first order logic to mathematics? All ...
Steven Harder's user avatar
4 votes
6 answers
1k views

Who ever argued that natural languages have an exact logic?

Peter F. Strawson famously concluded his 1950 critique of Bertrand Russell's theory of descriptions by the somewhat irrelevant remark that ordinary language has "no exact logic". Russell, in ...
Speakpigeon's user avatar
  • 5,750
0 votes
0 answers
25 views

Could a quantum computer simulate any system based on different types of logic?

Quantum computing is based on quantum mechanics (obviously) which has different logical rules than classical/Boolean logic. However, does this mean that a quantum computer could simulate or process ...
vengaq's user avatar
  • 569
0 votes
1 answer
48 views

Trivialism vs Alethic Nihlism

What are the similiarities and differences between the two theories (as well as arguments for and counterarguments against). From what I know, trivialism states that everything is true (and I believe ...
HelpMePlease's user avatar
0 votes
2 answers
88 views

What is logic in the context of Classical Logic?

How mathematicians define the concept of logic for the purposes of Classical Logic? Also, how do philosophers and mathematicians at different period in history defined the word "logic", if ...
Speakpigeon's user avatar
  • 5,750
1 vote
1 answer
38 views

Conjunction with questions: an issue more of logic or of language (if not both)?

Assume that questions can be conjoined with other questions, e.g.: Who is Shawn Balt? What is prawn salt? Who is Shawn Balt and what is prawn salt? Assume that wh-terms are (plurally) agglomerative ...
Kristian Berry's user avatar
1 vote
1 answer
316 views

How is the completeness of first order logic reconciled with the incompleteness of set theory?

First Order Logic (FOL) is complete in the sense that: there is a proof procedure for FOL such that just the statements(/wffs) of FOL that are true and remain true under any re-interpretation of their ...
Surprised's user avatar
1 vote
2 answers
65 views

What does it mean "to provide semantics" in the context of formal logic?

When reading some SEP articles, this is a phrase I commonly came across, "this provides a semantics for this logic". But what does it mean?
Reine Abstraktion's user avatar
2 votes
3 answers
113 views

What logics/philosophies deny the law of excluded middle (LEM)?

What logics/philosophies deny LEM, the law of excluded middle (tertium non datur)? This law is expressed as Philosophical Axiom 4.2: Tertium non datur (Non est medium inter esse et non esse. ‑ ...
Geremia's user avatar
  • 7,782
9 votes
3 answers
2k views

Is there a system of logic which denies DNI?

From what I know, the law of double negation is often simplified as p <=> ~~p. Intuitionist logic splits the biconditional into DNI and DNE. DNI: p -> ~~p DNE: ~~p -> p and denies DNE ...
Kelvin Chan's user avatar
0 votes
0 answers
46 views

Were there any logicians in the past who argued that the Liar was logical, and so either true or false?

The Liar seems to have been universally regarded as paradoxical from the moment philosophers started to discuss its logic. Is that really the case, though? My question is as follows: Outside ...
Speakpigeon's user avatar
  • 5,750
4 votes
2 answers
468 views

Logic and math as a study of possibilities and not so much about human reasoning

Most of what I've come across about the "hierarchy of disciplines" seem to say that logic/math is more fundamental than physics, physics more fundamental than chemistry ... biology more ...
csp's user avatar
  • 380
2 votes
1 answer
87 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 ...
Speakpigeon's user avatar
  • 5,750
3 votes
0 answers
84 views

Is Rule-Based Machine Learning an Example of Inductive Logic in the Philosophical Sense?

Human beings are capable of deciding upon rules based on intuitions and observations their neurons presumably provide (certainly metaphysical presumptuous). According to WP, this is inductive ...
J D's user avatar
  • 20.6k
13 votes
12 answers
6k views

Do computers use logic?

I know we refer to computers as using logic, logic gates and the like, but is this just us ascribing human capacities to the machines? It sounds like a case of us giving more meaning to the machines ...
adkane's user avatar
  • 275
4 votes
1 answer
130 views

Natural Language and Implication

I understand that relevant logic deals with a natural-language interpretation of implication, but it seems too restrictive. It does seem a bit of a reach to say that there is a conceptual link between ...
PW_246's user avatar
  • 399
0 votes
0 answers
42 views

What is the meaning of Coherence by Whitehead?

I am just started reading the book Process and Reality. On page 5, He talked about what is the accentual thing we have to keep in mind while building a speculative philosophy. Pints are Rational side....
Shriman Keshri's user avatar
0 votes
0 answers
21 views

How to proof that Classic propositional logica and Logic of paradox have the same logical truths

As far as I understand it, in Priest's "Logic of paradox" there is a proof to the effect that $\phi$ is classically valid IFF $\phi$ is valid in the Logic of Paradox (LP), that is: $\vDash_C ...
Frank's user avatar
  • 111
1 vote
1 answer
95 views

Did Aristotle used the term *contradiction* or the term *contradictory* in his discussions of *reductio ad impossibile*?

Did Aristotle used the term contradiction or the term contradictory in his discussions of reductio ad impossibile? Two translators who disagree: For all those which come to a conclusion through an ...
Speakpigeon's user avatar
  • 5,750
3 votes
2 answers
265 views

The massive problem with regarding string manipulations as the foundation of mathematics

Formalists believe that mathematics is just a game of string manipulation, not much different from other games like Ludo or chess. I think string manipulation is an extremely useful way to think about ...
Ryder Rude's user avatar
0 votes
0 answers
29 views

How does pluralism about doxastic logic work?

If person M has a concept of belief, and a logic for that concept, B1, but some other person N has concept B2, with different inference rules over the operator, then on the first-order level, does M ...
Kristian Berry's user avatar
3 votes
2 answers
183 views

Is probabilistic modus tollens a fallacy?

Modus tollens takes the form of "If P, then Q. Not Q. Therefore, not P." A probabilistic version of Modus Tollens says "If P, then Q is very improbable. Q. Therefore, P is very ...
thinkingman's user avatar
5 votes
2 answers
560 views

Which philosophers have considered irrational conviction

It seems a characteristic of humans to be convinced about a matter in the absence of overwhelming evidence, even where logic suggests that are other valid alternative positions to take. We see this in ...
Marco Ocram's user avatar
  • 9,334
1 vote
0 answers
48 views

The discursive nature of a concept [closed]

Concepts are universal, insofar as they are not individuated, and they are abstractions. What does it really mean to say concepts are discursive?
rux23's user avatar
  • 127
2 votes
3 answers
84 views

On what basis do we derive logic? [duplicate]

I find that using logic is purely pragmatic.We use many forms of logic to conclude various things about our "world" which is through epistemology.But yet, the fallacy I find here is that we ...
Lie1to2's user avatar
  • 21
1 vote
2 answers
56 views

A question on the belief operator in Doxastic Logic

Let Bp be the statement "it is believed that p". Why is ~Bp not equivalent to B~p? in words it amounts of saying that: "it's not believed that p" equivalent to "it's believed ...
MathematicalPhysicist's user avatar
1 vote
4 answers
249 views

What is a convincing explanation of how Russell's "golden mountains" argument is logically fallacious?

Here is the now famous passage in his book on Western philosophy where Bertrand Russell explains why Aristotle's position that the universal affirmative "All Greeks are men" implies the ...
Speakpigeon's user avatar
  • 5,750
0 votes
2 answers
48 views

If it is not possible that p is not possible in K, does it follow that p is possible in K?

I have the following question. If it is not possible that p is not possible in K, does it follow that p is possible in K? Thanks in advance!
Frank Booth's user avatar
0 votes
2 answers
163 views

Can computer science be used to "test" theories of logic?

I feel like this might be a stupid question, like I think I've read at least one major text according to which, "Of course logics can be tested in a computer-science context, not necessarily in ...
Kristian Berry's user avatar
2 votes
0 answers
61 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 ...
GhostRocket's user avatar
-1 votes
1 answer
84 views

Point in infinite regress where a 'why' question can no longer be answered

Example: Q1: If I collected one apple, and I collected another apple, why do I have two apples now? A1: Because 1 + 1 = 2 Q2: Why is 1 + 1 = 2? Another example: Q1: If gravity pulls us downwards, ...
user avatar
1 vote
0 answers
127 views

Why is "appeal to nature" a fallacy?

Appeal to nature states that just because something is natural doesn't mean it is right (ethical). Morality is not objective but the existence of this fallacy attempts to objectively define morality ...
user avatar
0 votes
0 answers
26 views

Is there some formal system of "first-person logic"?

The SEP article on indexicals mentions a lot of the seemingly logical complications that arise in connection with them. Indexicals are also comparable to variables and hence objects of schematism, so ...
Kristian Berry's user avatar
5 votes
1 answer
142 views

If platonism was correct, would everything be real despite everything being formal?

In one of his recent essays (https://writings.stephenwolfram.com/2021/04/why-does-the-universe-exist-some-perspectives-from-our-physics-project/) the scientist Stephen Wolfram says (at the end of it, ...
vengaq's user avatar
  • 569
2 votes
2 answers
82 views

Logical relativism ≠ logical pluralism = logical inclusivism?

Logical pluralism, in an attempted slogan, is, "There is no One True Logic, but a plurality of 'true' logics." But so on this site I have seen the phrase "logical pluralism" ...
Kristian Berry's user avatar
1 vote
1 answer
92 views

Paraconsistent logic for daily life

In everyday life, there can be evidence to support both a proposition and the negation of it. I guess paraconsistent logic is an appropriate way to model this. Is there any research in that direction?
user776490's user avatar
1 vote
1 answer
73 views

Is logical possibility the same as mathematical possibility? [closed]

Is everything that is logically possible also mathematically possible, and vice versa? Note, I am not suggesting that logic and mathematics are identical. I am merely asking whether logical ...
user107952's user avatar
  • 4,912
3 votes
3 answers
149 views

How to solve "impossible" problems?

In mathematics and philosophy there are some unsolvable problems like Russell's paradox or the liar's paradox that are usually said to be undecidable... There are also other "impossibilities"...
vengaq's user avatar
  • 569
3 votes
3 answers
151 views

How does society decide what styles of argument are valid or invalid for practical purposes?

I know that type of inferences you can make from a given system of axioms depend on what background logic you choose. For example, in some systems of logic, we can do a proof of contradiction but in ...
Reine Abstraktion's user avatar
2 votes
2 answers
89 views

Which logicians before the 19th century adopted the logical operation ¬P ∨ Q as best model of the truth conditions of the conditional?

Which logicians (outside 19th century mathematical logic) adopted, explicitly or implicitly, Philo's idea that the truth conditions of the conditional "If P, then Q" were best expressed as &...
Speakpigeon's user avatar
  • 5,750
0 votes
0 answers
170 views

Can the laws of mathematics and even logic change over time?

Can the laws of mathematics and even logic change over time? Like, maybe at one time there were finitely many prime numbers and now there are infinitely many? Or maybe at one time the laws of ...
user107952's user avatar
  • 4,912
-1 votes
2 answers
166 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 ...
Speakpigeon's user avatar
  • 5,750
1 vote
2 answers
94 views

Is there stance that every logical and mathematical derivation exists/is contructable but we only care about a proper subset?

I'm thinking every logical derivation as something like all the derivations in the Principle of Explosion - really everything. It could just be a helpful interpretation, not trying to get super deep ...
J Kusin's user avatar
  • 2,302
2 votes
1 answer
323 views

What is the difference between philosophical logic and the philosophy of logic?

Is there a difference between philosophical logic and the philosophy of logic? If so, can someone elucidate the distinction between the two? Also, what are some references on the philosophy of logic?
user107952's user avatar
  • 4,912
2 votes
2 answers
122 views

Can even the laws of logic vary from one possible world to another?

In my previous question, here: Can truths about the natural numbers vary across possible worlds?, I started off by saying that "The truths of logic are the same in all possible worlds". But ...
user107952's user avatar
  • 4,912
1 vote
1 answer
141 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 ...
Michael's user avatar
  • 164

1
2 3 4 5
7