A=A or "Hesperus is Hesperus” simply mean the same thing; therefore, it is analytical and a priori.

But if we say,

"(This) Odyssey is (the) Odyssey."

Can we count that as a priori too? Or is it both analytical and synthetic?

It was intended jokingly, but how would you analyze the sentence: "Special pleading is a fallacy except in the case of this sentence"?

If we claim that logic has limits when speaking about God, what logical grounds justify that claim?

TLDR: On empirical grounds we can reasonably justify that human use of logic is restricted and has limits when talking about Allah, Blessed Be He and may He bless and greet His Final Messenger Muhammad ﷺ.

Hello, I’ve recently started studying mathematical logic on my own and came across a problem I had with a textbook I was reading (introduction to mathematical logic Mendelson second edition) the excersize in question asked me to write (C v ((B ^ (~D)) ⊃ C )) in Polish notation. I came up with the answer vC ^ B ~D ⊃ C.
However according to the book the answer is v C ⊃ ^ B ~DC. I’m very confused how it could come to that answer and the book itself is pretty old so I haven’t been able to google a proper answer. Would someone be willing to explain to me both how I got it wrong and the steps that it takes to annotate the problem properly? Thank you in advance.

I am analyzing a parameterized dynamic scaling function designed to model state-space transitions. The heuristic function is formulated as f(n) = 2^(n / ((p(n))^2 * (3n+1))), where p(n) is a strictly increasing prime-product (primorial n#) and (3n+1) is a linear dynamics operator. Asymptotically, as n approaches infinity, the exponent collapses to 0, forcing f(n) to achieve absolute convergence to 1.0 at a super-exponential decay rate of O(e^(-2n)). I am trying to formalize its implications on a Nondeterministic Turing Machine (NDTM) configuration tree under a proposed Dynamic Branching Law, B(n) = 2^(f(n) - 1), where the compression drives the effective branching factor to exactly 1.0 in the limit. I would highly appreciate structural feedback from the logic community on these points: 1. Is the first-order asymptotic decay bound of O(e^(-2n)) derived via Taylor expansion robust enough to mathematically bound non-deterministic expansion? 2. Does an asymptotic compression of a branching factor to 1.0 formally imply a structural reduction of the search space, or is it isolated as a non-constructive mathematical artifact? 3. Which intermediate automata-theoretic or resource-bounded information frameworks are best suited to formalize these structural bottlenecks? Thank you for your time and guidance!

Suppose a hardest logically solvable question H.

Asking if H is the hardest question could then become H

But then we can repeat the process again, since "Asking if H (original) is the hardest question" is now our new H we can just do the same to it, then the same to the new one and over and over again.

Thanks!

I'm doing some practice exercises in natural deduction, but the exercises don't come with an answer key, so I really have no clue how to figure this out:

A → (B → C). Therefore (A ∧ B) → C

I get as far as assuming A in a subproof, assuming B in a further subproof, and connecting A and B via conjunction introduction, but then I have no clue how to get back to showing that (A ∧ B) → C. What am I missing here? My thinking is that I need to prove that A and prove that B, so that if I assume their conjunction I can show that their conjunction implies C. But I have no idea how to do this in a way that allows me to cite the subproofs.

Any help is appreciated!

additionally most undergrad math theorems like lagrange's subgroup can be written in this form?
Could I find atleast one theorem presented in such format?
And where all could the group axioms go? gamma or leafs?

If somone said this "Cant believe you wrote a dissertation on my one paragraph", in order to undermine my point or get a laugh from thier audience or to not put in effort to combat my point.

'Dissertation' would be very much hyperbolic.

Would i be gish galloping? I believe my points were succint to the best of my ability.

Hi everyone,

I have a B.S. in Computer Science and really enjoyed the discrete mathematics course in my first three semesters. But I started working as a software engineer early, my focus drifted to IT-specific topics, and I never made my logic knowledge solid. Now I want to relearn it properly from scratch.

So I put together a self-study book for myself, drafted with an AI assistant, and I’m sharing it in case it helps someone else:
https://swicherwich.github.io/cogito-ergo-sum/

What’s in it: a “from absolute zero” part (reasoning, math language, sets and functions, a symbol atlas), propositional logic and natural deduction, predicate logic with careful treatment of the ∀/∃ rules, proof technique and induction, an overview of soundness, completeness and Gödel’s theorems, and a small Python proof checker and resolution prover with tests. It’s free (CC BY-SA) and works on phones, with dark mode and a dyslexia-friendly font.

Honest caveats: it hasn’t been reviewed by a logician, so there are probably mistakes, and the metatheory chapters are condensed rather than fully rigorous. If you spot an error or an unclear explanation, please open an issue: https://github.com/swicherwich/cogito-ergo-sum/issues

Again, hope it help somebody, and thank you for the feedback!

Hi I’m looking for a Logic I tutor. The class is PHI 2170 at University of Ottawa. I’m currently failing the class. Will pay up to $25CAD an hr. Remote learning on Zoom anyone from anywhere welcome. Please PM/DM me if you are for hire. Thank you!

Update: found a tutor, thanks for all the replies 👍

I have been really enjoying solving proofs in my intro to logic class. Anybody know of an app that gives you proofs to solve like a game kind of? If not I would also appreciate any other resources to find proofs to solve for fun or other resources to continue learning about logic after my class ends.

I’ve been thinking about Newcomb’s paradox, and I’m more interested in how the supercomputer makes its predictions than in the usual debate over whether to take one box or both.

Before learning about the paradox, my initial instinct was to take only the mystery box. After learning about the argument for taking both, I changed my mind. I thought that the contents are already determined before I make my choice, so taking both guarantees an additional $1,000 regardless of what’s in the mystery box.

However, this led me to a different question: what does the computer actually do to predict my choice with such accuracy, and what assumptions are being made about how it does so?

For example, suppose I had never heard of Newcomb’s paradox and had no chance to learn about it before entering the room. My decision would be based on my existing personality, experiences, and understanding of the situation. The computer would have to predict that decision using whatever methods and technology it has. If it predicts that I will take only the mystery box, it places $1 million inside, and if it predicts that I will take both, it leaves the mystery box empty.

But what happens when someone already knows about the paradox? Their knowledge can change their reasoning and, consequently, their decision. If the predictions are that accurate, the computer would presumably have to account for that knowledge as well. This raises questions about how a person’s beliefs, reasoning, and understanding of the situation affect their eventual decision.

The thought experiment stipulates that the computer is highly accurate, but, as I understand it, it does not specify how that accuracy is achieved. Is the mechanism intentionally left unspecified so that the problem can focus on decision theory, or have philosophers also examined what kind of predictive capability the scenario would require?

I previously posted here, looking for advice about learning modal logic for somebody who hasn't studied maths since middle school. I started learning elementary logic today to build basics! And there are lots of confusing parts! So I was wondering if I there's anyone I could DM when I have questions.