Mantık Sertifika Programı

Mantık Sertifika Programı (Mathematics, Philosophy and Linguistics (MPL))

Koordinatör: Dr. Öğr. Üy. Başak Aray

E-posta: basak.aray@bogazici.edu.tr

Ofis: JF516

Yürütme ekibi: Başak Aray, Özlem Beyarslan, Ayhan Günaydın, İlhan İkeda, Berna Kılınç, Balkız Öztürk.

İçerik: 8 ders (24 kredi)

Kontenjan: 6 (Kriterlere uygun başvuru sayısının kontenjanı aşması durumunda felsefe, matematik ve dilbilim öğrencileri öncelikli olarak kabul edilecektir.)

Mantık Sertifika Programı, Mantık alanında kendini geliştirmek ve yüksek lisans eğitiminde bu alanda uzmanlaşmak isteyen öğrencilere açık bir programdır. Felsefe, Matematik ve Dilbilim bölümleri tarafından ortak yürütülmektedir. Lisans öğrenimi boyunca bu üç alandan aşağıda belirtilen dersleri başarıyla tamamlayan öğrenciler sertifikaya hak kazanır.

Sertifika Programı’na kayıt yaptıran öğrencilerin aşağıda belirtilen 5 zorunlu ders ile seçmeli dersler listesinden 3 dersi başarıyla tamamlamaları gerekmektedir.

Bir dersin sertifika programı bünyesinde sayılabilmesi için bu listede yer alması veya listedeki derslerden biriyle eşdeğerliğinin sertifika danışmanı tarafından onaylanması gerekir. Değişim programlarında yurt dışında alınan bu tür bir ders, öğrencinin kayıttan önce dersin adı ve içeriği hakkında program koordinatörüne danışması ve döndükten sonra dersin müfredatını ve resmi transkriptini kendisine ibraz etmesi halinde sertifikaya dahil edilebilir.

Tüm dersler kredili olarak alınmalıdır. Kredisiz dersler sertifikaya dahil edilemez.

Başvuru Kriterleri

Boğaziçi Üniversitesi’nde üçüncü yarıyıl veya üzeri not ortalaması en az 3.00 olan tüm lisans öğrencileri, Mantık Sertifika Programına kabul için başvurabilirler.

Mantık Sertifika Programına kayıt yaptırmak isteyen öğrencilerin, doldurdukları Başvuru Formu’nun taranmış halini ve güncel transkriptlerini program koordinatörü Dr. Öğr. Üy. Başak Aray’a e-posta yoluyla ulaştırması gerekmektedir. Onay e-postası almanız sonrasında programa resmi olarak kayıtlı sayılırsınız.

Öğrenciler, yukarıdaki giriş koşullarını sağladıkları sürece programa kabul edilmeye hak kazanırlar. Ancak sertifikayı almaya yalnızca 8 dersi (24 kredi) başarıyla tamamlayanlar hak kazanır.

Program Gereksinimleri

Programa kayıt yaptıran öğrencilerin güncel transkriptlerini her akademik dönem başında Mantık Sertifika koordinatörüne teslim etmeleri/e-posta ile göndermeleri gerekmektedir. Gönderilen transkriptlerde başarıyla tamamlanan sertifika derslerinin vurgulanması/altının çizilmesi önem arz etmektedir.

Güncel transkriptlerini art arda iki yarıyıl (yaz dönemi hariç) gönderemeyenler otomatik olarak sertifika programından çıkmış sayılır.

Mezuniyetlerinden önce derslerin planlanması ve tamamlanmasını sağlamak öğrencilerin kendi sorumluluğundadır.

Programa dahil olan dersler her dönem açılmayabilir ve öğrenci kabulü dersi veren öğretim elemanının rızasına tabidir.

Dersleri Tamamlama Süreci

Programda bulunan ve mezun olacak öğrencilerin mezuniyetlerinden bir dönem önce koordinatör ile iletişime geçerek mezun olma niyetlerini bildirmeleri ve son dönemde tamamladıkları ve/veya alacakları derslerin programın tamamlanmasını sağlayacağından emin olmaları gerekir.

Öğrencilerin sertifika sürecini sonlandırmak için mezuniyetlerinden önce başarıyla tamamladıkları 8 dersin tamamını transkriptlerinde vurgulamaları/altını çizmeleri ve transkripti program koordinatörlüğüne e-posta ile göndermeleri gerekmektedir. Son aşamayı tamamlamayan öğrenciler sertifika alamazlar. Sertifikayı almak için mezuniyet transkriptini gönderdiğinden emin olmak, öğrencilerin sorumluluğundadır.

Program öğrencileri, bahar yarıyılı sonunda diplomalarıyla birlikte sertifikalarını da alacaklardır. Güz yarıyılı sonunda mezun olanlar da aynı şekilde bahar yarıyılı sonunda sertifikalarını alırlar.

Zorunlu dersler

• LING101 Introduction to Language and Linguistics I
  An introductory course to the study of language focusing on the properties of natural languages and aiming to familiarize the student with linguistic terminology and the concepts underlying these terms.
• PHIL101 Introduction to Philosophy
  Survey of the main concepts, problems and approaches in philosophy. An introduction to the techniques of philosophical analysis.
• MATH111 Introduction to Mathematical Structures
  Propositional logic, truth tables, equivalences, quantifiers, rules of inference, proof methods, sets, power sets, functions, sequences, countability, cardinality, divisibility, modular arithmetic, primes, mathematical induction, strong induction and wellordering principle, recursive definitions, axiomatic systems, Euclid's postulates and non-Euclidean geometries.
