Questions tagged [logic]

For questions about logic, whether it concerns syllogistic logic, mathematical logic or the nature of logic itself.

241 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
8
votes
0answers
238 views

Why isn't humanistic logic taught in schools any more?

Specifically, I'm curious about the loci or categories that Agricola and later Ramus used extensively. Were they found to be problematic at a later time? If not, why not use them? They're so helpful ...
5
votes
0answers
85 views

The enunciation clause (Lyotard & Levinas)

As kind of introductory remark, let me state that I'm not academically-trained in philosophy, so my apologies if this comes up as a rather simple question. I was reading Logique de Levinas by JF ...
5
votes
1answer
183 views

Which problem is Russell focusing on while providing a solution, in his introduction to the Tractatus?

In the final part of his introduction to the Tractatus Logico-philosophicus, Russell provides a possible solution to the problem of the impossibility of self-reference of logic: There is one ...
5
votes
0answers
283 views

How do disjunctive antecedents work in Marc Lange's stability concept of laws of nature?

I'm an ecology student who's dabbling into philosophy of science. I'm currently writing a term paper on laws of nature (with a focus on ecology as a special science) and try to wrap my mind around ...
4
votes
3answers
294 views

Is it possible for an argument to be logically valid but not truth-functionally valid?

Truth-functionally valid: there is no truth value assignment for which the premises (of an argument) are true yet the conclusion is false. I am told that there are arguments which are logically valid ...
4
votes
1answer
213 views

Are Wittgenstein's propositions analytic or synthetic?

Wittgenstein provides a logical analysis of propositions in the Tractatus. Does he there admit the Kantian distinctions between analytic/synthetic and a priori/a posteriori divisions; or does his ...
4
votes
1answer
420 views

Is Tarski's derivation of the Liar paradox valid?

First a link to his derivation: http://www.jfsowa.com/logic/tarski.htm Its a famous essay so you really should read all of it but at the moment its enough if you read section 7 where Tarski derives ...
3
votes
0answers
131 views

Grice: Comparing Natural Meaning, Non-Natural Meaning, Conventional Implicature and Generalized Conversational Implicature

I am currently reading "Meaning" and "Logic and Conversation" by Paul Grice. I find it a little difficult to differentiate clearly between his concepts "natural meaning", "non-natural meaning", "...
3
votes
1answer
114 views

Does Tegmark himself include paraconsistent mathematical structures in his mathematical multiverse hypothesis?

Tegmark postulates in his hypothesis that all possible mathematical structures would exist. But does he include also possible mathematical structures described by other types of logic like ...
3
votes
0answers
74 views

Are there degrees of rationality/plausibility to assumptions?

There are many kinds of premises, in every possible field. I'll limit this question to metaphysics, although it can definitely be applied to each and every scientific/philosophical study. For example,...
3
votes
0answers
82 views

What to read for an introduction on the epistemology of logic?

I would like to read about the epistemology of logic, preferably at a undergraduate level (not being a philosopher myself). What (text)book should I read for a good introduction on these topics? The ...
3
votes
0answers
84 views

Is a Thomist possible modal proposition a non-judicative proposition?

