Philosophical Dimensions of Logic and Science: Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999Artur Rojszczak, Jacek Cachro, Gabriel Kurczewski Springer Science & Business Media, 17 apr. 2013 - 396 pagini Philosophical Dimensions of Logic and Science is a collection of outstanding contributed papers presented at the 11th International Congress of Logic, Methodology, and Philosophy of Science held in Kraków in 1999. The Congress was a follow-up to the series of meetings, initiated once by Alfred Tarski, which aimed to provide an interdisciplinary forum for scientists, philosophers and logicians. The articles selected for publication in the book comply with that idea and innovatively address current issues in logic, metamathematics, philosophy of language, philosophy of science, and cognitive science, as well as philosophical problems of biology, chemistry and physics. The volume will be of interest to philosophers, logicians and scientists interested in foundational problems of their disciplines. |
Din interiorul cărții
Rezultatele 1 - 5 din 77
Pagina 5
... fact a logic over FLew as shown in the following. Proposition 2. For any residuated lattice M, L(M) is a logic over FLew. Conversely, any logic over FLew can be represented as L(M) for some residuated lattice M. Let M and N, (i e I) be ...
... fact a logic over FLew as shown in the following. Proposition 2. For any residuated lattice M, L(M) is a logic over FLew. Conversely, any logic over FLew can be represented as L(M) for some residuated lattice M. Let M and N, (i e I) be ...
Pagina 7
... fact, it is known that all finite s.i. Heyting algebras splits the lattice of subvarieties of the variety of Heyting algebras. In particular, the linearly ordered Heyting algebra with k + 1 elements Hk+1 is a splitting algebra, which ...
... fact, it is known that all finite s.i. Heyting algebras splits the lattice of subvarieties of the variety of Heyting algebras. In particular, the linearly ordered Heyting algebra with k + 1 elements Hk+1 is a splitting algebra, which ...
Pagina 8
... fact implies the impossibility of introducing a classification of the class of logics over FLew with such a nice property as slices has. 3. ALMOST MAXIMAL LOGIC'S Recall that a logic L over FLew is almost maximal if L C Cl, and moreover ...
... fact implies the impossibility of introducing a classification of the class of logics over FLew with such a nice property as slices has. 3. ALMOST MAXIMAL LOGIC'S Recall that a logic L over FLew is almost maximal if L C Cl, and moreover ...
Pagina 11
... one to W3 and also one to WA. In fact, Theorems 12 and 15 implies that almost maximal logics over FLew[DN, Lin] in W2 are L(E3) and L(K1). We can verify that if L(M) is a logic in Wm for 1 < n < A CLASSIFICATION OF LOGICS OVER FLea, 11.
... one to W3 and also one to WA. In fact, Theorems 12 and 15 implies that almost maximal logics over FLew[DN, Lin] in W2 are L(E3) and L(K1). We can verify that if L(M) is a logic in Wm for 1 < n < A CLASSIFICATION OF LOGICS OVER FLea, 11.
Pagina 36
... 0 i–0 k–1 k–1 j ^/\(u,H = wi)} - {(90 – ... = y) A /\/\(w; # u)}: 7–0 J Ø7 := (20 = 1/0 A to = ti A 21 = v A a 1 = 8) → yi = v. The proof of this theorem relies on the fact that 36 PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE.
... 0 i–0 k–1 k–1 j ^/\(u,H = wi)} - {(90 – ... = y) A /\/\(w; # u)}: 7–0 J Ø7 := (20 = 1/0 A to = ti A 21 = v A a 1 = 8) → yi = v. The proof of this theorem relies on the fact that 36 PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE.
Cuprins
15 | |
29 | |
ON XENDEFINABILITY IN ARITHMETIC 47 | 46 |
6 | 62 |
ON THE PERSISTENT DIFFICULTY OF DIS JUNCTION | 77 |
Science | 92 |
9 | 106 |
11 | 123 |
15 | 195 |
CARTWRIGHTS MODELS ARE NOT ADEQUATE FOR EPR 213 | 212 |
17 | 233 |
19 | 267 |
21 | 288 |
23 | 316 |
EVALUATION AND TESTING IN CREATIVITY | 331 |
25 | 345 |
Alte ediții - Afișează-le pe toate
Philosophical Dimensions of Logic and Science: Selected Contributed Papers ... Artur Rojszczak,Jacek Cachro,Gabriel Kurczewski Previzualizare limitată - 2003 |
Philosophical Dimensions of Logic and Science: Selected Contributed Papers ... Artur Rojszczak,Jacek Cachro,Gabriel Kurczewski Nu există previzualizare disponibilă - 2014 |
Philosophical Dimensions of Logic and Science: Selected Contributed Papers ... Artur Rojszczak,Jacek Cachro,Gabriel Kurczewski Nu există previzualizare disponibilă - 2010 |
Termeni și expresii frecvente
adversary Ajdukiewicz anti-realism anti-realist argument arithmetic B-equal Bandyopadhayay behaviour Cachro and G Cambridge causal claim co-NP common cause concept consider construction context convergence decision maker defined definition deflationary denote Dimensions of Logic discovery method Dummett editors elements empirical entropy Epimenides equation exists expression fact finite models formula genes given Hamiltonian Heyting algebra hypothesis intensional intensional logic interpretation of quantum intuitionistic intuitionistic logic Kluwer Academic Publishers knowledge Kurczewski eds language Lemma linear logic logics over FLew maximal logic means metaphor modal interpretations modal logic Mostowski natural number no-boundary proposal notion objects parameters particles phenotypic Philosophy of Science physical polynomial possible worlds posterior probability predicate principle problem properties quantifiers quantum mechanics realist relation representations residuated lattice result Rojszczak rules satisfied scientific semantic sentence sequence structure subset Theorem theory thesis tion transcendental true truth variables wave function Wheeler-DeWitt equation