ProofWeb/index.php at master · tog22/ProofWeb · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en" dir="ltr">
<head>
	<title>ProofWeb</title>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
	<link rel="shortcut icon" href="favicon.ico" type="image/x-icon" />
	<link href='http://fonts.googleapis.com/css?family=Krona+One' rel='stylesheet' type='text/css'>
	<link type="text/css" rel="stylesheet" media="all" href="view/styles.css" />
</head>
<body>
<?php
	require 'functions/functions.php';
?>
<div id="page">

  <div id="header">
	<h1>Pr<span style="letter-spacing: -3px;">o</span>ofWeb</h1>
  </div>

<div id="main">
  <div id="col1">
  <div>
	<div id="app-explanation">
		<p>ProofWeb is an interactive way of exploring hundreds of arguments from the history of philosophy. It knows the <abbr class="gloss" title="">logical relations<a class="glossary" href="#">?</a></abbr> between <abbr class="gloss" title="A proposition is a claim - something that can be true or false">propositions<a class="glossary" href="#">?</a></abbr>, and so can show you what those you accept imply - or what might imply those you have yet to accept.</p>
		<p>Below you can explore these arguments from two angles, either seeing famous arguments <em>for</em> conclusions like the existence of God or checking whether there is a proof <em>from</em> propositions you already accept to conclusions you don't, such as the counter-intuitive 'sceptical' position that you cannot know anything about the external world.</p>
	</div>

	<p><strong>Browse arguments by topic:</strong> epistemology, ethics, religion, <a href="view/ajax/view.php?type=argument&id=all">all</a></p>

	<p>
		<div><strong>See arguments for and against key propositions:</strong></div>
		<div>Theism; moral nihilism; egalitarianism; the irrationalist of induction; more.</div>
	</p>

	<p class="navlabel"><a href="view/ajax/view.php?type=argument&id=all">Browse all arguments</a>, or see arguments for the following propositions:</p>
	<p><a href="view/ajax/view.php?type=argument&id=1">Something (often interpreted as God) is uncaused and exists necessarily</a></p>
	<p><a href="view/ajax/view.php?type=argument&id=2">Equal welfare is not intrinsically valuable</a></p>
</div>
  </div>

  <div id="col2">
	<div id="featured-argument">
		<h2>Featured argument:</h2>
		<?php
		show_argument(1);
		?>
  	</div>
  </div>


</div>
</div>
</body>
</html>