[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 247 KB, 736x732, 1342097909329.png [View same] [iqdb] [saucenao] [google]
4894538 No.4894538 [Reply] [Original]

Do you believe in the reality (real life applicability) of the statements of any form of symbolic logic? That is, do you think the idea of symbolic representation of drawing conclusions corresponds to "real life". Is some logic valid.

>> No.4894546

Applied mathematics gives us physics.

Applied physics gives us technology.

You can't not believe in the real life applicability of logic.

>> No.4894555

>>4894546
I was thinking of things like the excluded middle, not the small miracle that one can represent naive concepts like numbers in some theory, which is also founded in a logic (like first-order-logic).