"Mathematical logic, which is nothing else but a precise and complete formulation of formal logic, has two quite different aspects. On the one hand, it is a section of Mathematics treating of classes, relations, combinations of symbols, etc., instead of numbers, functions, geometric figures, etc. On the other hand, it is a science prior to all others, which contains the ideas and principles underlying all sciences."
- Kurt Gödel (Russell's Mathematical Logic (Link))
Introduction to Logic by Alfred Tarski (Link)
Introductory Logic Course Videos (Link)
Logic: The Structure of Reason Video (Link)
Introductory Logic Podcast (Link)
-
-
-
PROPOSITIONAL (SENTENCIAL)/PREDICATE (QUANTIFIER) LOGIC:
-
LOGICAL OPERATORS:
TRUTH TABLES FOR LOGICAL OPERATORS:
RULES OF INFERENCE (IDENTITY/IMPLICATION/REPLACEMENT):
ADDITIONAL RULES FOR PROOFS:
FUNCTIONS:
"At the age of eleven, I began Euclid with my brother as my tutor. This was one of the great events of my life, as dazzling as first love. I had not imagined that there was anything so delicious in the world."
- Bertrand Russell (The Autobiography of Bertrand Russell)
“A philosopher who has nothing to do with geometry is only half a philosopher, and a mathematician with no element of philosophy in him is only half a mathematician. These disciplines have estranged themselves from one another to the detriment of both.”
-Frege
Despair
“If there were no eternal consciousness in a man, if at the bottom of everything there were only a wild ferment, a power that twisting in dark passions produced everything great or inconsequential; if an unfathomable, insatiable emptiness lay hid beneath everything, what would life be but despair?”
“To those human beings who are of any concern to me I wish suffering, desolation, sickness, ill-treatment, indignities—I wish that they should not remain unfamiliar with profound self-contempt, the torture of self-mistrust, the wretchedness of the vanquished: I have no pity for them, because I wish them the only thing that can prove today whether one is worth anything or not—that one endures.”
What I Have Lived For
“Three passions, simple but overwhelmingly strong, have governed my life: the longing for love, the search for knowledge, and unbearable pity for the suffering of mankind. These passions, like great winds, have blown me hither and thither, in a wayward course, over a great ocean of anguish, reaching to the very verge of despair.
I have sought love, first, because it brings ecstasy - ecstasy so great that I would often have sacrificed all the rest of life for a few hours of this joy. I have sought it, next, because it relieves loneliness--that terrible loneliness in which one shivering consciousness looks over the rim of the world into the cold unfathomable lifeless abyss. I have sought it finally, because in the union of love I have seen, in a mystic miniature, the prefiguring vision of the heaven that saints and poets have imagined. This is what I sought, and though it might seem too good for human life, this is what--at last--I have found.
With equal passion I have sought knowledge. I have wished to understand the hearts of men. I have wished to know why the stars shine. And I have tried to apprehend the Pythagorean power by which number holds sway above the flux. A little of this, but not much, I have achieved.
Love and knowledge, so far as they were possible, led upward toward the heavens. But always pity brought me back to earth. Echoes of cries of pain reverberate in my heart. Children in famine, victims tortured by oppressors, helpless old people a burden to their sons, and the whole world of loneliness, poverty, and pain make a mockery of what human life should be. I long to alleviate this evil, but I cannot, and I too suffer.
This has been my life. I have found it worth living, and would gladly live it again if the chance were offered me.“
The Study of Mathematics (Link)
“Mathematics, rightly viewed, possesses not only truth, but supreme beauty—a beauty cold and austere, like that of sculpture, without appeal to any part of our weaker nature, without the gorgeous trappings of painting or music, yet sublimely pure, and capable of a stern perfection such as only the greatest art can show. The true spirit of delight, the exaltation, the sense of being more than man, which is the touchstone of the highest excellence, is to be found in mathematics as surely as in poetry. What is best in mathematics deserves not merely to be learnt as a task, but to be assimilated as a part of daily thought, and brought again and again before the mind with ever-renewed encouragement. Real life is, to most men, a long second-best, a perpetual compromise between the ideal and the possible; but the world of pure reason knows no compromise, no practical limitations, no barrier to the creative activity embodying in splendid edifices the passionate aspiration after the perfect from which all great work springs. Remote from human passions, remote even from the pitiful facts of nature, the generations have gradually created an ordered cosmos, where pure thought can dwell as in its natural home, and where one, at least, of our nobler impulses can escape from the dreary exile of the actual world.”
Mathematics and the Metaphysicians (Link)
“What is now required is to give the greatest possible development to mathematical logic, to allow to the full the importance of relations, and then to found upon this secure basis a new philosophical logic, which may hope to borrow some of the exactitude and certainty of its mathematical foundation. If this can be successfully accomplished, there is every reason to hope that the near future will be as great an epoch in pure philosophy as the immediate past has been in the principles of mathematics. Great triumphs inspire great hopes; and pure thought may achieve, within our generation, such results as will place our time, in this respect, on a level with the greatest age of Greece.”
Chapter XV: The Value of Philosophy Text (Link)
"The value of philosophy is, in fact, to be sought largely in its very uncertainty. The man who has no tincture of philosophy goes through life imprisoned in the prejudices derived from common sense, from the habitual beliefs of his age or his nation, and from convictions which have grown up in his mind without the cooperation or consent of his deliberate reason."
Out of Nothingness
“What is it that has called you so suddenly out of nothingness to enjoy for a brief while a spectacle which remains quite indifferent to you? The conditions for your existence are almost as old as the rocks. For thousands of years men have striven and suffered and begotten and women have brought forth in pain. A hundred years ago, perhaps, another man sat on this spot; like you he gazed with awe and yearning in his heart at the dying light of the glaciers. Like you he was begotten of man and born of woman. He felt pain and brief joy as you do. Was he someone else? Was it not you yourself? What is this Self of yours? What was the necessary condition for making the thing conceived this time into you, just you and not someone else? What clearly intelligible scientific meaning can this 'someone else' really have? If she who is now your mother had cohabited with someone else and had a son by him, and your father had done likewise, would you have come to be? Or were you living in them, and in your father's father... thousands of years ago? And even if this is so, why are you not your brother, why is your brother not you, why are you not one of your distant cousins? What justifies you in obstinately discovering this difference - the difference between you and someone else - when objectively what is there is the same?”
What is this “I”?
“What is this 'I'? If you analyze it closely you will, I think, find that it is just a little bit more than a collection of single data (experiences and memories), namely the canvas upon which they are collected. And you will, on close introspection, find that what you really mean by 'I' is that ground-stuff upon which they are collected. You may come to a distant country, lose sight of all your friends, may all but forget them; you acquire new friends, you share life with them as intensely as you ever did with your old ones. Less and less important will become the fact that, while living your new life, you still recollect the old one. 'The youth that was I', you may come to speak of him in the third person, indeed the protagonist of the novel you are reading is probably nearer to your heart, certainly more intensely alive and better known to you. Yet there has been no intermediate break, no death. And even if a skilled hypnotist succeeded in blotting out entirely all your earlier reminiscences, you would not find that he had killed you. In no case is there a loss of personal existence to deplore. Nor will there ever be.”
6.4311
“Death is not an event in life: we do not live to experience death. If we take eternity to mean not infinite temporal duration but timelessness, then eternal life belongs to those who live in the present. Our life has no end in the way in which our visual field has no limits.”
4.112
“The object of philosophy is the logical clarification of thoughts. Philosophy is not a theory but an activity. A philosophical work consists essentially of elucidations. The result of philosophy is not a number of "philosophical propositions", but to make propositions clear. Philosophy should make clear and delimit sharply the thoughts which otherwise are, as it were, opaque and blurred.”
7
"Wovon man nicht sprechen kann, darüber muss man schweigen."
"Whereof one cannot speak, thereof one must be silent."