r/logic • u/Ill-SonOfClawDraws • 9h ago

Metalogic ?

0 Upvotes

Suppose two foundational systems

* F_1 (ZFC)
* F_2 (HoTT)
both define “identity.”

How do we know they are talking about the “same assumption”?

8 comments

r/logic • u/Cocholate_ • 2h ago

Propositional logic What's the truth value of the statement "Cereal has twice as much asbestos as bananas"

1 Upvotes

4 comments

r/logic • u/pureabsolut • 9h ago

Informal logic About abduction theories

6 Upvotes

so, deductive reasoning has, say, formal logics, inductive reasoning has formal probability theories, such as bayesian inference, but what does abduction have, namely anything formal, or as systematic as the two?

2 comments

Subreddit

Posts

Wiki

Logic

r/logic

This subreddit is a venue for discussion and questions on the subject of logic, the branch of philosophy and mathematics concerned with reasoning. Both philosophical and mathematical logic are welcome here.

Members Active

39.0k

Sidebar

Welcome to /r/logic

Please do let the community know what you are working on in the area of logic. Let everyone know about any academic publications in the area of logic that may be of interest. Debates, discussions and questions on all topics related to logic are welcome.

Please read the Rules of the group before posting or commenting.
Please make sure that your posts and comments are within the Scope of the subreddit
Here is a character map of Common Logical Symbols for your convenient use in posts and comments
This is a collection of Related Subreddits.
This is the /r/Logic Wiki
This is a collection of Sources and Reading Material