• LING203 Syntax
  Introduction to syntactic theory. Presentation of the basic concepts and tools of syntactic analysis. Discussion of issues such as phrase structure, predicate-argument structure, thematic roles, case, principles, coindexation, scope dependencies, anaphoric dependencies, the interpretation of syntactic gaps, features that determine word order.
• MATH411 Mathematical Logic
  Propositional and quantificational logic, formal grammar, semantical interpretation, formal deduction, completeness theorems, selected topics from model theory and proof theory.

Seçmeli dersler

• PHIL142 Elementary Set Theory
  Algebra of sets, algebra of relations, order relations, equivalence relations, mathematical induction, power sets, cardinality; mathematical structures such as Boolean algebras, groups, homomorphisms and isomorphism of structures, Zermelo-Fraenkel axioms for sets.
• PHIL222 Philosophy of Science (except for philosophy students)
  Examination of the goals of science. Scientific explanation, theory construction, the use of models, confirmation of hypotheses, and the status of theoretical entities all discussed within the context of examples from the history of science. Consideration of philosophical questions arising in scientific inquiry. The importance of method in scientific inquiry.
• PHIL232 Scientific Reasoning
  Survey of the basic inference patterns in scientific reasoning. Emphasis on hypotheticaldeductive and statistical methods. Basic skills in evaluating scientific arguments by examining numerous concrete examples. Divergence of opinions on methodological issues.
• PHIL251 Special Topics in Logic
  Selected topics on modal logic and Kripke semantics, tense logic, tensed modalities, epistemic logic, free logic, logic of existence, intuitionistic logic, Lesniewsky's mereology, philosophical grammar and formal semantics.
• LING305 Semantics
  Study of fundamental elements of semantic theory: compositionality, predication, truthconditions, quantification, lexical semantics. Discussion of semantic concepts, such as reference, definiteness, negation, modality. Analysis of morphological, phonological and syntactic expressions of these concepts in various languages. Investigation of some issues of pragmatics such as presupposition, entailment, and implicatures.
• PHIL331 Advanced Logic I
  ZF axioms for set theory, axiom of choice, well ordering, ordinal numbers, cardinal numbers, GCH, ultraproducts. Deduction theorem, completeness theorem, compactness theorem, nonstandard models of arithmetic, elementary structures, chains.
• PHIL332 Advanced Logic II
  Formal number theory, primitive recursive and recursive functions, arithmetization, MRDP theorem, Godel incompleteness theorems, recursive undecidability, Church's theorem, Turing machines, partial recursive functions, unsolvable problems, Kleene-Mostowski hierarchy, effective computability, decision problems.
• PHIL339 Philosophy of Logic
  Philosophical questions concerning first-order and second-order predicate logic, propositional logic and modal logic. Ontological presuppositions of different logical systems, justification of primitive inference rules and informativeness of logical propositions.
• LING340 Advanced Syntax
  Introduction to the basic concepts of generative syntactic theory. Discussion of the basic constructs and tools of generative syntactic analysis. Discussion of issues such as binding theory, X-bar theory, theta-theory, empty categories, control, movement. Comparison of different generative frameworks with respect to their conceptualization of representation, Syntactic analysis of data from various languages.
• LING360 Computational Methods in Linguistics
  This course is an introduction to the field of computational linguistics. Throughout the semester, we will analyze human language as a computational device, discuss some of the major theoretical aspects of computational linguistics, and implement practical applications of these theories in Python.
• PHIL371 Philosophical Logic
  The study and analysis of concepts fundamental to philosophy. Concepts of meaning, truth, identity, logical form, propositional attitudes, opacity of reference and predication.
• PHIL372 Philosophy of Language
  An examination of the nature and structure of language and of philosophical problems arising in connection with it. Topics covered will include meaning, reference, speech acts and relevant issues of contemporary descriptive linguistics.
• MATH401 History of Mathematics
  Selected topics in the history of mathematics and related fields.
• MATH412 Introduction to Set Theory
  Sets, relations, functions, order, set-theoretical paradoxes, axiom systems for set theory, axiom of choice and its consequences, transfinite induction, recursion, cardinal and ordinal numbers.
• MATH413 Model Theory
  Language and structure, theory, definable sets and interpretability, compactnees theorem, complete theories, Löwenheim-Skolem theorems, quantifier elimination, algebraic examples.
• PHIL414 History of Analytic Philosophy
  Analytic methods developed by Frege, Russell, Moore, and Wittgenstein. The rise and fall of logical positivism and ordinary language philosophy. The impact of Quine, sense and reference, the picture theory of language, the verifiability theory of meaning, the private language argument, speech acts, Gricean strictures, ontological relativity, radical translation, the Davidson-Dummett controversy about meaning, and the issue of whether the analytical tradition has come to an end.
• PHIL420 Advanced Philosophy of Science
  Critical analysis of the views in contemporary philosophy of science
• PHIL470 Philosophy of Mathematics
  Foundations of mathematics and philosophical problems in the interpretation of the nature of mathematics.
• LING450 Advanced Semantics
  Introduction to the basic concepts of truth-conditional compositional semantic analysis. Analyzing natural language meaning with the tools of set theory and first- and higher-order logic. Analysis of quantificational constructions, scope ambiguity and scope rigidity. Discussion of the meanings of tense/aspect markers, quantificational adverbs, and modals.
• LING487 Mathematics and Philosophy in Linguistics
  Mathematics of linguistic description and grammar. Computational infrastructure of linguistic description. Formal grammars and semantics. Philosophy of linguistics and grammar, including use-theory, nominalism, psychologism, realism, mathematicism and computationalism.
• LING488 Exploring Natural Languages by Modelling
  Basic concepts of natural grammar. Basic concepts of modeling. Relating natural grammars to computation. Case studies on learning of natural grammars.