Johns Hopkins University 3 credits Philosophy
Mathematical Logic I (H,Q) is the first semester of a year long course studying the logical methods used in mathematical reasoning. The first semester explores the construction of formal languages in which to cast mathematical discourse, introduces systems of proof for deriving propositions from assumptions, and develops a formal semantics that provides a precise criterion of logical consequence. We expect a system of proof to allow the derivation only of propositions that are logical consequences of the assumptions (soundness). A principal result establishes the converse: these systems of proof are such that any logical consequence is derivable (completeness). This provides us with a purely mathematical characterization of logic within which mathematical theories can be formulated and their properties studied (decidability, axiomatizability, consistency, completeness), a pursuit commonly known as metamathematics. Prerequisite(s): Students who have already taken, or are currently enrolled in AS.150.420, are not eligible to take AS.150.620.
Our subject experts help with essays, research papers, case studies, discussion posts, and capstone projects for these programs β written from scratch to your course requirements.
Program and course information is reproduced from each university's published academic catalog for informational purposes and may change. Always confirm current requirements with your university. We are an independent academic support service and are not affiliated with or endorsed by the universities listed.
Expert guides on essay writing, citation styles, study skills, and academic success.
View All Articles
Learn how to write a good research question for a paper. Narrow your topic, identify a research problem, and create a focused question with practical examples.
Learn how to choose a research topic you can actually research. Discover how to narrow broad ideas, find reliable sources, and develop a focused research question.
Learn how to cite sources in a research paper using APA, MLA, and Chicago styles, with in-text citation examples and reference-list tips.