What is wrong?

Notice: Before sending an error with the download, please try the direct link first: A different approach to logic

Loading...

You must sign in to do that.

Forgot password?

A different approach to logic

A different approach to logic

A different approach to logic

Score: ---- | 0 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2011
Publisher:Autoedición
Pages:158 pages
Language:english
Since:29/07/2015
Size:1.02 MB
License:Pending review

Content:

This paper outlines an approach to mathematical logic which is different from the standard one. We list the most relevant features of the system. In first-order logic there exist two different concepts of term and formula, in place of these two concepts in our approach we have just one notion of expression. The set-builder notation is enclosed as an expression-building pattern. In our system we can easily express second-order and all-order conditions (the set to which a quantifier refers is explicitly written in the expression). The meaning of a sentence will depend solely on the meaning of the symbols it contains, it will not depend on external ‘structures’. Our deductive system is based on a very simple definition of proof and provides a good model of human mathematical deductive process. The soundness and consistency of the system are proved, as well as the fact that our system is not affected by the most known types of paradox. The paper provides both the theoretical material and two fully documented examples of deduction. The author has built the whole system with the idea to provide a faithful model of human mathematical deductive process. He believes this objective has been achieved but obviously the reader is free to examine the system and get his own opinion about it.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

rank in categories

online since

29/07/2015

rate score

Nothing yet...

votes

Nothing yet...

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...