Predicate logic

Second-order predicate

In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument. Compare higher-order predicate. The idea of second order predication was introduced by the German mathematician and philosopher Frege. It is based on his idea that a predicate such as "is a philosopher" designates a concept, rather than an object. Sometimes a concept can itself be the subject of a proposition, such as in "There are no Bosnian philosophers". In this case, we are not saying anything of any Bosnian philosophers, but of the concept "is a Bosnian philosopher" that it is not satisfied. Thus the predicate "is not satisfied" attributes something to the concept "is a Bosnian philosopher", and is thus a second-level predicate. This idea is the basis of Frege's theory of number. (Wikipedia).

Video thumbnail

Solve second order differential equation by substitution, Q10 on review sheet

Solve second order differential equation by substitution, 2nd order differential equation with variable coefficients, Differential equation by substitution, second order linear differential equations, blackpenredpen

From playlist First Order Differential Equations Review

Video thumbnail

Differential Equation - 2nd Order Linear (1 of 17) Introduction

Visit http://ilectureonline.com for more math and science lectures! In this video I will introduce 2nd order linear homogeneous and non-homogeneous differential equations. Next video in the series can be seen at: http://youtu.be/aA4TNJKvFCQ

From playlist DIFFERENTIAL EQUATIONS 9 - 2nd ORDER INTRODUCTION

Video thumbnail

Reduction of Order - Linear Second Order Homogeneous Differential Equations Part 2

This video explains how to apply the method of reduction of order to solve a linear second order homogeneous differential equations. Site: http://mathispower4u

From playlist Second Order Differential Equations: Reduction of Order

Video thumbnail

2nd Order Differential Equation The Characteristic Equation

We demonstrate how to solve a 2nd order, linear, homogeneous differential equation with constant coefficients with "guess and check," and the characteristic equation.

From playlist Mathematical Physics I Uploads

Video thumbnail

A03 Eigenvalues

The method of determining eigenvalues as part of calculating the sets of solutions to a linear system of ordinary first-order differential equations.

From playlist A Second Course in Differential Equations

Video thumbnail

Differential Equation - 2nd Order (1 of 54) Overview

Visit http://ilectureonline.com for more math and science lectures! In this video I will verview 2nd order differential equations, and the difference between 2nd order linear inhomogeneous and homogeneous differential equations with constant coefficients. Next video can be seen at: https

From playlist DIFFERENTIAL EQUATIONS 11 - 2nd ORDER, A COMPLETE OVERVIEW

Video thumbnail

C02 Reduction of order

The first method for solving second order linear ODE's uses reduction in order. In this method the second derivative is reduced to a first derivative in the dependent variable, which can usually be solved by separation of variables, or by introduction an integrating factor.

From playlist Differential Equations

Video thumbnail

SEM122 - Predicate Logic I

This first E-Lecture on Predicate Logic is meant as a gentle introduction. It first points out why propositional logic alone is not sufficient for the formalization of sentence meaning and then introduces the central machinery of predicate logic using several examples with which the studen

From playlist VLC103 - The Nature of Meaning

Video thumbnail

Joel David Hamkins : The hierarchy of second-order set theories between GBC and KM and beyond

Abstract: Recent work has clarified how various natural second-order set-theoretic principles, such as those concerned with class forcing or with proper class games, fit into a new robust hierarchy of second-order set theories between Gödel-Bernays GBC set theory and Kelley-Morse KM set th

From playlist Logic and Foundations

Video thumbnail

You should know what Impredicativity is.

In this video I discuss the concept of predicativity, impredicativity and vicious circles. The text for the video is found in https://gist.github.com/Nikolaj-K/aae1f4bd582e60e6b7e5b5431fee054c

From playlist Logic

Video thumbnail

Reduction of Order - Linear Second Order Homogeneous Differential Equations Part 1

This video explains how to apply the method of reduction of order to solve a linear second order homogeneous differential equations. Site: http://mathispower4u

From playlist Second Order Differential Equations: Reduction of Order

Video thumbnail

Mood and Figure of Standard Categorical Syllogisms // Lessons 21 and 22 [INTRODUCTORY LOGIC]

Standard categorical syllogisms can be grouped together by two characteristics called mood and figure. Given a mood and figure, we should be able to build a schema (think, skeleton) of the syllogism, and eventually, tell whether it is valid or invalid. The mood of the syllogism has to do w

From playlist Introductory Logic

Video thumbnail

Topoi 1: Predicates vs. subsets

Topos, topoi, toposes. This is the warmup video for the discussion of the Subobject Classifier in a category of sets, in the next video. The document used can be found here: https://gist.github.com/Nikolaj-K/469b9ca1c085ea4ac4e3d7d0008913f5 Typo: In minute 42, the membership relation on sh

From playlist Logic

Video thumbnail

Foundations S2 - Seminar 8 - Light discussion of soundness, completeness, first vs second order

A seminar series on the foundations of mathematics, by Will Troiani and Billy Snikkers. In this seminar Billy leads a discussion of soundness, completeness and first vs second-order logic, as a recap of some of what has been discussed over the past few months in the seminar. The webpage f

From playlist Foundations seminar

Video thumbnail

Predicates and Quantifiers [Discrete Math Class]

This video is not like my normal uploads. This is a supplemental video from one of my courses that I made in case students had to quarantine. This is a follow up to previous videos introducing propositional logic (mathematical propositions; logical connectives - "and", "or", "not" , the co

From playlist Discrete Mathematics Course

Video thumbnail

Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic #SoME2

My entry into SoME2. Also, my first ever video. I hope you enjoy. The Book List: Logic by Paul Tomassi A very good first textbook. Quite slow at first and its treatment of first-order logic leaves a little to be desired in my opinion, but very good on context, i.e. why formal logic is im

From playlist Summer of Math Exposition 2 videos

Video thumbnail

Fundamentals of Mathematics - Lecture 14: Signatures, Formulas, Structures, Theories, and Models

course page: http://www.uvm.edu/~tdupuy/logic/Math52-Fall2017.html videography - Eric Melton handouts - DZB, Emory

From playlist Fundamentals of Mathematics

Related pages

Number | Mathematical logic | First-order predicate | Satisfiability | Gottlob Frege