Logica - PDFSEARCH.IO - Document Search Engine

Logica
Results: 499

#	Item
201	Abduction of Generalizations November 15, 2011 Abstract Abduction of generalizations is the process in which explanatory hypotheses are formed for an observed, yet puzzling generalization such as “pineapples taste swee Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:50:33 Reasoning Philosophy of science Epistemology Critical thinking Logical consequence Abductive reasoning Scientific method Inference Inductive reasoning Science Logic Knowledge
202	J-Calc: A typed λ-calculus for Justification Logic K. Pouliasis1 , G. Primiero2 1 Department of Computer Science, Graduate Center, CUNY 2 FWO, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-15 07:37:00 Philosophy of mathematics Logic in computer science Type theory Lambda calculus Mathematical constructivism Curry–Howard correspondence Simply typed lambda calculus Logic Mathematical logic Mathematics Theoretical computer science Computer science
203	Two, Many, And Diﬀerently Many Diderik Batens∗ Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-11-07 13:08:11 Non-classical logic Paraconsistent logic Semantics Philosophical logic Many-valued logic Interpretation Valuation Relevance logic Propositional calculus Logic Mathematical logic Model theory
204	Alleged Assassins Bjørn Jespersen & Giuseppe Primiero Department of Computer Science, Technical University of Ostrava & Department of Logic, Czech Academy of Sciences, Prague FWO & Centre for Logic and Philosophy of Sci Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-03 05:47:29 Modal logic Non-classical logic Transparent Intensional Logic Intensional logic Logic Philosophical logic Science
205	Some Adaptive Contributions to Logics of Formal Inconsistency Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-08-18 12:36:21 Paraconsistent logic Philosophical logic Propositional calculus Deduction Entailment Non-monotonic logic Negation Newton da Costa Disjunctive syllogism Logic Mathematical logic Non-classical logic
206	Fraud in academic medical research: Lessons from Flanders, Belgium Jan De Winter, Laszlo Kosolosky A scientific survey on fraud in academic medical research in Flanders, of which the results were recently published in po Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-05-17 07:02:14 Scientific literature Research Alternative medicine Knowledge Ethology Scientific method Academic publishing Scientific misconduct Science Research ethics
207	Philosophica[removed]pp[removed]THE PROBLEM OF KUHNIAN RATIONALITY Rogier De Langhe Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-12-01 07:25:51 Epistemology Philosophy of science Philosophers of science Science studies Reasoning Commensurability Rationality Thomas Kuhn The Structure of Scientific Revolutions Science Knowledge Philosophy
208	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
209	International Conference on History and Philosophy of Computing (HAPOC) The International Conference on History and Philosophy of Computing[removed]November, Ghent University, Belgium), collected for the first time in a si Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-01-04 08:41:21 Theory of computation Computability theory Alan Turing Turing machine Mathematical logic Computability Algorithm Church–Turing thesis Interactive computation Theoretical computer science Computer science Applied mathematics
210	Practical Reasoning with Proofs and Types Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-02-09 17:15:05 Mathematics Non-classical logic Epistemology Philosophy of mathematics Logic in computer science Intuitionism Natural deduction Realizability Modal logic Logic Mathematical logic Mathematical constructivism