Foundations of Mathematics

[wajed]

I`ve started to read on FOM, and unfortunately I found the first paragraph cumbersome to get.

Here is the text I started with: http://www.math.psu.edu/simpson/hierarchy.html

The first paragraph was:
"1. All human knowledge is conceptual and forms an integrated whole. All human knowledge is contextual and hierarchical."

The three radical words are: conceptual, contextual, and hierarchical.


I understand what "hierarchical" means. I`m gonna get back to "contextual" later.

Now what I`d like to understand is the word "conceptual", so can I get help here?

I did some researching about "conceptual", and one good website was: http://www.education.com/reference/article/distinction-conceptual-procedural-math/
But no single website gave a precise definition of what "conceptual" means.. which makes me scratch my head really hard trying to understand based on what did the author of the FOM text use the word "All" at the beginning of the text, and what was he thinking of when he used the word "conceptual".

[Civilized]

That essay is itself part of the philosophy of mathematics, not the foundation of mathematics. It is the author's explanation of the role and definition of "foundations of mathematics", and thus as I said the essay itself really belongs to philosophy of mathematics.

If you are interested in the foundations of mathematics, then you would be pointed towards mathematical logic and axiomatic set theory and/or category theory. These subjects are extremely rigorous and would never contain such a vague statement as:

"1. All human knowledge is conceptual and forms an integrated whole. All human knowledge is contextual and hierarchical."

except perhaps in the preface, or in the end of chapter notes /motivational material. Such a statement lies clearly in the domain of th philosophy of mathematics, which is a sub-branch of philosophy, and so bears little resemblance to mathematics itself.

To get an idea about what FOM is all about it might be better to glance through that same author's publication list (although the library is a better place to start):

http://www.math.psu.edu/simpson/papers/

The statement about "all human knowledge..." is an attempt by a mathematician to go outside of his specialty and do philosophy, and so the most polite thing I can say is that I did not find any of the statements in that essay to be worthwhile.

[HallsofIvy]

I`ve started to read on FOM, and unfortunately I found the first paragraph cumbersome to get.

Here is the text I started with: http://www.math.psu.edu/simpson/hierarchy.html

The first paragraph was:
"1. All human knowledge is conceptual and forms an integrated whole. All human knowledge is contextual and hierarchical."

The three radical words are: conceptual, contextual, and hierarchical.

I understand what "hierarchical" means. I`m gonna get back to "contextual" later.

Now what I`d like to understand is the word "conceptual", so can I get help here?
"Conceptual": based on concepts. What is being said here is simply that basis of all knowledge is the "concept" or "idea".


I did some researching about "conceptual", and one good website was: http://www.education.com/reference/article/distinction-conceptual-procedural-math/
But no single website gave a precise definition of what "conceptual" means.. which makes me scratch my head really hard trying to understand based on what did the author of the FOM text use the word "All" at the beginning of the text, and what was he thinking of when he used the word "conceptual".
He was saying that all knowledge is based on "ideas". Although without reading the whole thing I can't say for sure, I suspect he was thinking "as opposed to sense impressions".

[wajed]

That essay is itself part of the philosophy of mathematics... It is the author's explanation of the role and definition of "foundations of mathematics"..
... mathematical logic and axiomatic set theory and/or category theory. These subjects are extremely rigorous...

So, it seems like Philosophy of Mathematics is more fundamental than Foundation of Mathematics..
Well, the reason I started with FOM is that I wanted to start from the very core of mathematics, and I thought FOM was the most fundamental thing to start with, but since you are saying that "that essay is itself part of Philosopgy.." I think I should start with Philosophy?

[wajed]

He was saying that all knowledge is based on "ideas". Although without reading the whole thing I can't say for sure, I suspect he was thinking "as opposed to sense impressions".
I understand what the word "concept" itself mean; but, I thought it might be used not literally, and the first question that motivated me to come and ask here is: "how do we know that "All" knowledge is conceptual?"

What I`ve just learned from Mr.Civilized is that I don`t have to take the text very literally; and from you, sir, I understand he meant the literal meaning of "concept".

[CRGreathouse]

So, it seems like Philosophy of Mathematics is more fundamental than Foundation of Mathematics.

No, not at all. It is used to describe mathematics, but the math does not rely on it.

Now it could be argued that philosophy (or at least some branch of philosophy) is more fundamental than mathematics, but philosophy of mathematics is certainly not.