Simply Frege Gottlob By: Tramil Duff. About Frege Gottlob Frege was a German mathematician, logician,and a philosopher. Was born on November 8 1848 in.

Slides:



Advertisements
Similar presentations
Brief Introduction to Logic. Outline Historical View Propositional Logic : Syntax Propositional Logic : Semantics Satisfiability Natural Deduction : Proofs.
Advertisements

Chapter 3 Direct Proof and Proof by Contrapositive
The Logic of Quantified Statements
November 4, October 24, G.E. Moore Distinguished English philosopher educated at Dulwich College in London and went on to study & teach at.
Chapter 3.1. Objectives 1. Explain the law of mass, the law of definite proportions, and the law of multiple proportions 2. Summarize the five essential.
Copyright © Cengage Learning. All rights reserved.
Russell’s Paradox Jami Durkee Valerie Toothman Jason Prindell.
STRUCTURAL PROOF THEORY: Uncovering capacities of the mathematical mind Wilfried Sieg Carnegie Mellon.
Philosophy 103 Linguistics 103 Introductory Logic: Critical Thinking Fall 2007 Dr. Robert Barnard.
HISTORY OF LOGIC BY JOHN NAGUIB. What is Logic? The science or study of how to evaluate arguments and reasoning. “Logic is new and necessary reasoning”
CSE 20 DISCRETE MATH Prof. Shachar Lovett Clicker frequency: CA.
A Quick Look at Quantified Statements. Why are Quantified Statements Important? The logical structure of quantified statements provides a basis for the.
Brief Introduction to Logic. Outline Historical View Propositional Logic : Syntax Propositional Logic : Semantics Satisfiability Natural Deduction : Proofs.
The Square Root of 2, p, and the King of France: Ontological and Epistemological Issues Encountered (and Ignored) in Introductory Mathematics Courses Martin.
Lecture 6 1. Mental gymnastics to prepare to tackle Hume 2. The Problem of Induction as Hume argues for it 1. His question 2. His possible solutions 3.
EE1J2 - Slide 1 EE1J2 – Discrete Maths Lecture 12 Number theory Mathematical induction Proof by induction Examples.
Computability Thank you for staying close to me!! Learning and thinking More algorithms... computability.
1 Number Theory and Methods of Proof Content: Properties of integer, rational and real numbers. Underlying theme: Methods of mathematical proofs.
Mathematics and the Theory of Knowledge
TaK “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.
A Brief Summary for Exam 1 Subject Topics Propositional Logic (sections 1.1, 1.2) –Propositions Statement, Truth value, Proposition, Propositional symbol,
By: Savanah Yam, Rafael Diaz, William Miller
Mathematician, Logician, and Philosopher. Mr.Frege was Born 1848 in Wismar, Mecklenburg- Schwerin. Mr.Frege was Born 1848 in Wismar, Mecklenburg- Schwerin.
Jesus Beltran Vanessa Cervantes GOTTLOB FREGE. Education Works Accomplishments Family Life References TABLE OF CONTENTS.
Homework Review notes Complete Worksheet #1. Homework Let A = {a,b,c,d}, B = {a,b,c,d,e}, C = {a,d}, D = {b, c} Describe any subset relationships. 1.
On Denoting and its history Harm Boukema. Everyone agrees that “the golden mountain does not exist” is a true proposition. But it has, apparently, a subject,
Of 33 lecture 12: propositional logic – part I. of 33 propositions and connectives … two-valued logic – every sentence is either true or false some sentences.
Propositional Logic Dr. Rogelio Dávila Pérez Profesor-Investigador División de Posgrado Universidad Autónoma Guadalajara
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Lecture 18. Unsolvability Before the 1930’s, mathematics was not like today. Then people believed that “everything true must be provable”. (More formally,
He did just about everything. Everything that’s important anyway.
PHIL012 Class Notes 1/15/2001. Outline Announcements, web page Review Homework Problems (1-7) Set Theory Review & Problem 8 (if time) Assignment for Wednesday.
Euclid and the “elements”. Euclid (300 BC, 265 BC (?) ) was a Greek mathematician, often referred to as the "Father of Geometry”. Of course this is not.
Programming Languages and Design Lecture 3 Semantic Specifications of Programming Languages Instructor: Li Ma Department of Computer Science Texas Southern.
Copyright © Cengage Learning. All rights reserved.
Great Theoretical Ideas in Computer Science.
1 Propositional Logic: Fundamental Elements for Computer Scientists 0. Motivation for Computer Scientists 1. Propositions and Propositional Variables 2.
Lecture №1 Role of science in modern society. Role of science in modern society.
College of Computer Science, SCU Computer English Lecture 1 Computer Science Yang Ning 1/46.
Important Concepts Postulates The geometry concepts that you are going to study through this course are largely based on ideas set forth more than.
David Hilbert January 23, 1862 – February 14, 1943.
Introduction to Philosophy Lecture 1-b What is Philosophy? (Part 2) By David Kelsey.
CSE 311: Foundations of Computing Fall 2013 Lecture 8: Proofs and Set theory.
GREEK PHILOSOPHERS I can explain the importance of the Greek philosophers; Socrates, Plato, and Aristotle.
 Founded in 1884 by Gottlob Frege and Richard Dedekind  Math can be reduced to 9 simple logical axioms  2 axioms are not logical  Axiom of infinity.
Sets and Size Basic Question: Compare the “size” of sets. First distinction finite or infinite. –What is a finite set? –How can one compare finite sets?
Introduction to Proofs. The use of Reasoning and Logic in proofs Inductive Reasoning- “reasoning from detailed facts to general principles” – Specific.
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
5 Lecture in math Predicates Induction Combinatorics.
Philosophy of Science Lars-Göran Johansson Department of philosophy, Uppsala University
Marlee Mines.  Logic is more focused on deductive reasoning and proof.  Personally, I really thought that for math, logic was kind of fun. I liked that.
Pythagoras Sheryl Trembley Math /28/11. Pythagoras - philosopher and mathematician Limited reliable information is available about Pythagoras Lived.
Title of Book HERE Author’s Name HERE By Your name HERE.
Knowledge Representation Part I Ontology Jan Pettersen Nytun Knowledge Representation Part I, JPN, UiA1.
A historical introduction to the philosophy of mathematics
The subject of language, logic and proofs…
Ontology From Wikipedia, the free encyclopedia
Great Theoretical Ideas in Computer Science
Chapter 3 Philosophy: Questions and theories
Lecture 2 Propositional Logic
Chapter 10: Mathematical proofs
The Nature of Scientific Knowledge
A Brief Summary for Exam 1
(1.4) An Introduction to Logic
Philosophy of science is as useful to scientists as ornithology is to birds.
Metatheorems Computational Logic Lecture 8
Abstract Algebra.
Logic of Informatics Introduction.
Gottlob Frege ( ) Wittgenstein: Foundations of Arithmetics is a paragon of philosophical analysis. Michael Dummett: Frege is the grandfather of.
Presentation transcript:

Simply Frege Gottlob By: Tramil Duff

About Frege Gottlob Frege was a German mathematician, logician,and a philosopher. Was born on November in Wismar in a town named Mecklenburg-Schwerin. After attending the local Gymnasium for 15 years He enrolled at the University of Jena. There he attended lectures by Ernst Karl Abbe whom eventually became his mentor and had an significant intellectual impact on his life.

Ernst Abbe & Frege Gottlob

Frege Gottlob studied mathematics, physics, chemistry, and philosophy. At the university Jena in his five semesters there. Ernest Abbe encouraged Frege to transfer to Gottingen to complete his studies. In 1907 he was awarded the honorable title of Hofrat(councilor). Frege’s publication of the Begriffsschrift (conceptual writing) is regarded in the early twenty-first century as “the single most important event in the development of modern logic.

Frege’s logic and philosophy & Mathematics The german mathematician provided foundations for the modern discipline of logic. He did this by developing: (a) a system allowing one to study inferences formally, (b) an analysis of complex sentences and quantifier phrases that showed an underlying unity to certain classes of inferences, (c) an analysis of proof and definition, (d) a theory of extensions which

though seriously flawed, offered an intriguing picture of the foundations of mathematics, (e) an analysis of statements about number (i.e., of answers to the question ‘How many?’), (f) definitions and proofs of some of the basic axioms of number theory from a limited set of logically primitive concepts and axioms, and (g) a conception of logic as a discipline which has some compelling features. We discuss these developments in the following subsections.

Puzzles Identity Statements Frege believed that statements all have the form ‘A=b’, where ‘ A and b’ are either names or descriptions that denote individuals. He naturally assumed that a sentence of the form ‘a=b’ is true if and only if the object a just is or is identical to the object b. Example: The sentence ‘ = 221’ is true if and only if the number just is the number 221.

The End