Predicate Logic (part one) (Lecture 2 of "Formal Methods for Philosophers of Science")

Prof. Dr. Torsten Wilholt, Leibniz Universität Hannover, Germany
MA program "Philosophy of Science" https://www.philos.uni-hannover.de/en... (Lecture 10 of "Formal Methods for Philosophers of Science")
Playlist: Formal Methods for Philosophers of Sc...

• #education
• #predicate_logic
• #quantifier_logic
• #quantifier
• #variables
• #names
• #predicates
• #quantifier_scope
• #one_place_predicate
• #two_place_predicate