According to Thomist philosophy and logic, is a possible modal proposition (either divisive or compound) a non-judicative proposition? It would seem to me that the other three modal propositions (...
3
votes
0answers
433 views

What are some of the best books for a robust introduction to Logic and Critical Thinking?

As the question states: What are some of the best books for a robust introduction to Logic and Critical Thinking? My background: I'm 24, graduating with two degrees in Political Science and ...
3
votes
0answers
78 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
0answers
140 views

Can Kant's antinomies be translated into formal logic?

Kant proves the limits of human reason by providing 4 antinomies, pairs of rational but contradictory statements, which he claims pure reason can never help us decide which one of the pair is correct. ...
3
votes
0answers
1k views

Testing the validity of syllogism argument

I came across a validation method for testing the validity of a syllogistic argument which seems quite easier to grasp: For example: To test the argument: no P is B some C is B Therefore, some ...
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 ...
3
votes
1answer
109 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
1answer
103 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
94 views

Could the axiom of infinity be in itself inconsistent?

I've seen several threads discussing the axiom of infinity but I wasn't able to find a discussion on this particular aspect. And recent conversations with some people have led me to wonder if it is ...
2
votes
1answer
121 views

Does Godel's second incompleteness theorem mean it's impossible to know whether a proven statement cannot also be disproven?

I am trying to understand Godel's Second Incompleteness Theorem which says that any formal system cannot prove itself consistent. In math, we have axiomatic systems like ZFC, which could ultimately ...
2
votes
0answers
37 views

Did Quine change of opinion towards quantified modal logic?

Willard Van Orman Quine was a strong opponent to quantified modal logic calling it unreasonable and useless. But, did he always think like that? Or did he relax his attitude towards it with time? Did ...
2
votes
0answers
99 views

Is there a logical argument for the limit of knowledge?

It is justifiable to assert that certain knowledge could not be disseminated without the invention of writing. One could say that humanity needed the knowledge of writing before further knowledge ...
2
votes
3answers
116 views

Does anyone have an example where a sufficient condition comes first?

Example: Sufficient Condition of A+ MUST MEAN Necessary Condition of Studying occurred Temporally speaking, either condition can occur first, or the two conditions can occur at the same time. In our ...
2
votes
0answers
58 views

This statement is in a disjunction with itself

Are the following listed statements equivalent? 1: (1) is in a disjunction with (1) 1: (1) is in a disjunction with (1) OR 1: (1) is in a disjunction with (1) (the intended meaning of (1) is '...
2
votes
0answers
28 views

The name for an anticipatory counter-argument?

There's the argument ad absurdum along with several other kind of reasoning. What is the name for a forestalling counter-argument - an argument put forward pre-emptively in anticipation of an ...
2
votes
0answers
45 views

A Paradox for Anti-Realism?

Semantic Anti-Realists hold that a claim has a (constructive) proof if the claim is true. I wonder whether this position runs into a version of Yablo's supposedly non-circular version of the liar ...
2
votes
1answer
144 views

Rewriting a set of propositions that includes a circular proposition

"For any proposition P, if I believe that P then this paragraph (everything that is written between the quotes) entails that I believe that P. I believe that I exist. For any proposition P, if I ...
2
votes
0answers
47 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
53 views

How disjunction works with the conditional excluded middle

I'm studying the semantics for counterfactuals, and I'm slightly confused about how certain inferences supposedly make the Conditional Excluded Middle (CXM) fail. Formally, we can write the ...
2
votes
0answers
60 views

Can a Rigid Designator still exist if there is only one possible world?

According to Kripke, a rigid designator is a pronoun (but not all pronouns are rigid designators) and they pick out the same unique individual in each possible world. I understand this, however, if ...
2
votes
0answers
109 views

Language confusion; necessary/nomological/true in all worlds

I got confused by the way different people use language in the context of physicalism. In particular, Kripke seems to equate "necessary truths" with something that is true in all possible worlds. Is ...
2
votes
0answers
124 views

Modal logics - philosophical paradoxes using modeling by possible worlds

I'm searching for "paradoxes" in classical modal logics, meaning lines of reasoning which give a counterintuitive conclusion if performed in classical logic, which can be modelled by the (semantical) ...
2
votes
0answers
60 views

De Re, Counterfactuals, and rigidity

This is going to come off as vague or obscure; but, I hope the idea is performatively expressed: Two questions: Do you think that Kripke would argue that the impossibility of de re counterfactuals ...
2
votes
0answers
53 views

Circularity between truth and meaning?

These two common claims are equally appealing: (1) the meaning of a ( declarative) sentence consists in its truth conditions (2) the truth of a sentence depends on its meaning But are we moving ...
2
votes
0answers
75 views

Is there an Abstract/Concrete Gray Area?

In natural language and daily life, it has become prevalent there is a class of entities which do not follow the abstract concrete distinction. Many people refer to abstractions that exist in time. (...
2
votes
0answers
52 views

How did Aristotelian logic view this?

I am very interested in the logical aspect of Aristotelian philosophy, especially how it was used by al Farabi and Ibn Sina in explaining understanding and breaking this complicated process down ...
2
votes
0answers
413 views

Why is a square circle metaphysically impossible?

We have definitions for both a square and a circle. By definition, I understand that it's impossible to have a square circle. However, why does the word 'square' have to necessarily mean 'a plane ...
2
votes
0answers
103 views

Why don't two equivalent propositions contribute to the same semantics?

We often have 2 propositions that have the same truth table, in that they are true and false given the same conditions. Nevertheless, we still feel as though there different semantics (i.e meaning..),...
2
votes
0answers
131 views

What are the consequences of rejecting identity of indiscernibles

What kind of system are we in if we explicitly take its negation as an axiom? Here's the identity of indiscernibles. (1) ( ∀P.P(x)↔P(y) ) → x = y Here it is written in prenex normal form (2) ∀x∀y.∃...
2
votes
0answers
207 views

Does Reflective Set Theory “RfST” fulfill the requirements of founding Category Theory and Mathematics?

On mathoverflow I've posed the question in the title in connection to Muller's 2001 criteria for a founding theory of mathematics, which largely raised in connection to Category theory [see here]. ...
2
votes
0answers
57 views

Why can't existence be expressed in linear temporal logic?

In some circumstances, existence cannot be expressed in linear temporal logic. I don't understand why it can't be constructed with negations and global quantifiers. For example, the wikipedia page (...
2
votes
0answers
103 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?
2
votes
0answers
80 views

Syntactic and semantic eliminability/conservativeness

Let L be a ground language, and L+ the extension of L with additional signature terms and axioms. We say L+ is syntactically conservative over L if every sentence in L that is provable in L+ is ...
2
votes
0answers
180 views

Is there a connection between argument diagramming and formal logic systems such as propositional/ predicate logic?

Early in most logic textbooks you find what I see as a very useful tool for understanding arguments called "argument diagramming." This is where you find the premises and conclusions, give them ...
2
votes
0answers
191 views

journal for mathematics of philosophy/mythology

I have been working on research involving the use of mathematical formulas and reasoning in order to philosophical concepts, specifically concepts concerning mythology, the Jungian model of the psyche,...
2
votes
0answers
46 views

What does this formal sentence mean for the given interpretation?

screenshot of question If the domain is the natural numbers and R(x,y) is interpreted as ("x is the square of y"), I would interpret ∀X∃yR(y,x) as meaning "the square of any natural number is a ...
2
votes
0answers
206 views

Connections between concepts

How can it be possible that two concepts have a connection between them? Even when we admit that every such connection is empirical, we have a necessary connection between the concept "connection" and ...
2
votes
0answers
377 views

How can I explain the distribution of an O proposition's predicate?

A student raised a tough question while I was teaching formal fallacies: couldn't the statement that "some cats are not tabbies" be made with confidence upon seeing a single cat that is not a tabby? ...
2
votes
0answers
244 views

Some questions on Graham Priest's remarks about Russell's solution of paradoxes

In his book Beyond the Limits of Thought while talking about Russell's solution of paradoxes Graham Priest writes (text made bold, footnotes and references omitted), Russell solved these problems ...

1
2 3 4 5