Question

which subtopic of maths does logic go in/

Answer 1

Metamath (for mathematical logic)

Answer 2

if you say so

Answer 3

Don't u believe me?:-)

Answer 4

i dont really know what defines metamath

Answer 5

It comes under Pure Mathematics.

@estudier is telling you to ask them in the Meta-math group.

Answer 6

Mathematical logic per se is a study which comes under Pure Mathematics.

Answer 7

Roughly speaking it is the use of math to talk about math.

Answer 8

what ever you reckon

Answer 9

Because they have no mathematical logic group, meta-math is the best group to ask in.

In fact, Meta-math is an appropriate description of mathematical logic, because it's mathematics about mathematics.

Answer 10

To be honest, I am not so sure that we really need this section in OS.

At least, I think that there would not be so many members of that group.

Answer 11

but logic about logic is maths

Answer 12

Yeah... it's sort of a conclave thing.

Answer 13

One thing I noticed missing is a Miscellaneous/Other category or a category for Recreational Mathematics

Answer 14

Anyway, that is not the question here, sorry...

Answer 15

I think it is a good idea to ask the question in the metamath group "What is metamath?"

(And pin the thread, except u can't do that)

Answer 16

well so far i have some reason to post logic questions in the subtopic metamath,

however i can think of equally valid reasons to post logic question in other subtopics,

so i still am not convinced that metamath is the best section to post in

Answer 17

Where would you post it instead? Algebra?

(I don't disagree with u, metamath only includes mathematical logic usually)

Answer 18

probability, statistics, discrete math

Answer 19

geometry

Answer 20

Exactly which sort of logic are we talking about?

Answer 21

where do you think is best for this question
\[(1,2)\cap[2,3)=\]

Answer 22

Set Theory = Metamath

Applications of Set theory = The area in which it is being applied.

Answer 23

im talking about these operators \(\neg,\land,\lor,\Rightarrow,\Leftrightarrow,\exists,\forall,|\)

Answer 24

Again, you have to distinguish between the theory and the applications

Answer 25

The theory is that of formal systems (First order logic and in general, nth order logics).

Answer 26

well im doing a course you see, and we have covered all the above operators ,
then some stuff on proof, ( like proof of \(\sqrt{2}\not\in\mathbb Q\}\)

and now we are starting some set theory

Answer 27

Yes, these are all connected...

Answer 28

\[\{,(,[,\cup,\cap,\]

Answer 29

i feel there should be a single subtopic that can accommodate all these, maybe it is just maths

Answer 30

propositional logic - simple declarative propositions,
first-order logic - covers predicates and quantification as well

Answer 31

These are then used in ZFC (a formal mathematical system) to prove things using the language of sets

Answer 32

At a very abstract level, I would call this metamath.

Otherwise, it would depend on where it was being applied.

Answer 33

yeah

Answer 34

However it does seem to be to be very algebraic in nature.

Answer 35

my main reason for disliking metamath as the best option, is that the OS group dosent have much history of use of these symbols

Answer 36

Basically, I agree, we could get along fine without this subgroup and instead maybe have one called "Proofs, Logic and Sets" or something like that.

Answer 37

logic is under discrete mathematics......

Answer 38

I have seen people say that logic (and set theory/proofs) is a part of discrete math but I fail to see why that should be, logic, proof and set theory is applied across all of mathematics.

Answer 39

if you consider logic to be under mathematics, then it's under discrete mathematics. Otherwise, you might as well consider logic to be under philosophy

Answer 40

If it is the theory of mathematical logic then it is definitely metamathematics, the applications could be anywhere but to me the usage seems most like algebra (symbolic manipulation according to some rules).

There are a lot of things under the heading "logic", it depends what u mean and whether you are talking about applications or theory.

Answer 41

That's a good question. Keep in mind that if you can't find a valid subtopic, you can absolutely just post it directly in math.

That said, you're right that set theory and formal logic could probably use some sort of subtopic. I feel like lumping proofs in there is random and unnecessary, however (despite the fact that proofs often rely on formal logic). Perhaps a logic & sets topic? The correlation there is stronger, I feel.

Answer 42

Well Discrete math is basically compromised of Logic, Set Theory, Relations, Cardinality, Functions such as mapping a function onto or one to one and sometimes graph theory. So I guess you would ask a logic question in the Discrete math section.

Answer 43

@swissgirl
Well (deleted) math is basically compromised of Logic, Set Theory, Relations, Cardinality, Functions such as mapping a function onto or one to one and sometimes graph theory. So I guess you would ask a logic question in the (deleted) math section.

:-)

Answer 44

As usual I didnt follow the joke lol