Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: LOGIC & MATHEMATICS
Replies: 96   Last Post: Jun 6, 2013 5:19 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Peter Percival

Posts: 1,269
Registered: 10/25/10
Re: LOGIC & MATHEMATICS
Posted: Jun 3, 2013 9:45 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Herman Rubin wrote:

>
> Mathematical logic is not all of logic, but it is logic, not
> mathematics. There is more to the logic which is used by
> mathematicians, such as in metamathematics, than is in the
> first order predicate calculus, which is what is used in
> mathematical proofs. There are metamathematical proofs of
> mathematical theorems which do not have mathematical proofs.
>
> There is also inductive logic, which is best represented by
> statistical decision theory, and there are modal logics. I
> have seen description of "quantum logics", but I do not see
> them as more than partial representations.


What is mathematical logic? Is it logic studied with mathematical
tools? (Which might be any logic at all.) Or is that part of logic
that underlies mathematical reasoning? Or something else?

--
I think I am an Elephant,
Behind another Elephant
Behind /another/ Elephant who isn't really there....
A.A. Milne


Date Subject Author
5/26/13
Read LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/26/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
5/26/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/26/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
5/26/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
5/26/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
5/26/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
5/26/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
5/26/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/28/13
Read Re: LOGIC & MATHEMATICS
Charlie-Boo
5/28/13
Read Re: LOGIC & MATHEMATICS
Charlie-Boo
5/26/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/27/13
Read Re: LOGIC & MATHEMATICS
zuhair
5/27/13
Read Re: LOGIC & MATHEMATICS
fom
5/27/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/27/13
Read Re: LOGIC & MATHEMATICS
fom
5/28/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
5/28/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/28/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
5/29/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
5/30/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
5/30/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
5/30/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
5/30/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
5/31/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
5/30/13
Read Re: LOGIC & MATHEMATICS
Bill Taylor
5/30/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
5/30/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/30/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/30/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
5/31/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
5/31/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/31/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
5/31/13
Read Re: LOGIC & MATHEMATICS
fom
5/28/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
5/28/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
5/27/13
Read Re: LOGIC & MATHEMATICS
Charlie-Boo
5/27/13
Read Re: LOGIC & MATHEMATICS
fom
5/28/13
Read Re: LOGIC & MATHEMATICS
Charlie-Boo
5/28/13
Read Re: LOGIC & MATHEMATICS
fom
6/4/13
Read Re: LOGIC & MATHEMATICS
Charlie-Boo
6/4/13
Read Re: LOGIC & MATHEMATICS
fom
6/5/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/28/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/28/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
5/28/13
Read Re: LOGIC & MATHEMATICS
ross.finlayson@gmail.com
5/28/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
5/28/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
5/28/13
Read Re: LOGIC & MATHEMATICS
fom
5/29/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
5/29/13
Read Re: LOGIC & MATHEMATICS
fom
5/30/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
5/29/13
Read Re: LOGIC & MATHEMATICS
fom
5/30/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
5/30/13
Read Re: LOGIC & MATHEMATICS
fom
5/31/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
5/31/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/31/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
5/31/13
Read Re: LOGIC & MATHEMATICS
ross.finlayson@gmail.com
6/1/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
6/1/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
6/1/13
Read Re: LOGIC & MATHEMATICS
ross.finlayson@gmail.com
6/2/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
6/2/13
Read Re: LOGIC & MATHEMATICS
ross.finlayson@gmail.com
6/3/13
Read Re: LOGIC & MATHEMATICS
Shmuel (Seymour J.) Metz
6/3/13
Read Re: LOGIC & MATHEMATICS
ross.finlayson@gmail.com
6/4/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
6/4/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
6/4/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
6/5/13
Read Re: LOGIC & MATHEMATICS
Shmuel (Seymour J.) Metz
6/5/13
Read Re: LOGIC & MATHEMATICS
fom
6/6/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
5/31/13
Read Re: LOGIC & MATHEMATICS
fom
6/1/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
6/1/13
Read Re: LOGIC & MATHEMATICS
fom
6/2/13
Read Re: LOGIC & MATHEMATICS
ross.finlayson@gmail.com
6/2/13
Read Re: LOGIC & MATHEMATICS
fom
6/2/13
Read Re: LOGIC & MATHEMATICS
Herman Rubin
6/2/13
Read Re: LOGIC & MATHEMATICS
fom
6/2/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
6/3/13
Read Re: LOGIC & MATHEMATICS
Herman Rubin
6/3/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
6/4/13
Read Re: LOGIC & MATHEMATICS
Herman Rubin
6/4/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
6/4/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
6/1/13
Read Re: LOGIC & MATHEMATICS
fom
6/1/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
6/1/13
Read Re: LOGIC & MATHEMATICS
namducnguyen
6/5/13
Read Re: LOGIC & MATHEMATICS
Peter Percival
6/1/13
Read Re: LOGIC & MATHEMATICS
fom
6/2/13
Read Re: LOGIC & MATHEMATICS
LudovicoVan
6/2/13
Read Re: LOGIC & MATHEMATICS
fom
5/28/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/28/13
Read Re: LOGIC & MATHEMATICS
Charlie-Boo
5/27/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com
5/28/13
Read Re: LOGIC & MATHEMATICS
Charlie-Boo
5/30/13
Read Re: LOGIC & MATHEMATICS
Zaljohar@gmail.com

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.