Corpus ID: 8779336

Logic and Mathematics

@inproceedings{Simpson1999LogicAM,
  title={Logic and Mathematics},
  author={S. Simpson},
  year={1999}
}
  • S. Simpson
  • Published 1999
  • 1 Logic 2 1.1 Aristotelean logic . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.1.1 Subjects and predicates . . . . . . . . . . . . . . . . . . . 3 1.1.2 Syllogisms . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 The predicate calculus . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2.1 Predicates and individuals . . . . . . . . . . . . . . . . . . 5 1.2.2 Formulas and logical operators . . . . . . . . . . . . . . . 6 1.2.3 Logical validity and logical consequence… CONTINUE READING
    7 Citations
    STUDIES IN LOGIC, GRAMMAR AND RHETORIC 4 (17) 2001
    Predicate Logic
    • 3
    • PDF
    Symbolic logic
    • PDF
    Proof Theory in Philosophy of Mathematics
    • 1
    • PDF
    Ethical Mission Definition and Execution for Maritime Robots Under Human Supervision
    • 1
    • PDF

    References

    SHOWING 1-10 OF 32 REFERENCES
    First-Order Logic and Automated Theorem Proving
    • M. Fitting
    • Mathematics, Computer Science
    • Graduate Texts in Computer Science
    • 1996
    • 1,130
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
    • 1,004
    • Highly Influential
    Introduction to Mathematical Logic
    • 1,511
    Metamathematics of First-Order Arithmetic
    • 686
    The Thirteen Books of Euclid's Elements
    • 251
    • Highly Influential
    • PDF
    A History of Greek Mathematics
    • 141
    A history of formal logic
    • 223
    • PDF
    The collected works
    • 1,984
    • Highly Influential
    • PDF
    Subsystems of second order arithmetic
    • S. Simpson
    • Mathematics, Computer Science
    • Perspectives in mathematical logic
    • 1999
    • 1,095
    Mathematics in Aristotle
    • 131